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ț: 331^.15 lei 413^.94 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ț: 465^.03 lei 581^.29 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ț: 463^.77 lei 579^.72 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ț: 465^.97 lei 582^.47 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ț: 408^.85 lei 511^.06 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ț: 581^.36 lei 726^.71 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ț: 399^.02 lei 498^.77 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ț: 322^.75 lei 403^.44 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ț: 255^.55 lei 319^.44 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ț: 210^.16 lei 262^.70 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ț: 346^.95 lei 433^.69 lei

6-8 săpt.

-20%

Mathematical Foundations of Advanced Informatics: Volume 1: Inductive Approaches

Autor Bernhard Steffen et al.

3 apr 2018

Preț: 237^.86 lei 297^.32 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ț: 334^.51 lei 418^.13 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ț: 330^.21 lei 412^.77 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ț: 331^.33 lei 414^.16 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ț: 331^.78 lei 414^.73 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ț: 331^.78 lei 414^.73 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ț: 318^.80 lei 398^.51 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ț: 337^.34 lei 421^.68 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ț: 332^.76 lei 415^.95 lei

6-8 săpt.

-20%

Grundlagen der höheren Informatik: Induktives Vorgehen

eXamen.press

Autor Bernhard Steffen et al.

30 oct 2013

Preț: 237^.53 lei 296^.92 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ț: 318^.95 lei 398^.69 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ț: 316^.43 lei 395^.54 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ț: 322^.12 lei 402^.65 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ț: 324^.32 lei 405^.41 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ț: 328^.95 lei 411^.19 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ț: 322^.12 lei 402^.65 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ț: 327^.52 lei 409^.40 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ț: 320^.52 lei 400^.65 lei

6-8 săpt.

-20%

Papetărie, jocuri, reviste

Cărți de Bernhard Steffen