Limit Search Results
Author
SpringerLink (Online service)
(1123)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(343)
Computer Communication Networks.
(288)
Computer software.
(201)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1153 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Software Composition 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005. Revised Selected Papers
Author 
Gschwind, Thomas. editor. Aßmann, Uwe. editor. Nierstrasz, Oscar. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11550679
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings
Author 
Urzyczyn, Paweł. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135690
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures
Author 
Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b135888
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings
Author 
Coppo, Mario. editor. Lodi, Elena. editor. Pinna, G. Michele. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560586
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Recent Advances in Constraints Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers
Author 
Faltings, Boi V. editor. Petcu, Adrian. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b106890
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
Natural Language Processing and Information Systems 10th International Conference on Applications of Natural Language to Information Systems, NLDB 2005, Alicante, Spain, June 15-17, 2005. Proceedings
Author 
Montoyo, Andrés. editor. Muńoz, Rafael. editor. Métais, Elisabeth. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136569
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings
Author 
Sarukkai, Sundar. editor. Sen, Sandeep. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11590156
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Logically determined design clockless system design with NULL convention logic
Logically determined design clockless system design with NULL convention logic
Author 
Fant, Karl M.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Available by subscription from Safari Books Online
John Wiley http://dx.doi.org/10.1002/0471702897
MyiLibrary, Table of contents http://www.myilibrary.com?id=25243&ref=toc
Volltext http://proquest.tech.safaribooksonline.de/9780471684787
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for A Baker's dozen real analog solutions for digital designers
A Baker's dozen real analog solutions for digital designers
Author 
Baker, Bonnie (Bonnie C.)
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780750678193
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for New Algorithms, Architectures and Applications for Reconfigurable Computing
New Algorithms, Architectures and Applications for Reconfigurable Computing
Author 
Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-4020-3128-9
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Introduction to logic design
Introduction to logic design
Author 
Marcovitz, Alan B.
Preferred Shelf Number 
TK7868 L6 M355 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
12. 
Cover image for Logic design of nanoICs
Logic design of nanoICs
Author 
Yanushkevich, Svetlana N., author. Shmerko, Vlad P. Lyshevski, Sergey Edward.
Preferred Shelf Number 
TK7874.8 .Y36 2005
Electronic Access 
Click here to view.
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action