Der Perlentaucher unter den Buchläden Eichendorff21

Suchergebnis

Gefundene Autoren: Dines Bjorner oder Gerard O'regan oder Benedikt Bollig oder Mark D¿inverno oder Claude Girault

1. 

   eng

   Gerard O'Regan

   Mathematical Foundations of Software Engineering

   A Practical Guide to Essentials

   • Springer Nature Switzerland
   • 2024

   • Taschenbuch
   • 560 Seiten

   64,19€

   in Kürze

2. 

   eng

   Distributed Ledger Technology

   7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 ¿ December 1, 2023, Revised Selected Papers

   • Springer Nature Singapore
   • 2024

   • Taschenbuch
   • 160 Seiten

   64,19€

   in Kürze

3. 

   eng

   Mobile, Secure, and Programmable Networking

   9th International Conference, MSPN 2023, Paris, France, October 26¿27, 2023, Revised Selected Papers

   • Springer Nature Switzerland
   • 2024

   • Taschenbuch
   • 248 Seiten

   62,05€

   in Kürze

4. 

   eng

   Verification and Evaluation of Computer and Communication Systems

   16th International Conference, VECoS 2023, Marrakech, Morocco, October 18¿20, 2023, Proceedings

   • Springer Nature Switzerland
   • 2023

   • Taschenbuch
   • 200 Seiten

   53,49€

   in Kürze

5. 

   eng

   Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops

   ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

   • Springer Nature Switzerland
   • 2023

   • Taschenbuch
   • 456 Seiten

   79,17€

   in Kürze

6. 

   eng

   Computational Methods in Systems Biology

   21st International Conference, CMSB 2023, Luxembourg City, Luxembourg, September 13¿15, 2023, Proceedings

   • Springer Nature Switzerland
   • 2023

   • Taschenbuch
   • 288 Seiten

   62,05€

   in Kürze

7. 

   eng

   Tests and Proofs

   17th International Conference, TAP 2023, Leicester, UK, July 18¿19, 2023, Proceedings

   • Springer Nature Switzerland
   • 2023

   • Taschenbuch
   • 212 Seiten

   53,49€

   in Kürze

8. 

   eng

   Formal Techniques for Distributed Objects, Components, and Systems

   43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19¿23, 2023, Proceedings

   • Springer Nature Switzerland
   • 2023

   • Taschenbuch
   • 240 Seiten

   74,89€

   in Kürze

9. 

   eng

   Rigorous State-Based Methods

   9th International Conference, ABZ 2023, Nancy, France, May 30¿June 2, 2023, Proceedings

   • Springer Nature Switzerland
   • 2023

   • Taschenbuch
   • 396 Seiten

   80,24€

   in Kürze

   This book constitutes the refereed proceedings of the 9th International Conference on Rigorous State-Based Methods, ABZ 2023, held in Nancy, France, …

10. 

    eng

    Gerard O'Regan

    Mathematical Foundations of Software Engineering

    A Practical Guide to Essentials

    • Springer Nature Switzerland
    • 2023

    • Gebunden
    • 560 Seiten

    90,94€

    in Kürze

    This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in a…

11. 

    eng

    Model Checking Software

    29th International Symposium, SPIN 2023, Paris, France, April 26¿27, 2023, Proceedings

    • Springer Nature Switzerland
    • 2023

    • Taschenbuch
    • 212 Seiten

    58,84€

    in Kürze

    This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, duri…

12. 

    eng

    Structured Object-Oriented Formal Language and Method

    11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

    • Springer International Publishing
    • 2023

    • Taschenbuch
    • 164 Seiten

    58,84€

    in Kürze

    This book constitutes the refereed workshop proceedings of the 11th International Workshop on Structured Object-Oriented Formal Language and Method, …

13. 

    eng

    Dynamics in Logic and Language

    Third Tsinghua Interdisciplinary Workshop on Logic, Language, and Meaning, TLLM 2022, Virtual Event, April 1¿4, 2022, Revised Selected Papers

    • Springer International Publishing
    • 2023

    • Taschenbuch
    • 200 Seiten

    58,84€

    in Kürze

    Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the Third T…

14. 

    eng

    Dines Bjørner

    Domain Science and Engineering

    A Foundation for Software Development

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 420 Seiten

    181,89€

    in Kürze

    In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for co…

15. 

    eng

    Gerard O'Regan

    Guide to Discrete Mathematics

    An Accessible Introduction to the History, Theory, Logic and Applications

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 476 Seiten

    53,49€

    in Kürze

    This stimulating textbook presents a broad and accessible guide to the fundamentals of discrete mathematics, highlighting how the techniques may be a…

16. 

    eng

    From Data to Models and Back

    10th International Symposium, DataMod 2021, Virtual Event, December 6¿7, 2021, Revised Selected Papers

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 204 Seiten

    58,84€

    in Kürze

17. 

    eng

    Big Data Platforms and Applications

    Case Studies, Methods, Techniques, and Performance Evaluation

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 308 Seiten

    181,89€

    in Kürze

    This book provides a review of advanced topics relating to the theory, research, analysis and implementation in the context of big data platforms and…

18. 

    eng

    Model Checking Software

    28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 168 Seiten

    106,99€

    in Kürze

19. 

    eng

    Rewriting Logic and Its Applications

    14th International Workshop, WRLA 2022, Munich, Germany, April 2¿3, 2022, Revised Selected Papers

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 304 Seiten

    74,89€

    in Kürze

