Cărți de Bernhard Steffen

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

Lecture Notes in Computer Science, nr. 6416

Editat de Tiziana Margaria et al.

19 oct 2010

Preț: 338^.33 lei 422^.92 lei

3-5 săpt.

-20%

Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14380

Editat de Bernhard Steffen

14 dec 2023

Preț: 475^.15 lei 593^.93 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part II

Lecture Notes in Computer Science, nr. 13702

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 473^.87 lei 592^.33 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 13703

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 476^.10 lei 595^.13 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 13704

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 417^.72 lei 522^.15 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

Lecture Notes in Computer Science, nr. 13701

Editat de Tiziana Margaria et al.

20 oct 2022

Preț: 594^.03 lei 742^.54 lei

6-8 săpt.

-20%

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Lecture Notes in Computer Science, nr. 13030

Editat de Ernst-Rüdiger Olderog et al.

22 noi 2021

Preț: 407^.67 lei 509^.60 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II

Lecture Notes in Computer Science, nr. 7610

Editat de Tiziana Margaria et al.

11 sep 2012

Preț: 329^.75 lei 412^.19 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Autor Bernhard Steffen et al.

7 oct 2020

Preț: 261^.08 lei 326^.35 lei

6-8 săpt.

-20%

Computing and Software Science: State of the Art and Perspectives

Lecture Notes in Computer Science, nr. 10000

Editat de Bernhard Steffen et al.

5 oct 2019

Preț: 214^.78 lei 268^.47 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 11429

Editat de Dirk Beyer et al.

4 apr 2019

Preț: 354^.48 lei 443^.10 lei

6-8 săpt.

-20%

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Autor Bernhard Steffen et al.

3 apr 2018

Preț: 243^.08 lei 303^.85 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

Lecture Notes in Computer Science, nr. 11244

Editat de Tiziana Margaria et al.

29 oct 2018

Preț: 341^.76 lei 427^.20 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Lecture Notes in Computer Science, nr. 11245

Editat de Tiziana Margaria et al.

30 oct 2018

Preț: 337^.37 lei 421^.70 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III

Lecture Notes in Computer Science, nr. 11246

Editat de Tiziana Margaria et al.

31 oct 2018

Preț: 338^.51 lei 423^.14 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV

Lecture Notes in Computer Science, nr. 11247

Editat de Tiziana Margaria et al.

30 oct 2018

Preț: 338^.97 lei 423^.72 lei

6-8 săpt.

-20%

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10139

Editat de Bernhard Steffen et al.

11 ian 2017

Preț: 338^.97 lei 423^.72 lei

6-8 săpt.

-20%

Transactions on Foundations for Mastering Change I

Lecture Notes in Computer Science, nr. 9960

Editat de Bernhard Steffen

30 sep 2016

Preț: 325^.71 lei 407^.14 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Lecture Notes in Computer Science, nr. 8803

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 344^.66 lei 430^.83 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

Lecture Notes in Computer Science, nr. 8802

Editat de Tiziana Margaria et al.

7 oct 2014

Preț: 339^.97 lei 424^.97 lei

6-8 săpt.

-20%

Grundlagen der höheren Informatik: Induktives Vorgehen

eXamen.press

Autor Bernhard Steffen et al.

30 oct 2013

Preț: 242^.76 lei 303^.45 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

Communications in Computer and Information Science, nr. 336

Editat de Reiner Hähnle et al.

12 oct 2012

Preț: 325^.86 lei 407^.33 lei

6-8 săpt.

-20%

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Lecture Notes in Computer Science, nr. 4313

Editat de Tiziana Maragria et al.

3 noi 2006

Preț: 323^.27 lei 404^.09 lei

6-8 săpt.

-20%

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Lecture Notes in Computer Science, nr. 2937

Editat de Bernhard Steffen et al.

7 ian 2004

Preț: 329^.11 lei 411^.39 lei

6-8 săpt.

-20%

Correct System Design: Recent Insights and Advances

Lecture Notes in Computer Science, nr. 1710

Editat de Ernst-Rüdiger Olderog et al.

22 sep 1999

Preț: 331^.36 lei 414^.20 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings

Lecture Notes in Computer Science, nr. 1384

Editat de Bernhard Steffen

18 mar 1998

Preț: 336^.07 lei 420^.09 lei

6-8 săpt.

-20%

Services and Visualization: Towards User-Friendly Design: ACos'98, VISUAL'98, AIN'97, Selected Papers

Lecture Notes in Computer Science, nr. 1385

Editat de Tiziana Margaria et al.

18 mar 1998

Preț: 329^.11 lei 411^.39 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.

Lecture Notes in Computer Science, nr. 1055

Editat de Tiziana Margaria et al.

20 mar 1996

Preț: 334^.61 lei 418^.27 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Lecture Notes in Computer Science, nr. 1019

Editat de Ed Brinksma et al.

23 noi 1995

Preț: 327^.45 lei 409^.32 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Cărți de Bernhard Steffen