Limit Search Results
Author
SpringerLink (Online service)
(973)
Wiley InterScience (Online service)
(8)
Yang, Laurence T. editor.
(7)
Dongarra, Jack. editor.
(6)
MacDonald, Matthew. author.
(6)
Subject
Computer science.
(947)
Artificial intelligence.
(270)
Information systems.
(265)
Software engineering.
(256)
Computer Communication Networks.
(247)
Material Type
Library
Switch to list view
Switch to thumbnail view
Select an Action
1026 Results Found Subscribe to search results
000000000000DEFAULT
Print
37. 
Cover image for Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Formal Methods: Applications and Technology 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Author 
Brim, Luboš. editor. Haverkort, Boudewijn. editor. Leucker, Martin. editor. Pol, Jaco. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70952-7
Format: 
Availability 
Online Library~1
Available:
Copies:
38. 
Cover image for Wireless Systems and Mobility in Next Generation Internet Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers
Wireless Systems and Mobility in Next Generation Internet Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers
Author 
García-Vidal, Jorge. editor. Cerdà-Alabern, Llorenç. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-70969-5
Format: 
Availability 
Online Library~1
Available:
Copies:
39. 
Cover image for Knowledge Discovery and Emergent Complexity in Bioinformatics First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers
Knowledge Discovery and Emergent Complexity in Bioinformatics First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers
Author 
Tuyls, Karl. editor. Westra, Ronald. editor. Saeys, Yvan. editor. Nowé, Ann. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71037-0
Format: 
Availability 
Online Library~1
Available:
Copies:
40. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings
Author 
Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71209-1
Format: 
Availability 
Online Library~1
Available:
Copies:
41. 
Cover image for Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Compiler Construction 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings
Author 
Krishnamurthi, Shriram. editor. Odersky, Martin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71229-9
Format: 
Availability 
Online Library~1
Available:
Copies:
42. 
Cover image for Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers
Learning Classifier Systems International Workshops, IWLCS 2003-2005, Revised Selected Papers
Author 
Kovacs, Tim. editor. Llorà, Xavier. editor. Takadama, Keiki. editor. Lanzi, Pier Luca. editor. Stolzmann, Wolfgang. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71231-2
Format: 
Availability 
Online Library~1
Available:
Copies:
43. 
Cover image for Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings
Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings
Author 
Hochreiter, Sepp. editor. Wagner, Roland. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71233-6
Format: 
Availability 
Online Library~1
Available:
Copies:
44. 
Cover image for Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Logic-Based Program Synthesis and Transformation 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Author 
Puebla, Germán. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71410-1
Format: 
Availability 
Online Library~1
Available:
Copies:
45. 
Cover image for Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
Anaphora: Analysis, Algorithms and Applications 6th Discourse Anaphora and Anaphor Resolution Colloquium, DAARC 2007, Lagos, Portugal, March 29-30, 2007. Selected Papers
Author 
Branco, António. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71412-5
Format: 
Availability 
Online Library~1
Available:
Copies:
46. 
Cover image for Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings
Reconfigurable Computing: Architectures, Tools and Applications Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007. Proceedings
Author 
Diniz, Pedro C. editor. Marques, Eduardo. editor. Bertels, Koen. editor. Fernandes, Marcio Merino. editor. Cardoso, João M. P. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71431-6
Format: 
Availability 
Online Library~1
Available:
Copies:
47. 
Cover image for Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings
Computer Vision/Computer Graphics Collaboration Techniques Third International Conference, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007. Proceedings
Author 
Gagalowicz, André. editor. Philips, Wilfried. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71457-6
Format: 
Availability 
Online Library~1
Available:
Copies:
48. 
Cover image for Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
Author 
Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71493-4
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action