Limit Search Results
Author
SpringerLink (Online service)
(1207)
Voronkov, Andrei. editor.
(15)
Boer, Frank S. editor.
(10)
Bonsangue, Marcello M. editor.
(10)
Rozenberg, Grzegorz. editor.
(9)
Language
Publication Date
-
Subject
Logic design.
(1153)
Computer science.
(1027)
Software engineering.
(743)
Artificial intelligence.
(359)
Computer Communication Networks.
(291)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1309 Results Found Subscribe to search results
000000000000DEFAULT
Print
1225. 
Cover image for Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Author 
Feitelson, Dror. editor. Frachtenberg, Eitan. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11605300
Format: 
Availability 
Online Library~1
Available:
Copies:
1226. 
Cover image for Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
Author 
Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11591191
Format: 
Availability 
Online Library~1
Available:
Copies:
1227. 
Cover image for Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures
Author 
Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11526988
Format: 
Availability 
Online Library~1
Available:
Copies:
1228. 
Cover image for Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings
Author 
Felice, Clelia. editor. Restivo, Antonio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137735
Format: 
Availability 
Online Library~1
Available:
Copies:
1229. 
Cover image for Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 – 28, 2004, Revised Selected Papers
Author 
Etalle, Sandro. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b137785
Format: 
Availability 
Online Library~1
Available:
Copies:
1230. 
Cover image for Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Computer Aided Verification 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005. Proceedings
Author 
Etessami, Kousha. editor. Rajamani, Sriram K. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138445
Format: 
Availability 
Online Library~1
Available:
Copies:
1231. 
Cover image for FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings
Author 
Fitzgerald, John. editor. Hayes, Ian J. editor. Tarlecki, Andrzej. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b27882
Format: 
Availability 
Online Library~1
Available:
Copies:
1232. 
Cover image for ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Author 
Black, Andrew P. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11531142
Format: 
Availability 
Online Library~1
Available:
Copies:
1233. 
Cover image for Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers
Model Driven Architecture European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers
Author 
Aßmann, Uwe. editor. Aksit, Mehmet. editor. Rensink, Arend. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11538097
Format: 
Availability 
Online Library~1
Available:
Copies:
1234. 
Cover image for Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Theorem Proving in Higher Order Logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
Author 
Hurd, Joe. editor. Melham, Tom. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11541868
Format: 
Availability 
Online Library~1
Available:
Copies:
1235. 
Cover image for Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004 Revised Selected Papers
Author 
Priami, Corrado. editor. Quaglia, Paola. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b103251
Format: 
Availability 
Online Library~1
Available:
Copies:
1236. 
Cover image for Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers
Job Scheduling Strategies for Parallel Processing 10th International Workshop, JSSPP 2004, New York, NY, USA, June 13, 2004. Revised Selected Papers
Author 
Feitelson, Dror G. editor. Rudolph, Larry. editor. Schwiegelshohn, Uwe. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b107134
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action