Limit Search Results
Author
SpringerLink (Online service)
(1106)
Dongarra, Jack. editor.
(5)
MacDonald, Matthew. author.
(5)
Bubak, Marian. editor.
(4)
Chen, Hsinchun. editor.
(4)
Language
Subject
Computer science.
(1054)
Information systems.
(280)
Artificial intelligence.
(251)
Software engineering.
(247)
Computer Communication Networks.
(218)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1150 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Compiler Construction 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings
Author 
Hendren, Laurie. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78791-4
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings
Author 
Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78800-3
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Algorithms and Models for the Web-Graph Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers
Algorithms and Models for the Web-Graph Fourth International Workshop, WAW 2006, Banff, Canada, November 30 - December 1, 2006. Revised Papers
Author 
Aiello, William. editor. Broder, Andrei. editor. Janssen, Jeannette. editor. Milios, Evangelos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78808-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
Large-Scale Scientific Computing 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007. Revised Papers
Author 
Lirkov, Ivan. editor. Margenov, Svetozar. editor. Waśniewski, Jerzy. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78827-0
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
Research in Computational Molecular Biology 12th Annual International Conference, RECOMB 2008, Singapore, March 30 - April 2, 2008. Proceedings
Author 
Vingron, Martin. editor. Wong, Limsoon. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78839-3
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Progress in WWW Research and Development 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings
Progress in WWW Research and Development 10th Asia-Pacific Web Conference, APWeb 2008, Shenyang, China, April 26-28, 2008. Proceedings
Author 
Zhang, Yanchun. editor. Yu, Ge. editor. Bertino, Elisa. editor. Xu, Guandong. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78849-2
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems 4th International Workshop, ArgMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised Selected and Invited Papers
Author 
Rahwan, Iyad. editor. Parsons, Simon. editor. Reed, Chris. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78915-4
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
Author 
Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78917-8
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Concept Lattices and Their Applications Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
Concept Lattices and Their Applications Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
Author 
Yahia, Sadok Ben. editor. Nguifo, Engelbert Mephu. editor. Belohlavek, Radim. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78921-5
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
Author 
Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78929-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Theory and Applications of Models of Computation 5th International Conference, TAMC 2008, Xi’an, China, April 25-29, 2008. Proceedings
Author 
Agrawal, Manindra. editor. Du, Dingzhu. editor. Duan, Zhenhua. editor. Li, Angsheng. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79228-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings
Author 
Dumas, Marlon. editor. Heckel, Reiko. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-79230-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action