Refine your search
Availability
-
Authors
- Bellatreche, Ladjel
- Bitsch, Friedemann
- Bonsangue, Marcello ...
- Bowen, J. P.
- De Nicola, Rocco
- De Supinski, Bronis ...
- Duan, Zhenhua
- Imam, Neena
- Johnsen, Einar Broch
- Liu, Shaoying
- Liu, Zhiming
- Margaria-Steffen, Ti...
- Muñoz, César A.
- Peltier, Nicolas
- Roscoe, A. W.
- Steffen, Bernhard
- Tonetta, Stefano
- Voronkov, Andrei
- Ábrahám, Erika
- Ölveczky, Peter Csab...
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Advanced research in...
- Formal methods
- Lecture notes in art...
- Lecture notes in com...
- Lecture Notes in Com...
- LNCS sublibrary, SL ...
- LNCS sublibrary, SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- Serienbezeichnung
- Services science
- Show more
- Show less
-
Topics
- Algorithms & data st...
- Artificial intellige...
- Computer logic
- Computer programming
- Computer science
- Computer software
- Computers
- Formal methods (Comp...
- Génie logiciel
- Logiciels
- Mathematical theory ...
- Mathematics
- Méthodes formelles (...
- Programming & script...
- Programming language...
- Software Engineering
- Software engineering
- Systems analysis & d...
- Show more
- Show less
-
Titles