Your search returned 1066 results.

Results
	21.	Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings / edited by Gilles Barthe, Alberto Pardo, Gerardo Schneider. by Barthe, Gilles Pardo, Alberto Schneider, Gerardo SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7041 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	22.	Formal Modeling and Analysis of Timed Systems [electronic resource] : 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings / edited by Uli Fahrenberg, Stavros Tripakis. by Fahrenberg, Uli Tripakis, Stavros SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6919 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	23.	ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work, 24-28 September 2011, Aarhus Denmark [electronic resource] / edited by Susanne Bødker, Niels Olof Bouvin, Volker Wulf, Luigina Ciolfi, Wayne Lutters. by Bødker, Susanne Bouvin, Niels Olof Wulf, Volker Ciolfi, Luigina Lutters, Wayne SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	24.	Enterprise Information Systems [electronic resource] : 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers / edited by Joaquim Filipe, José Cordeiro. by Filipe, Joaquim Cordeiro, José SpringerLink (Online service) Series: Lecture Notes in Business Information Processing ; 73 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	25.	Coordination, Organizations, Institutions, and Norms in Agent Systems VI [electronic resource] : COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers / edited by Marina Vos, Nicoletta Fornara, Jeremy V. Pitt, George Vouros. by Vos, Marina Fornara, Nicoletta Pitt, Jeremy V Vouros, George SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6541 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	26.	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 18th International Conference, ASMTA 2011, Venice, Italy, June 20-22, 2011. Proceedings / edited by Khalid Al-Begain, Simonetta Balsamo, Dieter Fiems, Andrea Marin. by Al-Begain, Khalid Balsamo, Simonetta Fiems, Dieter Marin, Andrea SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6751 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	27.	Information Theoretic Security [electronic resource] : 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings / edited by Serge Fehr. by Fehr, Serge SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6673 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	28.	Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone. by Erlingsson, Úlfar Wieringa, Roel Zannone, Nicola SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6542 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	29.	Top Productivity through Software Reuse [electronic resource] : 12th International Conference on Software Reuse, ICSR 2011, Pohang, South Korea, June 13-17, 2011. Proceedings / edited by Klaus Schmid. by Schmid, Klaus SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6727 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	30.	Privacy and Identity Management for Life [electronic resource] / edited by Jan Camenisch, Simone Fischer-Hübner, Kai Rannenberg. by Camenisch, Jan Fischer-Hübner, Simone Rannenberg, Kai SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	31.	Algorithms and Architectures for Parallel Processing [electronic resource] : 11th International Conference, ICA300 2011, Melbourne, Australia, October 24-26, 2011, Proceedings, Part II / edited by Yang Xiang, Alfredo Cuzzocrea, Michael Hobbs, Wanlei Zhou. by Xiang, Yang Cuzzocrea, Alfredo Hobbs, Michael Zhou, Wanlei SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7017 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	32.	Computing and Intelligent Systems [electronic resource] : International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011. Proceedings, Part IV / edited by Yanwen Wu. by Wu, Yanwen SpringerLink (Online service) Series: Communications in Computer and Information Science ; 234 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	33.	NETWORKING 2011 [electronic resource] : 10th International IFIP TC 6 Networking Conference, Valencia, Spain, May 9-13, 2011, Proceedings, Part I / edited by Jordi Domingo-Pascual, Pietro Manzoni, Sergio Palazzo, Ana Pont, Caterina Scoglio. by Domingo-Pascual, Jordi Manzoni, Pietro Palazzo, Sergio Pont, Ana Scoglio, Caterina SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6640 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	34.	The Synthesis of Three Dimensional Haptic Textures: Geometry, Control, and Psychophysics [electronic resource] / by Gianni Campion. by Campion, Gianni SpringerLink (Online service) Series: Springer Series on Touch and Haptic Systems Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	35.	Research and Development in Intelligent Systems XXVIII [electronic resource] : Incorporating Applications and Innovations in Intelligent Systems XIX Proceedings of AI-2011, the Thirty-first SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence / edited by Max Bramer, Miltos Petridis, Lars Nolle. by Bramer, Max Petridis, Miltos Nolle, Lars SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	36.	Context and Semantics for Knowledge Management [electronic resource] : Technologies for Personal Productivity / edited by Paul Warren, John Davies, Elena Simperl. by Warren, Paul Davies, John Simperl, Elena SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	37.	Haptic Interaction with Deformable Objects [electronic resource] : Modelling VR Systems for Textiles / by Guido Böttcher. by Böttcher, Guido SpringerLink (Online service) Series: Springer Series on Touch and Haptic Systems Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	38.	Research and Education in Robotics - EUROBOT 2010 [electronic resource] : International Conference, Rapperswil-Jona, Switzerland, May 27-30, 2010, Revised Selected Papers / edited by David Obdržálek, Achim Gottscheber. by Obdržálek, David Gottscheber, Achim SpringerLink (Online service) Series: Communications in Computer and Information Science ; 156 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	39.	Analysis for Computer Scientists [electronic resource] : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann. by Oberguggenberger, Michael Ostermann, Alexander SpringerLink (Online service) Series: Undergraduate Topics in Computer Science Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)
	40.	Advances in Nonlinear Speech Processing [electronic resource] : 5th International Conference on Nonlinear Speech Processing, NOLISP 2011, Las Palmas de Gran Canaria, Spain, November 7-9, 2011. Proceedings / edited by Carlos M. Travieso-González, Jesús B. Alonso-Hernández. by Travieso-González, Carlos M Alonso-Hernández, Jesús B SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 7015 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online access: Click here to access online Availability: No items available. Add to cart (remove)

First
Previous
1
2
3
4
5
6
7
8
9
10
Next
Last

KCAU Library,
KCA University ,
Thika Road Ruaraka
P. O. Box 56808 – 00200 Nairobi, Kenya

More Links

More Links

0
1
2
3
4
5
6

Powered by Koha