Koha online catalog › Results of search for 'ccl=su:"Computer science" and itype:LIB and su-to:Computer science'

	1.	The Safety of Systems [electronic resource] : Proceedings of the Fifteenth Safety-critical Systems Symposium, Bristol, UK, 13–15 February 2007 / edited by Felix Redmill, Tom Anderson. by Redmill, Felix \| Anderson, Tom \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: London : Springer-Verlag London, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: T55.A1 S24 2007 (1). Place hold Add to cart (remove)
	2.	Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach / by Marcus S. Fisher. by Fisher, Marcus S \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, LLC, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.V47 F57 2007 (1). Place hold Add to cart (remove)
	3.	New Horizons of Parallel and Distributed Computing [electronic resource] / edited by Minyi Guo, Laurence Tianruo Yang. by Guo, Minyi \| Yang, Laurence Tianruo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.58 .N49 2005 (1). Place hold Add to cart (remove)
	4.	Software Process Modeling [electronic resource] / edited by Silvia T. Acuña, Natalia Juristo. by Acuña, Silvia T \| Juristo, Natalia \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 S6636 2005 (1). Place hold Add to cart (remove)
	5.	Parsing Techniques [electronic resource] : A Practical Guide / by Dick Grune, Ceriel J. H. Jacobs. by Grune, Dick \| Jacobs, Ceriel J. H \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, LLC, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: P98.5.P38 G78 2005 (1). Place hold Add to cart (remove)
	6.	Automatic Quantum Computer Programming [electronic resource] : A Genetic Programming Approach / edited by Lee Spector. by Spector, Lee \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.889 S64 2007 (1). Place hold Add to cart (remove)
	7.	Innovation in Manufacturing Networks [electronic resource] : Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23–25, 2008 / edited by Américo Azevedo. by Azevedo, Américo \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : International Federation for Information Processing, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TH438 I66 2005 (1). Place hold Add to cart (remove)
	8.	Guide to Assembly Language Programming in Linux [electronic resource] / by Sivarama P. Dandamudi. by Dandamudi, Sivarama P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.73.A8 D34 2005 (1). Place hold Add to cart (remove)
	9.	An Integrated Approach to Software Engineering [electronic resource] / by Pankaj Jalote. by Jalote, Pankaj \| SpringerLink (Online service). Edition: Third Edition.Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 J35 2005 (1). Place hold Add to cart (remove)
	10.	Software Engineering Techniques: Design for Quality [electronic resource] / edited by Krzysztof Sacha. by Sacha, Krzysztof \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : International Federation for Information Processing, 2007Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 S64 2007 (1). Place hold Add to cart (remove)
	11.	Theoretical Introduction to Programming [electronic resource] / by Bruce Mills. by Mills, Bruce \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: London : Springer-Verlag London Limited, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.6 M55 2006 (1). Place hold Add to cart (remove)
	12.	Ubiquitous and Pervasive Commerce [electronic resource] : New Frontiers for Electronic Business / edited by George Roussos. by Roussos, George \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: London : Springer-Verlag London Limited, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: HF5548.32 U25 2006 (1). Place hold Add to cart (remove)
	13.	Practical Django Projects [electronic resource] / by James Bennett. by Bennett, James \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Berkeley, CA : James Bennett, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: TK5105.888 B46 2008 (1). Place hold Add to cart (remove)
	14.	Reverse Engineering of Object Oriented Code [electronic resource] / by Paolo Tonella, Alessandra Potrich. by Tonella, Paolo \| Potrich, Alessandra \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: New York, NY : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.64 T66 2005 (1). Place hold Add to cart (remove)
	15.	Office and SharePoint 2007 User’s Guide [electronic resource] : Integrating SharePoint with Excel, Outlook, Access, and Word / by Michael P. Antonovich. by Antonovich, Michael P \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Berkeley, CA : Michael P. Antonovich, 2008Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: HF5548.4M525 A58 2008 (1). Place hold Add to cart (remove)
	16.	Software Configuration Management Using Vesta [electronic resource] / by Allan Heydon, Timothy Mann, Roy Levin, Yuan Yu. by Heydon, Allan \| Mann, Timothy \| Levin, Roy \| Yu, Yuan \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer-Verlag US, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.C69 H49 2006 (1). Place hold Add to cart (remove)
	17.	A Software Process Model Handbook for Incorporating People’s Capabilities [electronic resource] / by Silvia Teresita Acuña, Natalia Juristo, Ana María Moreno, Alicia Mon. by Acuña, Silvia Teresita \| Juristo, Natalia \| Moreno, Ana María \| Mon, Alicia \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.D47 S66 2005 (1). Place hold Add to cart (remove)
	18.	Multi-Agent Programming [electronic resource] : Languages, Platforms and Applications / edited by Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, Amal Fallah Seghrouchni. by Bordini, Rafael H \| Dastani, Mehdi \| Dix, Jürgen \| Fallah Seghrouchni, Amal \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.76.I58 M8 2005 (1). Place hold Add to cart (remove)
	19.	Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective [electronic resource] / edited by Denis Besnard, Cristina Gacek, Cliff B. Jones. by Besnard, Denis \| Gacek, Cristina \| Jones, Cliff B \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: London : Springer-Verlag London Limited, 2006Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.758 S77 2006 (1). Place hold Add to cart (remove)
	20.	Soft Real-Time Systems [electronic resource] : Predictability vs. Efficiency / by Giorgio Buttazzo, Giuseppe Lipari, Luca Abeni, Marco Caccamo. by Buttazzo, Giorgio \| Lipari, Giuseppe \| Abeni, Luca \| Caccamo, Marco \| SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format: electronic available online Publisher: Boston, MA : Springer Science+Business Media, Inc., 2005Online access: Click here to access online Availability: Items available for loan: Biblioteca DigitalCall number: QA76.54 .S56 2005 (1). Place hold Add to cart (remove)

Koha online

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 37 results.