Limit Search Results
Author
SpringerLink (Online service)
(40)
Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X
(10)
Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758
(10)
Tetko, Igor V. editor. (orcid)0000-0002-6855-0012
(10)
Wand, Michael. editor. (orcid)0000-0003-0966-7824
(10)
Language
Publication Date
-
Subject
Computing Milieux.
(18)
Artificial intelligence.
(17)
Software engineering.
(17)
Computer networks .
(16)
Computer Communication Networks.
(15)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
40 Results Found Subscribe to search results
0000DEFAULT
Print
37. 
Cover image for Understanding Control Flow Concurrent Programming Using μC++
Understanding Control Flow Concurrent Programming Using μC++
Author 
Buhr, Peter A. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-25703-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for System Architecture An Ordinary Engineering Discipline
System Architecture An Ordinary Engineering Discipline
Author 
Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-43065-2
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
Author 
Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-24457-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
Author 
Herdt, Vladimir. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-658-12680-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action