Refine your search
Availability
-
Authors
- Bertogna, Marko
- Beyer, Dirk
- Biere, Armin
- Cheruvu, Sunil
- Cvetković, Dragan
- Dutt, Nikil
- Dziurzanski, Piotr
- Ferreira, Carla
- Friess, Peter
- Gelenbe, Erol
- Guerra, Esther
- Henkel, Jörg
- Hill, Mark D.
- Huisman, Marieke
- Impedovo, Donato
- Indrusiak, Leando Soares
- Jankovic, Marija
- Johnsen, Einar Broch
- Kehagias, Dionysios
- Krimmer, Robert
- Show more
- Show less
-
Item types
-
Locations
-
Series
- Communications in Computer and Information Science
- Embedded Systems
- Human–Computer Interaction Series; SpringerBriefs in Human-Computer Interaction
- 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
- Synthesis Lectures on Computer Architecture
- Theoretical Computer Science and General Issues
- Show more
- Show less
-
Topics
- Algorithms & data structures
- Artificial intelligence
- Circuits & components
- Circuits and Systems
- Computer System Implementation
- Computer architecture & logic design
- Computer science
- Expert systems / knowledge-based systems
- Natural language & machine translation
- Open Access
- Operating systems
- Software Engineering
- artificial intelligence
- computer networks
- embedded systems
- formal methods
- model checking
- object-oriented programming
- parallel processing systems
- software engineering
- Show more
- Show less
-
Collections
-
Holding libraries
-
Languages