Limit Search Results
Author
SpringerLink (Online service)
(53)
Markov, Igor L. author.
(3)
Lienig, Jens. author.
(2)
Schätz, Bernhard. editor.
(2)
Sim, Kevin. editor.
(2)
Language
Publication Date
-
Subject
Systems engineering.
(33)
Computer science.
(27)
Engineering.
(21)
Software engineering.
(17)
Electronics.
(10)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
53 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
Author 
Beckert, Bernhard. editor. Damiani, Ferruccio. editor. Boer, Frank S. editor. Bonsangue, Marcello M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334077.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35887-6
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Generative and Transformational Techniques in Software Engineering IV International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
Author 
Lämmel, Ralf. editor. Saraiva, João. editor. Visser, Joost. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334096.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-35992-7
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
Finite State Machine Logic Synthesis for Complex Programmable Logic Devices
Author 
Czerwinski, Robert. author. Kania, Dariusz. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334139.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-36166-1
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
NASA Formal Methods 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Author 
Brat, Guillaume. editor. Rungta, Neha. editor. Venet, Arnaud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(334533.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-38088-4
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Logic Circuit Design Selected Methods
Logic Circuit Design Selected Methods
Author 
Vingron, Shimon P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-27657-6
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Entwurf integrierter 3D-Systeme der Elektronik
Entwurf integrierter 3D-Systeme der Elektronik
Author 
Lienig, Jens. editor. Dietrich, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-30572-6
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for The Unknown Component Problem Theory and Applications
The Unknown Component Problem Theory and Applications
Author 
Villa, Tiziano. author. Yevtushenko, Nina. author. Brayton, Robert K. author. Mishchenko, Alan. author. Petrenko, Alexandre. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-68759-9
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Compact Models and Measurement Techniques for High-Speed Interconnects
Compact Models and Measurement Techniques for High-Speed Interconnects
Author 
Sharma, Rohit. author. Chakravarty, Tapas. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1071-3
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Adiabatic Logic Future Trend and System Level Perspective
Adiabatic Logic Future Trend and System Level Perspective
Author 
Teichmann, Philip. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-94-007-2345-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for VLSI Physical Design: From Graph Partitioning to Timing Closure
VLSI Physical Design: From Graph Partitioning to Timing Closure
Author 
Kahng, Andrew B. author. Lienig, Jens. author. Markov, Igor L. author. Hu, Jin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9591-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
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:
Select an Action