Refine your search
Availability
-
Authors
- Amaral, Vasco
- Bartolomeo, Antonio
- Biere, Armin
- Bouyer, Patricia
- Caires, Luís
- Cao, Liangcai
- Carreira, Paulo
- Chen, Jian-Jia
- Duettmann, Allison
- Dutt, Nikil
- Ferreira, Carla
- Gaspar‐Cunha, António
- Goedicke, Michael
- Goulette, François
- Greiner, David
- Hasselbring, Wilhelm
- Henkel, Jörg
- Hernández-Sosa, Daniel
- Johnsen, Einar Broch
- Kang, Kyungtae
- Show more
- Show less
-
Item types
-
Locations
-
Series
-
Topics
- Algorithms & data structures
- Circuits and Systems
- Computer System Implementation
- Computer Systems Organization and Communication Networks
- Computer architecture & logic design
- Computer networking & communications
- Computer science
- Computers
- Control Structures and Microprogramming
- Cyber-Physical Systems
- Cyber-physical systems, IoT
- Cybernetics & systems theory
- Electrical engineering
- Electronic Circuits and Systems
- Electronics: circuits & components
- Software Engineering
- Systems analysis & design
- embedded systems
- parallel processing systems
- software engineering
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages