|
Archean Rare-Metal Pegmatites in Zimbabwe and Western Australia
|
| Auteur: Thomas Dittrich; Thomas Seifert; Bernhard Schulz; Steffen Hagemann; Axel Gerdes; Jörg Pfänder |
| ISBN: 9783030109431 |
| Prijs: € 27.57 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 23.94
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium,
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783540884781 |
|
| Prijs: € 191.66 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Denkmal und Energie
|
| Auteur: Bernhard Weller; Sven Jakubetz; Marc-Steffen Fahrion |
| ISBN: 9783834882059 |
| Prijs: € 33.24 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 45.95
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Grundlagen der höheren Informatik
|
| Auteur: Bernhard Steffen; Oliver Rüthing; Malte Isberner |
| ISBN: 9783642401466 |
| Prijs: € 33.61 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 32.95
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Baukonstruktion im Klimawandel
|
| Auteur: Bernhard Weller; Marc-Steffen Fahrion; Sebastian Horn; Thomas Naumann; Johannes Nikolowski |
| ISBN: 9783658130114 |
| Prijs: € 75.07 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 70.95
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
| Terug naar boven |
|
Correct System Design
|
| Auteur: ErnstRüdiger Olderog; Bernhard Steffen |
| ISBN: 9783540480921 |
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
|
Printuitgave Deze titel is ook beschikbaar in print voor:
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
|
| Auteur: Tiziana Margaria; Bernhard Steffen |
| ISBN: 9783030613624 |
| Prijs: € 101.90 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 111.74
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Mathematical Foundations of Advanced Informatics
|
| Auteur: Bernhard Steffen; Oliver Rüthing; Michael Huth |
| ISBN: 9783319683973 |
| Prijs: € 39.56 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 38.59
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Applications
|
| Auteur: Tiziana Margaria; Bernhard Steffen |
| ISBN: 9783030614676 |
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 67.04
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
|
| Auteur: iziana Margaria; Bernhard Steffen |
| ISBN: 9783030614706 |
| Prijs: € 59.94 |
| Uitgever: Springer Nature |
| Verschijningsvorm: E-book |
|
Printuitgave Deze titel is ook beschikbaar in print voor: € 67.04
Klik hier voor de gegevens van de printuitgave
|
|
|
|
|
Download
Lees meer
info ebook
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17â29, 2021, Proceedings
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030891589 |
|
| Prijs: € 89.39 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20â30, 2020, Proceedings, Part IV
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030837228 |
|
| Prijs: € 67.04 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030034207 |
|
| Prijs: € 86.50 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030034238 |
|
| Prijs: € 93.16 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23â28, 2023, Selected Papers
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031737404 |
|
| Prijs: € 163.89 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783540489283 |
|
| Prijs: € 78.52 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece,
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783642165573 |
|
| Prijs: € 137.76 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783642340314 |
|
| Prijs: € 67.04 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783662452332 |
|
| Prijs: € 86.50 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6â11, 2019, Proceedings, Part III
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030175016 |
|
| Prijs: € 67.04 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Leverbaar |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10â14, 2016, Proceedings, Part I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783319471655 |
|
| Prijs: € 134.09 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece,
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783642165603 |
|
| Prijs: € 107.81 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030034177 |
|
| Prijs: € 93.16 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27â31, 2024, Proceedings, Part IV
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031753862 |
|
| Prijs: € 89.39 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
|
| Auteur: Steffen, Bernhard; Ruthing |
| ISBN: 9783319683966 |
|
| Prijs: € 38.59 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Hardback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Mathematical Foundations of Advanced Informatics Volume 1: Inductive Approaches
|
| Auteur: Steffen, Bernhard; Ruthing |
| ISBN: 9783030098339 |
|
| Prijs: € 41.71 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Tijdelijk niet leverbaar - levertijd onbekend |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783319471686 |
|
| Prijs: € 67.04 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22â30, 2022, Proceedings, Part II
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031197550 |
| Prijs: € 79.79 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Practice 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22â30, 2022, Proceedings, Part IV
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031197611 |
| Prijs: € 81.94 |
| Uitgever: Springer International |
| Bericht: Tijdelijk niet leverbaar - levertijd onbekend |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Transactions on Foundations for Mastering Change I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783319465074 |
|
| Prijs: € 67.04 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783642340253 |
|
| Prijs: € 67.04 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification, and Validation International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna,
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783642347801 |
|
| Prijs: € 78.52 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030034269 |
|
| Prijs: € 93.16 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22â30, 2022, Proceedings, Part I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031198489 |
| Prijs: € 111.74 |
| Uitgever: Springer International |
| Bericht: Leverbaar |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22â30, 2022, Proceedings, Part III
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031197581 |
| Prijs: € 89.39 |
| Uitgever: Springer International |
| Bericht: Tijdelijk niet leverbaar - levertijd onbekend |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27â31, 2024, Proceedings, Part III
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031753794 |
|
| Prijs: € 96.84 |
| Uitgever: Springer International |
| Bericht: Leverbaar |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20â30, 2020, Proceedings, Part II
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030614690 |
|
| Prijs: € 67.04 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20â30, 2020, Proceedings, Part I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030613617 |
|
| Prijs: € 111.74 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20â30, 2020, Proceedings, Part III
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783030614669 |
|
| Prijs: € 67.04 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27â31, 2024, Proceedings, Part V
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031753893 |
|
| Prijs: € 67.04 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23â28, 2023, Proceedings
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031460012 |
| Prijs: € 83.39 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
| Terug naar boven |
|
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783662452301 |
|
| Prijs: € 93.16 |
| Uitgever: Springer-Verlag Berlin and |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 â November 3, 2024, Proceedings
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031754333 |
|
| Prijs: € 89.39 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031737503 |
| Prijs: € 67.04 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Formal Methods for Industrial Critical Systems 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27â28, 2025, Proceedings
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783032009418 |
| Prijs: € 74.49 |
| Uitgever: Springer Nature Switzerland AG |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27â31, 2024, Proceedings, Part II
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031751066 |
|
| Prijs: € 89.39 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
|
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27â31, 2024, Proceedings, Part I
|
| Auteur: Steffen, Bernhard |
| ISBN: 9783031737084 |
|
| Prijs: € 96.84 |
| Uitgever: Springer International |
| Bericht: Langere levertijd (2-3 weken) |
| Verschijningsvorm: Paperback / softback |
|
|
|
|
|
Bestellen
Lees meer
|
|
nl
en