Your search returned 5035 results. Subscribe to this search

|
1781. Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Oege Moor, Michael I. Schwartzbach.

by Moor, Oege | Schwartzbach, Michael I | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1782. Information Security and Cryptology – ICISC 2008 [electronic resource] : 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers / edited by Pil Joong Lee, Jung Hee Cheon.

by Lee, Pil Joong | Cheon, Jung Hee | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1783. Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by Stefan Kowalewski, Anna Philippou.

by Kowalewski, Stefan | Philippou, Anna | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1784. Emerging Trends in Visual Computing [electronic resource] : LIX Fall Colloquium, ETVC 2008, Palaiseau, France, November 18-20, 2008. Revised Invited Papers / edited by Frank Nielsen.

by Nielsen, Frank | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1785. Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings / edited by Wenjie Li, Diego Mollá-Aliod.

by Li, Wenjie | Mollá-Aliod, Diego | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1786. Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings / edited by Peter Bruza, Donald Sofge, William Lawless, Keith Rijsbergen, Matthias Klusch.

by Bruza, Peter | Sofge, Donald | Lawless, William | Rijsbergen, Keith | Klusch, Matthias | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1787. Proofs from THE BOOK [electronic resource] / by Martin Aigner, Günter M. Ziegler.

by Aigner, Martin | Ziegler, Günter M | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1788. Topics in Cryptology – CT-RSA 2009 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2009, San Francisco, CA, USA, April 20-24, 2009. Proceedings / edited by Marc Fischlin.

by Fischlin, Marc | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1789. Differential Equations - Geometry, Symmetries and Integrability [electronic resource] : The Abel Symposium 2008 / edited by Boris Kruglikov, Valentin Lychagin, Eldar Straume.

by Kruglikov, Boris | Lychagin, Valentin | Straume, Eldar | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1790. Transactions on Petri Nets and Other Models of Concurrency II [electronic resource] : Special Issue on Concurrency in Process-Aware Information Systems / edited by Kurt Jensen, Wil M. P. Aalst.

by Jensen, Kurt | Aalst, Wil M. P | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1791. Mechanics of Microstructured Solids [electronic resource] : Cellular Materials, Fibre Reinforced Solids and Soft Tissues / edited by J.-F. Ganghoffer, Franco Pastrone.

by Ganghoffer, J.-F | Pastrone, Franco | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1792. Advances in Cryptology - EUROCRYPT 2009 [electronic resource] : 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings / edited by Antoine Joux.

by Joux, Antoine | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1793. Transactions on Computational Science IV [electronic resource] : Special Issue on Security in Computing / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Edward David Moreno.

by Gavrilova, Marina L | Tan, C. J. Kenneth | Moreno, Edward David | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1794. Evolutionary Computation in Combinatorial Optimization [electronic resource] : 9th European Conference, EvoCOP 2009, Tübingen, Germany, April 15-17, 2009. Proceedings / edited by Carlos Cotta, Peter Cowling.

by Cotta, Carlos | Cowling, Peter | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1795. Evolutionary Multi-Criterion Optimization [electronic resource] : 5th International Conference, EMO 2009, Nantes, France, April 7-10, 2009. Proceedings / edited by Matthias Ehrgott, Carlos M. Fonseca, Xavier Gandibleux, Jin-Kao Hao, Marc Sevaux.

by Ehrgott, Matthias | Fonseca, Carlos M | Gandibleux, Xavier | Hao, Jin-Kao | Sevaux, Marc | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1796. Simula Research Laboratory [electronic resource] : by Thinking Constantly about it / edited by Aslak Tveito, Are Magnus Bruaset, Olav Lysne.

by Tveito, Aslak | Bruaset, Are Magnus | Lysne, Olav | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
1797. Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April 15-17, 2009 Proceedings / edited by Leonardo Vanneschi, Steven Gustafson, Alberto Moraglio, Ivanoe Falco, Marc Ebner.

by Vanneschi, Leonardo | Gustafson, Steven | Moraglio, Alberto | Falco, Ivanoe | Ebner, Marc | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1798. Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics [electronic resource] : 7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings / edited by Clara Pizzuti, Marylyn D. Ritchie, Mario Giacobini.

by Pizzuti, Clara | Ritchie, Marylyn D | Giacobini, Mario | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1799. Information Security and Cryptology [electronic resource] : 4th International Conference, Inscrypt 2008, Beijing, China, December 14-17, 2008, Revised Selected Papers / edited by Moti Yung, Peng Liu, Dongdai Lin.

by Yung, Moti | Liu, Peng | Lin, Dongdai | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
1800. Advances in Neural Networks – ISNN 2009 [electronic resource] : 6th International Symposium on Neural Networks, ISNN 2009 Wuhan, China, May 26-29, 2009 Proceedings, Part I / edited by Wen Yu, Haibo He, Nian Zhang.

by Yu, Wen | He, Haibo | Zhang, Nian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available

2017 | The Technical University of Kenya Library | +254(020) 2219929, 3341639, 3343672 | library@tukenya.ac.ke | Haile Selassie Avenue