Refine your search
Availability
-
Authors
- Apduhan, Bernady O.
- Bitsch, Friedemann
- Blečić, Ivan
- Fujita, Hamido
- Garau, Chiara
- Gervasi, Osvaldo
- Karaca, Yeliz
- Lago, Maria Noelia F...
- Liu, Zhiming
- Margaria-Steffen, Ti...
- Misra, Sanjay
- Murgante, Beniamino
- Rocha, Ana Maria A. ...
- Scorza, Francesco
- Stankova, Elena
- Steffen, Bernhard
- Taniar, David
- Tarantino, Eufemia
- Torre, Carmelo Maria
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Advanced research in...
- Formal methods
- Frontiers in artific...
- Lecture notes in com...
- Lecture Notes in Com...
- LNCS sublibrary, SL ...
- LNCS sublibrary, SL ...
- LNCS sublibrary. Pro...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary. SL ...
- LNCS sublibrary: SL1...
- LNCS sublibrary: SL2...
- Show more
- Show less
-
Places
- Antwerpen <2010>
- Braga <2009>
- Dagstuhl <1992>
- Dagstuhl <2006>
- Dagstuhl <2007>
- Dresden <2010>
- East Stroudsburg (Pa...
- Hyderabad <Andra Pra...
- Kirchberg (Luxemburg...
- Limerick <2010>
- Málaga <2010>
- Oulu (2005)
- Paderborn <2010>
- Prag <2010>
- Reykjavik <2010>
- Schanghai <2010>
- Seattle (Wash., 2004...
- Vienna <2010>
- Show more
- Show less
-
Topics
- Artificial intellige...
- Computer logic
- Computer networks
- Computer programming
- Computer programs
- Computer science
- Computer software
- Computers
- COMPUTERS
- Formal methods (Comp...
- Génie logiciel
- Informatique
- Logiciels
- Méthodes formelles (...
- Programming language...
- Réseaux d'ordinateur...
- Software engineering
- Software Engineering
- Show more
- Show less
-
Titles