Check | Akateeminen Kirjakauppa

Suhyun, Kim;
Penguin LLC US
2025
Pehmeäkantinen kirja

13,40 €

Formal Methods: Foundations and Applications : 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3–5, 2025,

ter Beek, Maurice H.; Teixeira, Leopoldo
Springer
2025
Pehmeäkantinen kirja

78,70 €

Lonely Planet Japan - Comprehensive Travel Guide | Detailed Itineraries & Maps | Insider Tips | Covers Tokyo, Mt Fuji, Kyoto, Hi

Planet, Lonely
Lonely Planet Global Limited
2024
Pehmeäkantinen kirja

32,90 €

Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, N

El-Fakih, Khaled; Barlas, Gerassimos; Yevtushenko, Nina
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Formal Methods for Industrial Critical Systems : 30th International Conference, FMICS 2025, Aarhus, Denmark, August

Remke, Anne; Steffen, Bernhard
Springer
2025
Pehmeäkantinen kirja

80,20 €

Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem

Demri, Stéphane
Birkhäuser
2026
Kovakantinen kirja

51,10 €

Deductive Software Verification: Future Perspectives - Reflections on the Occasion of 20 Years of KeY

Ahrendt, Wolfgang; Beckert, Bernhard; Bubel, Richard; Hähnle, Reiner; Ulbrich, Mattias
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Software Engineering and Formal Methods - 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Calinescu, Radu; Rumpe, Bernhard
Springer International Publishing AG
2015
Pehmeäkantinen kirja

51,10 €

Neu an der Uni?

Franck, Norbert
UTB GmbH
2026
Pehmeäkantinen kirja

24,30 €

We Are Your Soldiers - How Egypt's Gamal Abdel Nasser Remade the Arab World

Rowell, Alex
Simon & Schuster Ltd
2024
Pehmeäkantinen kirja

13,40 €

Cancer Immunotherapy and Nanobiotechnology: An Interdisciplinary Approach

Rezaei, Nima
Springer
2025
Kovakantinen kirja

247,30 €

Von der Immunologie der humanen Ontogenese zur Immunologie der Onkogenese : Vom Embryo gelernt – wie Karzinome das

Würfel, Wolfgang
Springer
2024
Pehmeäkantinen kirja

15,30 €

Die kleinste gemeinsame Wirklichkeit

Nguyen-Kim, Mai Thi;
Droemer Taschenbuch
2025
Pehmeäkantinen kirja

16,20 €

Membrane Computing - 16th International Conference, CMC 2015, Valencia, Spain, August 17-21, 2015, Revised Selected Papers

Rozenberg, Grzegorz; Salomaa, Arto; Sempere, José M.; Zandron, Claudio
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Graph Transformation - 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, A

Echahed, Rachid; Minas, Mark
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Programming Language Concepts

Sestoft, Peter
Springer
2017
Pehmeäkantinen kirja

54,10 €

Current Immunotherapeutic Strategies in Cancer

Theobald, Matthias
Springer
2019
Kovakantinen kirja

120,90 €

Corona-Masken und das tödliche Nervengift CO2 - Was beides verbindet und der Faktencheck verschweigt

Bertram, Andrea
Books on Demand
2021
Pehmeäkantinen kirja

16,90 €

Der Gemeinsame Ausschuss im verfassungsrechtlichen System der Gewaltenteilung. - Eine Einordnung des besonderen Verfassungsorgan

Gräwe, Lara F.
Duncker & Humblot GmbH
2023
Pehmeäkantinen kirja

132,40 €

I Decided to Live as Me

Kim Suhyun
Penguin LLC US
2024
Kovakantinen kirja

19,40 €