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 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:
14. 
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:
15. 
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:
16. 
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:
17. 
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:
18. 
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:
19. 
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:
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 Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers
Author 
Filliâtre, Jean-Christophe. editor. Paulin-Mohring, Christine. editor. Werner, Benjamin. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11617990
Format: 
Availability 
Online Library~1
Available:
Copies:
23. 
Cover image for Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Mathematical Knowledge Management 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers
Author 
Kohlhase, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/11618027
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