Refine your search

Your search returned 218 results.

Not what you expected? Check for suggestions
Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
141.
142.
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part II / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 6416. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ISoLA 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
143.
Architecting dependable systems VII / Antonio Casimiro, Rogério de Lemos, Cristina Gacek (eds.). by Series: Lecture notes in computer science ; 6420. | Lecture notes in computer science. State-of-the-art survey. | LNCS sublibrary. SL 2, Programming and software engineering.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • Architecting dependable systems 7
  • Architecting dependable systems seven
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
144.
Leveraging applications of formal methods, verification, and validation : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, proceedings. Part I / Tiziana Margaria, Bernhard Steffen (eds.). by Series: Lecture notes in computer science ; 6415. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • ISoLA 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
145.
146.
Service-oriented computing : 8th international conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010 : proceedings / Paul P. Maglio [and others] (eds.). by Series: Lecture notes in computer science ; 6470. | Lecture notes in computer science. Services science.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
147.
148.
Combinatorial optimization and applications : 4th international conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, proceedings. Part I / Weili Wu, Ovidiu Daescu (Eds.). by Series: Lecture notes in computer science ; 6508. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin ; Heidelberg ; New York : Springer, ©2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
149.
Service research challenges and solutions for the future internet : S-Cube : towards engineering, managing and adapting service-based systems / Mike Papazoglou [and others] (eds.). by Series: Lecture notes in computer science ; 6500. | Lecture notes in computer science. Services science. | Lecture notes in computer science. State-of-the-art survey. | LNCS sublibrary. SL 5, Computer communication networks and telecommunications.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
150.
Progress in cryptology--INDOCRYPT 2010 : 11th International Conference on Cryptology in India, Hyderabad, India, December 12-15, 2010 : proceedings / Guang Gong, Kishan Chand Gupta (eds.). by Series: Lecture notes in computer science ; 6498. | LNCS sublibrary. SL 4, Security and cryptology.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • INDOCRYPT 2010
In: Springer eBooks
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
151.
152.
Web information systems engineering--WISE 2010 : 11th international conference, Hong Kong, China, December 12-14, 2010 : proceedings / Lei Chen, Peter Triantafillou, Torsten Suel (eds.). by Series: Lecture notes in computer science ; 6488. | LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Berlin : Springer, 2010
Other title:
  • WISE 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
153.
IBM Cognos 8 Report Studio cookbook [electronic resource] : over 80 great recipes for taking control of Cognos 8 Report Studio / Abhishek Sanghani. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Birmingham, U.K. : Packt Enterprise, 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
154.
Facebook Graph API development with Flash : beginner's guide : build social Flash applications fully integrated with the Facebook Graph API / Michael James Williams. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Birmingham UK : Packt Pub., 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
155.
OpenX ad server, beginner's guide [electronic resource] : build and maintain professional advertising solutions for your websties with OpenX ad server / Murat Yilmaz. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Birmingham, UK : Packt Publishing, 2010
Other title:
  • Build and maintain professional advertising solutions for your websites with OpenX ad server
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
156.
The comingled code : open source and economic development / Josh Lerner and Mark Schankerman. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Cambridge, Mass. : MIT Press, ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
157.
Handbook on developing online curriculum materials for teachers : lessons from museum education partnerships / edited by Gerald Bailey [and others]. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Charlotte, N.C. : Information Age Pub., ©2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
158.
Moodle 2.0 first look : discover what's new in Moodle 2.0, how the new features work, and how it will impact you / Mary Cooch. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Birmingham, U.K. : Packt Pub., 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
159.
Nginx HTTP server [electronic resource] : adopt Nginx for your web applications to make the most of your infrastructure and serve pages faster than ever / Clément Nedelcu. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Birmingham, U.K. : Packt Pub., 2010
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
160.
Silverlight 4 data and services cookbook : over 85 practical recipes for creating rich, data-driven business applications in Silverlight / Gill Cleeren, Kevin Dockx. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publication details: Birmingham, U.K. : Packt Enterprise, 2010
Other title:
  • Microsoft Silverlight 4 data and services cookbook
Online resources:
Availability: Items available for loan: e-Library (1).
Place hold
Pages

Powered by Koha