Limit Search Results
Author
SpringerLink (Online service)
(114)
Jacko, Julie A. editor.
(4)
Liu, Zhiming. editor.
(3)
Stephanidis, Constantine. editor.
(3)
Woodcock, Jim. editor.
(3)
Language
English
(119)
Subject
Logic design.
(117)
Computer science.
(114)
Software engineering.
(80)
Computer Communication Networks.
(44)
Artificial intelligence.
(25)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
120 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
Author 
Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70889-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings
Natural Language Processing and Information Systems 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007. Proceedings
Author 
Kedad, Zoubida. editor. Lammari, Nadira. editor. Métais, Elisabeth. editor. Meziane, Farid. editor. Rezgui, Yacine. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-73351-5
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for The Calculus of Computation Decision Procedures with Applications to Verification
The Calculus of Computation Decision Procedures with Applications to Verification
Author 
Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74113-8
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Author 
Edelkamp, Stefan. editor. Lomuscio, Alessio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74128-2
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers
Author 
Horváth, Zoltán. editor. Zsók, Viktória. editor. Butterfield, Andrew. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74130-5
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Advances in Computer Systems Architecture 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007. Proceedings
Author 
Choi, Lynn. editor. Paek, Yunheung. editor. Cho, Sangyeun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74309-5
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures
Author 
Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74615-7
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
CONCUR 2007 – Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings
Author 
Caires, Luís. editor. Vasconcelos, Vasco T. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74407-8
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007. Proceedings
Author 
Azémard, Nadine. editor. Svensson, Lars. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74442-9
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings
Author 
Kučera, Luděk. editor. Kučera, Antonín. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74456-6
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Coordination, Organizations, Institutions, and Norms in Agent Systems II AAMAS 2006 and ECAI 2006 International Workshops, COIN 2006 Hakodate, Japan, May 9, 2006 Riva del Garda, Italy, August 28, 2006. Revised Selected Papers
Author 
Noriega, Pablo. editor. Vázquez-Salceda, Javier. editor. Boella, Guido. editor. Boissier, Olivier. editor. Dignum, Virginia. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74459-7
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers
Author 
Altenkirch, Thorsten. editor. McBride, Conor. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-74464-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action