Limit Search Results
Author
SpringerLink (Online service)
(53)
Giese, Holger. editor.
(3)
Filipe, Joaquim. editor.
(2)
Fred, Ana. editor.
(2)
Gamboa, Hugo. editor.
(2)
Language
Publication Date
-
Subject
Computer science.
(27)
Software engineering.
(26)
Engineering.
(19)
Systems engineering.
(17)
Artificial intelligence.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
64 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Technische Informatik Band 2: Entwurf digitaler Schaltungen
Technische Informatik Band 2: Entwurf digitaler Schaltungen
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-17447-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Design Rules for Actuators in Active Mechanical Systems
Design Rules for Actuators in Active Mechanical Systems
Author 
Gomis-Bellmunt, Oriol. author. Campanile, Lucio Flavio. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84882-614-4
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Introduction to Evolutionary Algorithms
Introduction to Evolutionary Algorithms
Author 
Yu, Xinjie. author. Gen, Mitsuo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-84996-129-5
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Evolution of Communication and Language in Embodied Agents
Evolution of Communication and Language in Embodied Agents
Author 
Nolfi, Stefano. editor. Mirolli, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01250-1
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for POWER/HVMOS Devices Compact Modeling
POWER/HVMOS Devices Compact Modeling
Author 
Grabinski, Wladyslaw. editor. Gneiting, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3046-7
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4
Author 
Campbell, Stephen L. author. Chancelier, Jean-Philippe. author. Nikoukhah, Ramine. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-5527-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Circuit Simulation with SPICE OPUS Theory and Practice
Circuit Simulation with SPICE OPUS Theory and Practice
Author 
Tuma, Tadej. author. Buermen, Árpád. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-8176-4867-1
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Languages for Embedded Systems and their Applications Selected Contributions on Specification, Design, and Verification from FDL’08
Author 
Radetzki, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-9714-0
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Quantum Circuit Simulation
Quantum Circuit Simulation
Author 
Viamontes, George F. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3065-8
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for New Methods of Concurrent Checking
New Methods of Concurrent Checking
Author 
Göessel, Michael. author. Ocheretny, Vitaly. author. Sogomonyan, Egor. author. Marienfeld, Daniel. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-8420-1
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Global Specification and Validation of Embedded Systems Integrating Heterogeneous Components
Author 
Nicolescu, G. editor. Jerraya, A. A. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6153-0
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
Author 
Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4020-6254-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action