20. 

    eng

    Mathematical Foundations of Software Engineering. Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement

    • College Publications
    • 2022

    • Taschenbuch
    • 198 Seiten

    20,90€

    in Kürze

21. 

    eng

    Verification and Evaluation of Computer and Communication Systems

    15th International Conference, VECoS 2021, Virtual Event, November 22¿23, 2021, Revised Selected Papers

    • Springer International Publishing
    • 2022

    • Taschenbuch
    • 104 Seiten

    58,84€

    in Kürze

    This book constitutes the proceedings of the 15th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems, VECoS…

22. 

    eng

    Dines Bjørner

    Domain Science and Engineering

    A Foundation for Software Development

    • Springer International Publishing
    • 2021

    • Gebunden
    • 420 Seiten

    181,89€

    in Kürze

    In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for co…

23. 

    eng

    Big Data Platforms and Applications

    Case Studies, Methods, Techniques, and Performance Evaluation

    • Springer International Publishing
    • 2021

    • Gebunden
    • 308 Seiten

    181,89€

    in Kürze

    This book provides a review of advanced topics relating to the theory, research, analysis and implementation in the context of big data platforms and…

24. 

    eng

    Operating Rules and Interoperability in Trans-National High-Speed Rail

    • Springer International Publishing
    • 2021

    • Gebunden
    • 264 Seiten

    181,89€

    in Kürze

25. 

    eng

    Risks and Security of Internet and Systems

    15th International Conference, CRiSIS 2020, Paris, France, November 4¿6, 2020, Revised Selected Papers

    • Springer International Publishing
    • 2021

    • Taschenbuch
    • 392 Seiten

    53,49€

    in Kürze

    This book constitutes the proceedings of the 15th International Conference on Risks and Security of Internet and Systems, CRiTIS 2020, which took pla…

26. 

    eng

    Verification and Evaluation of Computer and Communication Systems

    14th International Conference, VECoS 2020, Xi'an, China, October 26¿27, 2020, Proceedings

    • Springer International Publishing
    • 2020

    • Taschenbuch
    • 296 Seiten

    53,49€

    in Kürze

    This book constitutes the proceedings of the 14th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems, VECoS…

27. 

    eng

    Gerard O¿Regan

    Mathematics in Computing

    An Accessible Guide to Historical, Foundational and Application Contexts

    • Springer International Publishing
    • 2020

    • Taschenbuch
    • 484 Seiten

    53,49€

    in Kürze

    This illuminating textbook provides a concise review of the core concepts in mathematics essential to computer scientists. Emphasis is placed on the …

28. 

    eng

    Verification and Evaluation of Computer and Communication Systems

    13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings

    • Springer International Publishing
    • 2019

    • Taschenbuch
    • 128 Seiten

    53,49€

    in Kürze

29. 

    eng

    Gerard O'Regan

    Concise Guide to Software Testing

    • Springer International Publishing
    • 2019

    • Taschenbuch
    • 320 Seiten

    53,49€

    in Kürze

    This practically-focused textbook provides a concise and accessible introduction to the field of software testing, explaining the fundamental princip…

30. 

    eng

    Peter Amthor

    Aspect-oriented Security Engineering

    • Cuvillier
    • 2019

    • Taschenbuch
    • 260 Seiten

    59,90€

    in Kürze

    Engineering secure systems is an error-prone process, where any decision margin potentially favors critical implementation faults. To this end, forma…

31. 

    eng

    Handbook of Software Engineering

    • Springer International Publishing
    • 2019

    • Gebunden
    • 540 Seiten

    213,99€

    in Kürze

32. 

    eng

    Raymond Turner

    Computational Artifacts

    Towards a Philosophy of Computer Science

    • Springer Berlin Heidelberg
    • 2019

    • Taschenbuch
    • 272 Seiten

    181,89€

    in Kürze

    The philosophy of computer science is concerned with issues that arise from reflection upon the nature and practice of the discipline of computer sci…

33. 

    eng

    Modelling and Implementation of Complex Systems

    Proceedings of the 5th International Symposium, MISC 2018, December 16-18, 2018, Laghouat, Algeria

    • Springer International Publishing
    • 2018

    • Taschenbuch
    • 364 Seiten

    160,49€

    in Kürze

    This book presents the proceedings of the fifth International Symposium on Modelling and Implementation of Complex Systems (MISC 2018). The event was…

34. 

    eng

    Theoretical Computer Science

    36th National Conference, NCTCS 2018, Shanghai, China, October 13¿14, 2018, Proceedings

    • Springer Nature Singapore
    • 2018

    • Taschenbuch
    • 172 Seiten

    53,49€

    in Kürze

    This book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, C…

35. 

    eng

    Computational Methods in Systems Biology

    16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings

    • Springer International Publishing
    • 2018

    • Taschenbuch
    • 352 Seiten

    64,19€

    in Kürze

    This book constitutes the refereed proceedings of the 16th International Conference on Computational Methods in Systems Biology, CMSB 2018, held in B…

36. 

    eng

    Verification and Evaluation of Computer and Communication Systems

    12th International Conference, VECoS 2018, Grenoble, France, September 26¿28, 2018, Proceedings

    • Springer International Publishing
    • 2018

    • Taschenbuch
    • 236 Seiten

    53,49€

    in Kürze

    This book constitutes the proceedings of the 12th International Conference on Veri¿cation and Evaluation of Computer and Communication Systems ( VECo…