Refine your search
Availability
-
Authors
- Aldini, Alessandro .... (2)
- Armando, Alessandro (1)
- Bernardo, Marco (1)
- Bitsch, Friedemann (1)
- Degano, Pierpaolo (1)
- Gulijk, Coen van (1)
- Hatcliff, John (1)
- Havelund, Klaus (1)
- Koornneef, Floor (1)
- Kowalewski, Stefan (1)
- Laneve, Cosimo (1)
- Lumpe, Markus (1)
- Marché, Claude (1)
- Margaria,Tiziana (2)
- Petrucci, Laure (1)
- Rayadurgam, Sanjai (1)
- Roveri, Marco (1)
- Schulte, Wolfram (1)
- Shallit, Jeffrey (2)
- Steffen, Bernhard (2)
- Show more
- Show less
-
Item types
- E-Books (40)
-
Locations
- Online (40)
-
Series
- Lecture Notes in Art... (1)
- Lecture Notes in Com... (34)
- Lecture Notes in Com... (1)
- Lecture notes in com... (1)
- Lecture Notes in Com... (1)
- Lecture notes in com... (1)
- Lecture Notes in Com... (1)
- lncs (1)
- LNCS Sublibrary : SL... (15)
- LNCS Sublibrary : SL... (4)
- LNCS Sublibrary : SL... (3)
- LNCS Sublibrary : SL... (1)
- Show more
- Show less
-
Topics
- Algebra-Data proces... (1)
- Computer programs (2)
- Computer science and... (19)
- Computer Science and... (18)
- Computer security (6)
- Computer software (9)
- Computers (3)
- Fault-tolerant compu... (3)
- Formal languages (3)
- Formal methods (Comp... (40)
- Lattice theory (3)
- Logic design (2)
- Logic, Symbolic and ... (2)
- Machine theory (2)
- Monoclonal antibodie... (1)
- Object-oriented prog... (2)
- Programming language... (2)
- Software engineering (5)
- Software Engineering (4)
- Web services (2)
- Show more
- Show less