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
264 Results Found Subscribe to search results
000000000000DEFAULT
Print
25. 
Cover image for Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Typed Lambda Calculi and Applications 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings
Author 
Curien, Pierre-Louis. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02273-9
Format: 
Availability 
Online Library~1
Available:
Copies:
26. 
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:
27. 
Cover image for Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Rewriting Techniques and Applications 20th International Conference, RTA 2009 Brasília, Brazil, June 29 - July 1, 2009 Proceedings
Author 
Treinen, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02348-4
Format: 
Availability 
Online Library~1
Available:
Copies:
28. 
Cover image for Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers
Nano-Net Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers
Author 
Cheng, Maggie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02427-6
Format: 
Availability 
Online Library~1
Available:
Copies:
29. 
Cover image for Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Types for Proofs and Programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers
Author 
Berardi, Stefano. editor. Damiani, Ferruccio. editor. de’Liguoro, Ugo. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02444-3
Format: 
Availability 
Online Library~1
Available:
Copies:
30. 
Cover image for Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part II
Author 
Gervasi, Osvaldo. editor. Taniar, David. editor. Murgante, Beniamino. editor. Laganà, Antonio. editor. Mun, Youngsong. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02457-3
Format: 
Availability 
Online Library~1
Available:
Copies:
31. 
Cover image for Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1
Complex Sciences First International Conference, Complex 2009, Shanghai, China, February 23-25, 2009. Revised Papers, Part 1
Author 
Zhou, Jie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02466-5
Format: 
Availability 
Online Library~1
Available:
Copies:
32. 
Cover image for Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers
Computational Intelligence Methods for Bioinformatics and Biostatistics 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers
Author 
Masulli, Francesco. editor. Tagliaferri, Roberto. editor. Verkhivker, Gennady M. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-02504-4
Format: 
Availability 
Online Library~1
Available:
Copies:
33. 
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:
34. 
Cover image for Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings
Author 
Bozapalidis, Symeon. editor. Rahonis, George. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-03564-7
Format: 
Availability 
Online Library~1
Available:
Copies:
35. 
Cover image for Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
Computational Science – ICCS 2009 9th International Conference Baton Rouge, LA, USA, May 25-27, 2009 Proceedings, Part II
Author 
Allen, Gabrielle. editor. Nabrzyski, Jarosław. editor. Seidel, Edward. editor. Albada, Geert Dick. editor. Dongarra, Jack. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01973-9
Format: 
Availability 
Online Library~1
Available:
Copies:
36. 
Cover image for Multi-Agent-Based Simulation IX International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
Multi-Agent-Based Simulation IX International Workshop, MABS 2008, Estoril, Portugal, May 12-13, 2008, Revised Selected Papers
Author 
David, Nuno. editor. Sichman, Jaime Simão. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-01991-3
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action