Limit Search Results
Author
SpringerLink (Online service)
(153)
Arns, Laura. editor.
(2)
Bebis, George. editor.
(2)
Blum, Christian. editor.
(2)
Boyle, Richard. editor.
(2)
Language
Subject
Computer software.
(151)
Computer science.
(149)
Computational complexity.
(52)
Computer Communication Networks.
(44)
Artificial intelligence.
(41)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
184 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy
Open Source Development, Communities and Quality IFIP 20th World Computer Congress, Working Group 2.3 on Open Source Software, September 7-10, 2008, Milano, Italy
Author 
Russo, Barbara. editor. Damiani, Ernesto. editor. Hissam, Scott. editor. Lundell, Björn. editor. Succi, Giancarlo. editor.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-0-387-09684-1
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures
Author 
Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-68894-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Computer modeling in bioengineering theoretical background, examples and software
Computer modeling in bioengineering theoretical background, examples and software
Author 
Kojic, Milos, 1941- Wiley InterScience (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=366796
John Wiley http://dx.doi.org/10.1002/9780470751763
MyiLibrary, Table of contents http://www.myilibrary.com?id=184085&ref=toc
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for An essential introduction to Maya character rigging with DVD
An essential introduction to Maya character rigging with DVD
Author 
Cabrera, Cheryl.
Preferred Shelf Number 
ONLINE
Electronic Access 
ScienceDirect http://www.sciencedirect.com/science/book/9780240520827
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Software process dynamics
Software process dynamics
Author 
Madachy, Raymond J. (Raymond Joseph)
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5361010
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Tutorial on hardware and software reliability, maintainability, and availability
Tutorial on hardware and software reliability, maintainability, and availability
Author 
Schneidewind, Norman.
Preferred Shelf Number 
ONLINE
Electronic Access 
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769540
IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769540
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Nanocomputers and swarm intelligence
Nanocomputers and swarm intelligence
Author 
Waldner, Jean-Baptiste.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=588835
John Wiley http://dx.doi.org/10.1002/9780470610978
http://onlinelibrary.wiley.com/book/10.1002/9780470610978
Knovel http://app.knovel.com/web/toc.v/cid:kpNSI00001
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045065-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Modeling and verification of real-time systems formalisms and software tools
Modeling and verification of real-time systems formalisms and software tools
Author 
Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number 
ONLINE
Electronic Access 
Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643
John Wiley http://dx.doi.org/10.1002/9780470611012
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Software development rhythms harmonizing agile practices for synergy
Software development rhythms harmonizing agile practices for synergy
Author 
Lui, Kim Man. Chan, Keith C. C.
Preferred Shelf Number 
ONLINE
Electronic Access 
Books24x7 http://www.books24x7.com/marc.asp?bookid=26059
John Wiley http://dx.doi.org/10.1002/9780470192672
MyiLibrary, Table of contents http://www.myilibrary.com?id=137390&ref=toc
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007019073-b.html
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Domain-specific modeling enabling full code generation
Domain-specific modeling enabling full code generation
Author 
Kelly, Steven. Tolvanen, Juha-Pekka.
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Click here to view book
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0808/2007032132-b.html
John Wiley http://dx.doi.org/10.1002/9780470249260
http://swb.eblib.com/patron/FullRecord.aspx?p=331608
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Running an agile software development project
Running an agile software development project
Author 
Holcombe, W. M. L. (William Michael Lloyd), 1944-
Preferred Shelf Number 
ONLINE
Electronic Access 
Click for information
Click here to view book
Image http://images.contentreserve.com/ImageType-100/0128-1/{89677831-D58E-45B6-BB85-1725E2782B73}Img100.jpg
Books24x7 http://www.books24x7.com/marc.asp?bookid=29682
John Wiley http://dx.doi.org/10.1002/9780470385883
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Verification of systems and circuits using LOTOS, Petri Nets, and CCS
Author 
Yoeli, Michael, 1917- Kol, Rakefet.
Preferred Shelf Number 
ONLINE
Electronic Access 
Available by subscription from Safari Books Online
Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0809/2007033487-b.html
John Wiley http://dx.doi.org/10.1002/9780470253410
Volltext http://proquest.tech.safaribooksonline.de/9780471704492
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action