Limit Search Results
Author
SpringerLink (Online service)
(1073)
Dongarra, Jack. editor.
(8)
Quarteroni, Alfio. author.
(6)
Wang, Jun. editor.
(6)
Yung, Moti. editor.
(6)
Language
Subject
Computer science.
(1034)
Artificial intelligence.
(277)
Software engineering.
(267)
Information systems.
(258)
Computer Communication Networks.
(253)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
1127 Results Found Subscribe to search results
000000000000DEFAULT
Print
13. 
Cover image for Computer algebra recipes : An introductory guide to the mathematical models of science
Computer algebra recipes : An introductory guide to the mathematical models of science
Author 
Enns, Richard H. McGuire, George, 1940-
Preferred Shelf Number 
QC30 .E484 2006
Format: 
Availability 
Beytepe Library~2
Available:
Copies:
14. 
Cover image for Validating pharmaceutical systems : good computer practice in life science manufacturing
Validating pharmaceutical systems : good computer practice in life science manufacturing
Author 
Andrews, John.
Preferred Shelf Number 
QV 778 V1717 2006
Format: 
Availability 
Health Sciences Library~1
Available:
Copies:
15. 
Cover image for Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Computer Algebra Recipes An Introductory Guide to the Mathematical Models of Science
Author 
Enns, Richard H. author. McGuire, George C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-31262-5
Format: 
Availability 
Online Library~1
Available:
Copies:
16. 
Cover image for Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006 IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile
Author 
Navarro, Gonzalo. editor. Bertossi, Leopoldo. editor. Kohayakawa, Yoshiharu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-34735-6
Format: 
Availability 
Online Library~1
Available:
Copies:
17. 
Cover image for Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Author 
Bolch, Gunter, author.
Preferred Shelf Number 
ONLINE(318899.1)
Electronic Access 
Ebook Library http://public.eblib.com/choice/publicfullrecord.aspx?p=257568
ebrary http://site.ebrary.com/id/10305613
EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=158144
John Wiley http://dx.doi.org/10.1002/0471791571
John Wiley http://dx.doi.org/10.1002/9780471791577
Format: 
Availability 
Online Library~1
Available:
Copies:
18. 
Cover image for Modeling and simulation : the computer science of illusion
Modeling and simulation : the computer science of illusion
Author 
Raczynski, Stanislaw.
Preferred Shelf Number 
ONLINE
Electronic Access 
Wiley Online Library
Format: 
Availability 
Online Library~1
Available:
Copies:
19. 
Cover image for Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Queueing networks and Markov chains modeling and performance evaluation with computer science applications
Author 
Bolch, Gunter, author.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=257568
John Wiley http://dx.doi.org/10.1002/0471791571
John Wiley http://dx.doi.org/10.1002/9780471791577
http://www3.interscience.wiley.com/cgi-bin/bookhome/112100979
MyiLibrary, Table of contents http://www.myilibrary.com?id=44862&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
20. 
Cover image for Software Configuration Management Using Vesta
Software Configuration Management Using Vesta
Author 
Heydon, Allan. author. Mann, Timothy. author. Levin, Roy. author. Yu, Yuan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-30852-4
Format: 
Availability 
Online Library~1
Available:
Copies:
21. 
Cover image for Theory of Computation
Theory of Computation
Author 
Kozen, Dexter C. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/1-84628-477-5
Format: 
Availability 
Online Library~1
Available:
Copies:
22. 
Cover image for Constraint-Based Mining and Inductive Databases European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers
Constraint-Based Mining and Inductive Databases European Workshop on Inductive Databases and Constraint Based Mining, Hinterzarten, Germany, March 11-13, 2004, Revised Selected Papers
Author 
Boulicaut, Jean-François. editor. Raedt, Luc. editor. Mannila, Heikki. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11615576
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Automated Deduction in Geometry 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers
Author 
Hong, Hoon. editor. Wang, Dongming. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11615798
Format: 
Availability 
Online Library~1
Available:
Copies:
24. 
Cover image for Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
Author 
Emerson, E. Allen. editor. Namjoshi, Kedar S. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11609773
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action