Refine your search
Availability
-
Authors
- Abate, Alessandro
- Baldoni, Matteo
- Beyer, Dirk
- Bitsch, Friedemann
- De Nicola, Rocco
- Duan, Zhenhua
- Huisman, Marieke
- Imam, Neena
- Johnsen, Einar Broch
- Liu, Shaoying
- Majumdar, Rupak
- Mousavi, Mohammad Re...
- Rozenberg, Grzegorz
- Salomaa, Arto
- Schoitsch, Erwin
- Skavhaug, Amund
- Steffen, Bernhard
- Wyrzykowski, Roman
- Zandron, Claudio
- Ölveczky, Peter Csab...
- Show more
- Show less
-
Collections
-
Home libraries
-
Item types
-
Series
- Advanced research in...
- Community experience...
- Formal methods
- Lecture notes in art...
- Lecture notes in bio...
- 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 ...
- Professional experti...
- Show more
- Show less
-
Topics
- Algorithms & data st...
- Artificial intellige...
- Computer logic
- Computer programming
- Computer science
- Computer software
- Computers
- COMPUTERS
- Formal methods (Comp...
- Génie logiciel
- Informatique
- Logiciels
- Mathematical theory ...
- Mathematics
- Network hardware
- Programming & script...
- Programming language...
- Software Engineering
- Software engineering
- Show more
- Show less
-
Titles
- Android (Electronic ...
- Delphi (Computer fil...
- Git (Computer file)
- iOS (Electronic reso...
- IOS (Electronic reso...
- Java virtual machine
- Linux
- Mac OS.
- Microsoft .NET Frame...
- Microsoft Visual stu...
- Microsoft Windows (C...
- Spark (Electronic re...
- SPIN (Computer file)
- Stata
- UNIX (Computer file)
- UNIX Shells
- VMware
- Show more
- Show less