Refine your search
Availability
-
Authors
- Baldoni, Matteo
- Barthe, Gilles
- Bellatreche, Ladjel
- Bitsch, Friedemann
- Boer, Frank S. de
- De Supinski, Bronis ...
- Hermenegildo, Manuel
- Horváth, Zoltán
- Johnsen, Einar Broch
- Legay, Axel
- Liu, Zhiming
- Margaria-Steffen, Ti...
- Noble, James
- Peña, Ricardo
- Schoitsch, Erwin
- Spaccapietra, S.
- Steffen, Bernhard
- Tonetta, Stefano
- Troubitsyna, Elena
- Voronkov, Andrei
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Advanced research in...
- Community experience...
- 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 ...
- Quick answers to com...
- Tutorial
- Show more
- Show less
-
Places
- Bertinoro <2010>
- Braga <2009>
- Brünn <2010>
- Charleston <SC, 2006...
- Dagstuhl <2003>
- Dagstuhl <2007>
- East Stroudsburg (Pa...
- Edinburgh <2010>
- Eindhoven <2003>
- Hyderabad <Andra Pra...
- Montego Bay <2005>
- Nantes <2006>
- Nara <2005>
- Orléans <1988>
- Paris <2010>
- Rom <1986>
- Seattle (Wash., 2004...
- South Orange <NJ, 20...
- Utrecht <1992>
- Wien <2006>
- Show more
- Show less
-
Topics
- Artificial intellige...
- Computer logic
- Computer programming
- Computer science
- Computer software
- COMPUTERS
- Computers
- Formal methods (Comp...
- Génie logiciel
- Informatique
- Langages de programm...
- Logiciels
- Mathematics
- Méthodes formelles (...
- Parallel processing ...
- Programmation (Infor...
- Programming & script...
- Programming language...
- Software engineering
- Software Engineering
- Show more
- Show less
-
Titles