Limit Search Results
Author
SpringerLink (Online service)
(1160)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Logic design.
(1147)
Computer science.
(1027)
Software engineering.
(742)
Artificial intelligence.
(344)
Computer Communication Networks.
(288)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
1235 Results Found Subscribe to search results
000000000000DEFAULT
Print
1201. 
Cover image for Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings
Author 
Cousot, Radhia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105073
Format: 
Availability 
Online Library~1
Available:
Copies:
1202. 
Cover image for Inconsistency Tolerance
Inconsistency Tolerance
Author 
Bertossi, Leopoldo. editor. Hunter, Anthony. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104925
Format: 
Availability 
Online Library~1
Available:
Copies:
1203. 
Cover image for Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings
Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings
Author 
Calude, Cristian S. editor. Calude, Elena. editor. Dinneen, Michael J. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103739
Format: 
Availability 
Online Library~1
Available:
Copies:
1204. 
Cover image for Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports
Author 
Malenfant, Jacques. editor. Østvold, Bjarte M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b104146
Format: 
Availability 
Online Library~1
Available:
Copies:
1205. 
Cover image for Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
Author 
Hermenegildo, Manuel V. editor. Cabeza, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105205
Format: 
Availability 
Online Library~1
Available:
Copies:
1206. 
Cover image for Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
Author 
Barthe, Gilles. editor. Burdy, Lilian. editor. Huisman, Marieke. editor. Lanet, Jean-Louis. editor. Muntean, Traian. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b105030
Format: 
Availability 
Online Library~1
Available:
Copies:
1207. 
Cover image for Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings
Author 
Kutvonen, Lea. editor. Alonistioti, Nancy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137217
Format: 
Availability 
Online Library~1
Available:
Copies:
1208. 
Cover image for Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Correct Hardware Design and Verification Methods 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005. Proceedings
Author 
Borrione, Dominique. editor. Paul, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11560548
Format: 
Availability 
Online Library~1
Available:
Copies:
1209. 
Cover image for Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings
Author 
Fiadeiro, José Luiz. editor. Harman, Neil. editor. Roggenbach, Markus. editor. Rutten, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11548133
Format: 
Availability 
Online Library~1
Available:
Copies:
1210. 
Cover image for Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers
Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers
Author 
Grelck, Clemens. editor. Huch, Frank. editor. Michaelson, Greg J. editor. Trinder, Phil. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136772
Format: 
Availability 
Online Library~1
Available:
Copies:
1211. 
Cover image for Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Rapid Integration of Software Engineering Techniques First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers
Author 
Guelfi, Nicolas. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b136153
Format: 
Availability 
Online Library~1
Available:
Copies:
1212. 
Cover image for Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Dependable Computing Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005. Proceedings
Author 
Maziero, Carlos Alberto. editor. Gabriel Silva, João. editor. Andrade, Aline Maria Santos. editor. Assis Silva, Flávio Morais. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11572329
Format: 
Availability 
Online Library~1
Available:
Copies:
Go to:Search Results
|
Top of Page
|
Search Facets