Limit Search Results
Author
SpringerLink (Online service)
(1177)
Gervasi, Osvaldo. editor.
(34)
Taniar, David. editor.
(31)
Murgante, Beniamino. editor.
(22)
Apduhan, Bernady O. editor.
(18)
Language
Publication Date
-
Subject
Computer science.
(712)
Artificial intelligence.
(339)
Software engineering.
(318)
Engineering.
(176)
Computer vision.
(163)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1255 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Multiobjective Programming and Goal Programming Theoretical Results and Practical Applications
Multiobjective Programming and Goal Programming Theoretical Results and Practical Applications
Author 
Barichard, Vincent. editor. Ehrgott, Matthias. editor. Gandibleux, Xavier. editor. T'Kindt, Vincent. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85646-7
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Dynamic General Equilibrium Modeling
Dynamic General Equilibrium Modeling
Author 
Heer, Burkhard. author. Maußner, Alfred. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85685-6
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Advances in Geocomputing
Advances in Geocomputing
Author 
Xing, Huilin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85879-9
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Bee-Inspired Protocol Engineering From Nature to Networks
Bee-Inspired Protocol Engineering From Nature to Networks
Author 
Farooq, Muddassar. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-85954-3
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings
Author 
Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-88479-8
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Computer Vision and Computer Graphics. Theory and Applications International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers
Computer Vision and Computer Graphics. Theory and Applications International Conference VISIGRAPH 2007, Barcelona, Spain, March 8-11, 2007. Revised Selected Papers
Author 
Braz, José. editor. Ranchordas, Alpesh. editor. Araújo, Hélder J. editor. Pereira, João Madeiras. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89682-1
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web
Advances in Web Semantics I Ontologies, Web Services and Applied Semantic Web
Author 
Dillon, Tharam S. editor. Chang, Elizabeth. editor. Meersman, Robert. editor. Sycara, Katia. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-89784-2
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
Argumentation in Multi-Agent Systems Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers
Author 
Rahwan, Iyad. editor. Moraitis, Pavlos. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00207-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Coloured Petri Nets Modelling and Validation of Concurrent Systems
Coloured Petri Nets Modelling and Validation of Concurrent Systems
Author 
Jensen, Kurt. author. Kristensen, Lars M. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b95112
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers
Electronic Healthcare First International Conference, eHealth 2008, London, UK, September 8-9, 2008. Revised Selected Papers
Author 
Weerasinghe, Dasun. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00413-1
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Software Language Engineering First International Conference, SLE 2008, Toulouse, France, September 29-30, 2008. Revised Selected Papers
Author 
Gašević, Dragan. editor. Lämmel, Ralf. editor. Wyk, Eric. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00434-6
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Human Machine Interaction Research Results of the MMI Program
Human Machine Interaction Research Results of the MMI Program
Author 
Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-00437-7
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action