1,072 results
Type of media (2)
Availability (2)
Classification (19)
Year
Persons
Publishers
Sort by
Results per page
Filter
1,072 results

Your search for Programming and Software Engineering

  1. Cover: Formal Methods in Outer Space - Springer
    Ezio Bartocci | Yliès Falcone | Martin Leucker
    Formal Methods in Outer Space
    Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday
    10/2021
    Springer
    9783030873486 (ISBN)
    E-Book
    PDF
    Other editions
    €58.84
    Available for download
  2. Cover: Runtime Verification - Springer
    Jyotirmoy Deshmukh | Dejan Nickovic
    Runtime Verification
    20th International Conference, RV 2020, Los Angeles, CA, USA, October 6-9, 2020, Proceedings
    10/2020
    Springer
    9783030605087 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods: Foundations and Applications - Springer
    Gustavo Carvalho | Volker Stolz
    Formal Methods: Foundations and Applications
    23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
    11/2020
    Springer
    9783030638825 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  4. Cover: Scala: From a Functional Programming Perspective - Springer
    Vicenç Torra
    Scala: From a Functional Programming Perspective
    An Introduction to the Programming Language
    09/2016
    Springer
    9783319464817 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Concurrency, Security, and Puzzles - Springer
    Thomas Gibson-Robinson | Philippa Hopcroft | Ranko Lazic
    Concurrency, Security, and Puzzles
    Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
    12/2016
    Springer
    9783319510460 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Bidirectional Transformations - Springer
    Jeremy Gibbons | Perdita Stevens
    Bidirectional Transformations
    International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures
    03/2018
    Springer
    9783319791081 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Lectures on Runtime Verification - Springer
    Ezio Bartocci | Yliès Falcone
    Lectures on Runtime Verification
    Introductory and Advanced Topics
    02/2018
    Springer
    9783319756325 (ISBN)
    E-Book
    PDF
    Other editions
    €69.54
    Available for download
  8. Cover: It's All About Coordination - Springer
    Frank de Boer | Marcello Bonsangue | Jan Rutten
    It's All About Coordination
    Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab
    05/2018
    Springer
    9783319900896 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Principles of Modeling - Springer
    Marten Lohstroh | Patricia Derler | Marjan Sirjani
    Principles of Modeling
    Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday
    07/2018
    Springer
    9783319952468 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Machine Learning for Dynamic Software Analysis: Potentials and Limits - Springer
    Amel Bennaceur | Reiner Hähnle | Karl Meinke
    Machine Learning for Dynamic Software Analysis: Potentials and Limits
    International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers
    07/2018
    Springer
    9783319965628 (ISBN)
    E-Book
    PDF
    Other editions
    €60.98
    Available for download
  11. Cover: Concurrent Objects and Beyond - Springer
    Gul Agha | Atsushi Igarashi | Naoki Kobayashi
    Concurrent Objects and Beyond
    Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
    09/2014
    Springer
    9783662444719 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  12. Cover: Software, Services, and Systems - Springer
    Rocco De Nicola | Rolf Hennicker
    Software, Services, and Systems
    Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
    03/2015
    Springer
    9783319155456 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  13. Cover: Software Engineering and Formal Methods - Springer
    Carlos Canal | Akram Idani
    Software Engineering and Formal Methods
    SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers
    01/2015
    Springer
    9783319152011 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  14. Cover: NASA Formal Methods - Springer
    Klaus Havelund | Gerard Holzmann | Rajeev Joshi
    NASA Formal Methods
    7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings
    04/2015
    Springer
    9783319175249 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  15. Cover: Software Engineering for Collective Autonomic Systems - Springer
    Martin Wirsing | Matthias Hölzl | Nora Koch
    Software Engineering for Collective Autonomic Systems
    The ASCENS Approach
    03/2015
    Springer
    9783319163109 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  16. Cover: Formal Methods for Multicore Programming - Springer
    Marco Bernardo | Einar Broch Johnsen
    Formal Methods for Multicore Programming
    15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
    05/2015
    Springer
    9783319189413 (ISBN)
    E-Book
    PDF
    Other editions
    €50.28
    Available for download
  17. Cover: Fields of Logic and Computation II - Springer
    Lev D. Beklemishev | Andreas Blass | Nachum Dershowitz
    Fields of Logic and Computation II
    Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
    09/2015
    Springer
    9783319235349 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  18. Cover: Software Engineering - Springer
    Bertrand Meyer | Martin Nordio
    Software Engineering
    International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
    01/2016
    Springer
    9783319284064 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  19. Cover: Globalizing Domain-Specific Languages - Springer
    Benoit Combemale | Betty H.C. Cheng | Robert B. France
    Globalizing Domain-Specific Languages
    International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers
    10/2015
    Springer
    9783319261720 (ISBN)
    E-Book
    PDF
    Other editions
    €42.79
    Available for download
  20. Cover: Programming with Actors - Springer
    Alessandro Ricci | Philipp Haller
    Programming with Actors
    State-of-the-Art and Research Perspectives
    09/2018
    Springer
    9783030003029 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
    2. of 54