Limit Search Results
Author
SpringerLink (Online service)
(100)
Baldoni, Matteo. editor.
(2)
Bjørner, Dines. author.
(2)
Dix, Jürgen. editor.
(2)
Endriss, Ulle. editor.
(2)
Language
Subject
Logic design.
(98)
Computer science.
(96)
Software engineering.
(65)
Artificial intelligence.
(30)
Computer Communication Networks.
(30)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
106 Results Found Subscribe to search results
0000000000DEFAULT
Print
97. 
Cover image for Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
Theoretical Aspects of Computing - ICTAC 2006 Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
Author 
Barkaoui, Kamel. editor. Cavalcanti, Ana. editor. Cerone, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11921240
Format: 
Availability 
Online Library~1
Available:
Copies:
98. 
Cover image for Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers
Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papers
Author 
Hofmeister, Christine. editor. Crnkovic, Ivica. editor. Reussner, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11921998
Format: 
Availability 
Online Library~1
Available:
Copies:
99. 
Cover image for Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
Author 
Kobayashi, Naoki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11924661
Format: 
Availability 
Online Library~1
Available:
Copies:
100. 
Cover image for Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Author 
Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11940197
Format: 
Availability 
Online Library~1
Available:
Copies:
101. 
Cover image for Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers
Author 
Butterfield, Andrew. editor. Grelck, Clemens. editor. Huch, Frank. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11964681
Format: 
Availability 
Online Library~1
Available:
Copies:
102. 
Cover image for Fault-Tolerance Techniques for SRAM-based FPGAs
Fault-Tolerance Techniques for SRAM-based FPGAs
Author 
Kastensmidt, Fernanda Lima. author. Carro, Luigi. author. Reis, Ricardo. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-31069-5
Format: 
Availability 
Online Library~1
Available:
Copies:
103. 
Cover image for Mathematical Problems from Applied Logic I Logics for the XXIst Century
Mathematical Problems from Applied Logic I Logics for the XXIst Century
Author 
Gabbay, Dov M. editor. Goncharov, Sergei S. editor. Zakharyaschev, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31072-X
Format: 
Availability 
Online Library~1
Available:
Copies:
104. 
Cover image for Mechatronics : an introduction
Mechatronics : an introduction
Author 
Bishop, Robert H., 1957-
Preferred Shelf Number 
TJ163.12 .M4315 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
105. 
Cover image for Microelectronics
Microelectronics
Author 
Whitaker, Jerry C.
Preferred Shelf Number 
TK7874 .M4587 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
106. 
Cover image for EDA for IC implementation, circuit design, and process technology
EDA for IC implementation, circuit design, and process technology
Author 
Lavagno, Luciano, 1959- Martin, Grant (Grant Edmund) Scheffer, Lou.
Preferred Shelf Number 
TK7874 .E257 2006
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action