Refine your search
Availability
-
Authors
- Abualdenien, Jimmy
- Aguiar, Ademar
- Amaral, Vasco
- Anderson, Richard
- Artale, Giovanni
- Bacquet, Joël
- Baier, Christel
- Bast, Hannah
- Beyer, Dirk
- Donnat, Frederic
- Fisman, Dana
- Golasowski, Martin
- Groote, Jan Friso
- Hasselbring, Wilhelm
- Huisman, Marieke
- Larsen, Kim Guldstrand
- Martinovič, Jan
- Reussner, Ralf
- Rumpe, Bernhard
- Vermesan, Ovidiu
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Classics
- Communications in Computer and Information Science
- Embedded Systems
- Human–Computer Interaction Series; SpringerBriefs in Human-Computer Interaction
- Lecture Notes in Business Information Processing
- Lecture Notes in Computational Science and Engineering
- Lecture Notes in Computer Science
- Lecture Notes in Computer Science; Information Systems and Applications, incl. Internet/Web, and HCI
- Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
- RSMeans
- Simula SpringerBriefs on Computing
- SpringerBriefs in Applied Sciences and Technology
- SpringerBriefs in Applied Sciences and Technology; PoliMI SpringerBriefs
- SpringerBriefs in Applied Sciences and Technology; SpringerBriefs in Safety Management
- SpringerBriefs in Computer Science
- SpringerBriefs in Statistics
- Technologien für die intelligente Automation
- Texts in Computational Science and Engineering
- The Karlsruhe Series on Software Design and Quality
- Theoretical Computer Science and General Issues
- Show more
- Show less
-
Topics
- Algorithms & data structures
- Communications engineering / telecommunications
- Computer Systems Organization and Communication Networks
- Computer networking & communications
- Computer science
- Computers
- Cyber-physical systems, IoT
- Electrical engineering
- Open Access
- Software Engineering
- artificial intelligence
- embedded systems
- formal logic
- formal methods
- program compilers
- semantics
- software engineering
- verification
- Компьютерная инженерия
- Программирование
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages