Results of search for 'ccl=su:{Science.}' › Martin Oduor-Otieno Library catalog

Results
	361.	Advances in Computing and Communications [electronic resource] : First International Conference, ACC 2011, Kochi, India, July 22-24, 2011. Proceedings, Part I / edited by Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi. by Abraham, Ajith Lloret Mauri, Jaime Buford, John F Suzuki, Junichi Thampi, Sabu M SpringerLink (Online service) Series: Communications in Computer and Information Science ; 190 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	362.	Control, Computation and Information Systems [electronic resource] : First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings / edited by P. Balasubramaniam. by Balasubramaniam, P SpringerLink (Online service) Series: Communications in Computer and Information Science ; 140 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	363.	Theory and Applications of Satisfiability Testing - SAT 2011 [electronic resource] : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings / edited by Karem A. Sakallah, Laurent Simon. by Sakallah, Karem A Simon, Laurent SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6695 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	364.	Conditionals and Modularity in General Logics [electronic resource] / by Dov M. Gabbay, Karl Schlechta. by Gabbay, Dov M Schlechta, Karl SpringerLink (Online service) Series: Cognitive Technologies Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	365.	Transactions on Computational Science XII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina. by Gavrilova, Marina L Tan, C. J. Kenneth Sourin, Alexei Sourina, Olga SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6670 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	366.	Computing and Intelligent Systems [electronic resource] : International Conference, ICCIC 2011, Wuhan, China, September 17-18, 2011, Proceedings, Part III / edited by Yanwen Wu. by Wu, Yanwen SpringerLink (Online service) Series: Communications in Computer and Information Science ; 233 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	367.	Computational Logic and Set Theory [electronic resource] : Applying Formalized Logic to Analysis / by Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo. by Schwartz, Jacob T Cantone, Domenico Omodeo, Eugenio G SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: London : Springer-Verlag London Limited, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	368.	Evolving Transportation Networks [electronic resource] / by Feng Xie, David M. Levinson. by Xie, Feng Levinson, David M SpringerLink (Online service) Series: Transportation Research, Economics and Policy ; 1 Material type: Computer file; Format: electronic available online Publication details: New York, NY : Springer Science+Business Media, LLC, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	369.	Knowledge in Formation [electronic resource] : A Computational Theory of Interpretation / by Janos J. Sarbo, Jozsef I. Farkas, Auke J.J. Breemen. by Sarbo, Janos J Farkas, Jozsef I Breemen, Auke J.J SpringerLink (Online service) Series: Cognitive Technologies Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	370.	Brain Informatics [electronic resource] : International Conference, BI 2011, Lanzhou, China, September 7-9, 2011. Proceedings / edited by Bin Hu, Jiming Liu, Lin Chen, Ning Zhong. by Hu, Bin Liu, Jiming Chen, Lin Zhong, Ning SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6889 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	371.	Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings / edited by Ranjit Jhala, David Schmidt. by Jhala, Ranjit Schmidt, David SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6538 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	372.	Advances in Computing and Communications [electronic resource] : First International Conference, ACC 2011, Kochi, India, July 22-24, 2011, Proceedings, Part IV / edited by Ajith Abraham, Jaime Lloret Mauri, John F. Buford, Junichi Suzuki, Sabu M. Thampi. by Abraham, Ajith Mauri, Jaime Lloret Buford, John F Suzuki, Junichi Thampi, Sabu M SpringerLink (Online service) Series: Communications in Computer and Information Science ; 193 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	373.	Pro Spring Integration [electronic resource] / by Mark Lui, Mario Gray, Andy Chan, Josh Long. by Lui, Mark Gray, Mario Chan, Andy Long, Josh SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Berkeley, CA : Apress, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	374.	Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 5th KES International Conference, KES-AMSTA 2011, Manchester, UK, June 29 – July 1, 2011. Proceedings / edited by James O’Shea, Ngoc Thanh Nguyen, Keeley Crockett, Robert J. Howlett, Lakhmi C. Jain. by O’Shea, James Nguyen, Ngoc Thanh Crockett, Keeley Howlett, Robert J Jain, Lakhmi C SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6682 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	375.	Mobile Technologies for Conflict Management [electronic resource] : Online Dispute Resolution, Governance, Participation / edited by Marta Poblet. by Poblet, Marta SpringerLink (Online service) Series: Law, Governance and Technology Series ; 2 Material type: Computer file; Format: electronic available online Publication details: Dordrecht : Springer Science+Business Media B.V., 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	376.	Adaptation and Value Creating Collaborative Networks [electronic resource] : 12th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2011, São Paulo, Brazil, October 17-19, 2011. Proceedings / edited by Luis M. Camarinha-Matos, Alexandra Pereira-Klen, Hamideh Afsarmanesh. by Camarinha-Matos, Luis M Pereira-Klen, Alexandra Afsarmanesh, Hamideh SpringerLink (Online service) Series: IFIP Advances in Information and Communication Technology ; 362 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : IFIP International Federation for Information Processing, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	377.	Transport Systems Telematics [electronic resource] : 10th Conference, TST 2010, Katowice – Ustroń, Poland, October 20-23, 2010. Selected Papers / edited by Jerzy Mikulski. by Mikulski, Jerzy SpringerLink (Online service) Series: Communications in Computer and Information Science ; 104 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	378.	Information Security and Privacy [electronic resource] : 16th Australasian Conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011. Proceedings / edited by Udaya Parampalli, Philip Hawkes. by Parampalli, Udaya Hawkes, Philip SpringerLink (Online service) Series: Lecture Notes in Computer Science ; 6812 Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag GmbH Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	379.	Space Security Law [electronic resource] / by Ruwantissa Abeyratne. by Abeyratne, Ruwantissa SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)
	380.	UNIX Operating System [electronic resource] : The Development Tutorial via UNIX Kernel Services / by Yukun Liu, Yong Yue, Liwei Guo. by Liu, Yukun Yue, Yong Guo, Liwei SpringerLink (Online service) Material type: Computer file; Format: electronic available online Publication details: Berlin, Heidelberg : Higher Education Press, Beijing and Springer Berlin Heidelberg, 2011 In: Springer eBooks Online resources: Click here to access online Availability: No items available. Save to lists Add to cart (remove)

The KCAU Library

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 1840 results.

More Links

More Links