Limit Search Results
Author
SpringerLink (Online service)
(162)
Wiley InterScience (Online service)
(9)
Ahlgren, David. editor.
(2)
Al Manum, Abdullah. editor.
(2)
Albada, Geert Dick. editor.
(2)
Language
Subject
Computer science.
(126)
Electronic data processing.
(64)
Artificial intelligence.
(40)
Computer software.
(40)
Algebra -- Data processing.
(38)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
255 Results Found Subscribe to search results
000000000000DEFAULT
Print
49. 
Cover image for Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings
Author 
Hoeve, Willem-Jan. editor. Hooker, John N. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01929-6
Format: 
Availability 
Online Library~1
Available:
Copies:
50. 
Cover image for Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings
Author 
Carette, Jacques. editor. Dixon, Lucas. editor. Coen, Claudio Sacerdoti. editor. Watt, Stephen M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02614-0
Format: 
Availability 
Online Library~1
Available:
Copies:
51. 
Cover image for Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
Ergonomics and Health Aspects of Work with Computers International Conference, EHAWC 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009. Proceedings
Author 
Karsh, Ben-Tzion. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02731-4
Format: 
Availability 
Online Library~1
Available:
Copies:
52. 
Cover image for Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
Developments in Language Theory 13th International Conference, DLT 2009, Stuttgart, Germany, June 30-July 3, 2009. Proceedings
Author 
Diekert, Volker. editor. Nowotka, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02737-6
Format: 
Availability 
Online Library~1
Available:
Copies:
53. 
Cover image for Data Integration in the Life Sciences 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings
Data Integration in the Life Sciences 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings
Author 
Paton, Norman W. editor. Missier, Paolo. editor. Hedeler, Cornelia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02879-3
Format: 
Availability 
Online Library~1
Available:
Copies:
54. 
Cover image for Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
Rough Sets and Knowledge Technology 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings
Author 
Wen, Peng. editor. Li, Yuefeng. editor. Polkowski, Lech. editor. Yao, Yiyu. editor. Tsumoto, Shusaku. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02962-2
Format: 
Availability 
Online Library~1
Available:
Copies:
55. 
Cover image for Artificial Intelligence in Medicine 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings
Artificial Intelligence in Medicine 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings
Author 
Combi, Carlo. editor. Shahar, Yuval. editor. Abu-Hanna, Ameen. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02976-9
Format: 
Availability 
Online Library~1
Available:
Copies:
56. 
Cover image for Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Mathematical Theory and Computational Practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
Author 
Ambos-Spies, Klaus. editor. Löwe, Benedikt. editor. Merkle, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03073-4
Format: 
Availability 
Online Library~1
Available:
Copies:
57. 
Cover image for Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Author 
Archibald, Margaret. editor. Brattka, Vasco. editor. Goranko, Valentin. editor. Löwe, Benedikt. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03092-5
Format: 
Availability 
Online Library~1
Available:
Copies:
58. 
Cover image for Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings
Advances in Bioinformatics and Computational Biology 4th Brazilian Symposium on Bioinformatics, BSB 2009, Porto Alegre, Brazil, July 29-31, 2009. Proceedings
Author 
Guimarães, Katia S. editor. Panchenko, Anna. editor. Przytycka, Teresa M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03223-3
Format: 
Availability 
Online Library~1
Available:
Copies:
59. 
Cover image for Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Recent Advances in Constraints 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers
Author 
Oddi, Angelo. editor. Fages, François. editor. Rossi, Francesca. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03251-6
Format: 
Availability 
Online Library~1
Available:
Copies:
60. 
Cover image for Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Formal Modeling and Analysis of Timed Systems 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
Author 
Ouaknine, Joël. editor. Vaandrager, Frits W. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04368-0
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action