Refine your search
Availability
-
Authors
- Baldoni, Matteo
- Barthe, Gilles
- Beckert, Bernhard
- Boer, Frank S. de
- Bordini, Rafael H.
- Hermenegildo, Manuel
- Horia Dediu, Adrian
- Horváth, Zoltán
- Legay, Axel
- Liu, Zhiming
- Margaria-Steffen, Ti...
- Martín Vide, Carlos
- Małuszyński, J.
- Noble, James
- Peña, Ricardo
- Rozenberg, Grzegorz
- Spaccapietra, S.
- Steffen, Bernhard
- Truthe, Bianca
- Voronkov, Andrei
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Advanced research in...
- FoLLI publications o...
- Lecture notes in art...
- Lecture notes in com...
- 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 ...
- Trends in Logic, Stu...
- Tutorial
- UNITEXT,
- 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
- Computer programming
- Computer science
- Computer software
- COMPUTERS
- Computers
- Electronic Data Proc...
- Formal languages
- Formal methods (Comp...
- Génie logiciel
- Informatique
- Langages de programm...
- Langages formels
- Logiciels
- Machine theory
- Méthodes formelles (...
- Programmation (Infor...
- Programming & script...
- Programming language...
- Software engineering
- Software Engineering
- Show more
- Show less
-
Titles