Your search returned 186 results. Subscribe to this search

|
81. Languages and Compilers for Parallel Computing [electronic resource] : 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers / edited by Vikram Adve, María Jesús Garzarán, Paul Petersen.

by Adve, Vikram | Garzarán, María Jesús | Petersen, Paul | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
82. Optical SuperComputing [electronic resource] : First International Workshop, OSC 2008, Vienna, Austria, August 26, 2008. Proceedings / edited by Shlomi Dolev, Tobias Haist, Mihai Oltean.

by Dolev, Shlomi | Haist, Tobias | Oltean, Mihai | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
83. Algorithmic Adventures [electronic resource] : From Knowledge to Magic / by Juraj Hromkovic.

by Hromkovic, Juraj | 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
84. Kalman Filtering [electronic resource] : with Real-Time Applications / by Charles K. Chui, Guanrong Chen.

by Chui, Charles K | Chen, Guanrong | SpringerLink (Online service).

Edition: 4.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
85. Transactions on Computational Systems Biology IX [electronic resource] / edited by Corrado Priami.

by Priami, Corrado | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
86. Languages and Compilers for Parallel Computing [electronic resource] : 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / edited by José Nelson Amaral.

by Amaral, José Nelson | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
87. Mathematical Methods in Computer Science [electronic resource] : Essays in Memory of Thomas Beth / edited by Jacques Calmet, Willi Geiselmann, Jörn Müller-Quade.

by Calmet, Jacques | Geiselmann, Willi | Müller-Quade, Jörn | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
88. Principles of Distributed Systems [electronic resource] : 12th International Conference, OPODIS 2008, Luxor, Egypt, December 15-18, 2008. Proceedings / edited by Theodore P. Baker, Alain Bui, Sébastien Tixeuil.

by Baker, Theodore P | Bui, Alain | Tixeuil, Sébastien | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
89. Logic and Its Applications [electronic resource] : Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings / edited by R. Ramanujam, Sundar Sarukkai.

by Ramanujam, R | Sarukkai, Sundar | 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
90. Argumentation in Multi-Agent Systems [electronic resource] : Fifth International Workshop, ArgMAS 2008, Estoril, Portugal, May 12, 2008. Revised Selected and Invited Papers / edited by Iyad Rahwan, Pavlos Moraitis.

by Rahwan, Iyad | Moraitis, Pavlos | 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
91. 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
92. Advances in Grid and Pervasive Computing [electronic resource] : 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings / edited by Nabil Abdennadher, Dana Petcu.

by Abdennadher, Nabil | Petcu, Dana | 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
93. Typed Lambda Calculi and Applications [electronic resource] : 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009. Proceedings / edited by Pierre-Louis Curien.

by Curien, Pierre-Louis | 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
94. Nano-Net [electronic resource] : Third International ICST Conference, NanoNet 2008, Boston, MA, USA, September 14-16, 2008, Revised Selected Papers / edited by Maggie Cheng.

by Cheng, Maggie | 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
95. Mathematical Theory and Computational Practice [electronic resource] : 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings / edited by Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle.

by Ambos-Spies, Klaus | Löwe, Benedikt | Merkle, Wolfgang | 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
96. Infinity in Logic and Computation [electronic resource] : International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers / edited by Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe.

by Archibald, Margaret | Brattka, Vasco | Goranko, Valentin | Löwe, Benedikt | 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
97. Data Management in Grid and Peer-to-Peer Systems [electronic resource] : Second International Conference, Globe 2009 Linz, Austria, September 1-2, 2009 Proceedings / edited by Abdelkader Hameurlain, A Min Tjoa.

by Hameurlain, Abdelkader | Tjoa, A Min | 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
98. Unconventional Computation [electronic resource] : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009. Proceedings / edited by Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.

by Calude, Cristian S | Costa, José Félix | Dershowitz, Nachum | Freire, Elisabete | Rozenberg, Grzegorz | 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
99. Scalable Uncertainty Management [electronic resource] : Third International Conference, SUM 2009, Washington, DC, USA, September 28-30, 2009. Proceedings / edited by Lluís Godo, Andrea Pugliese.

by Godo, Lluís | Pugliese, Andrea | 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
100. Computational Collective Intelligence. Semantic Web, Social Networks and Multiagent Systems [electronic resource] : First International Conference, ICCCI 2009, Wrocław, Poland, October 5-7, 2009. Proceedings / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Shyi-Ming Chen.

by Nguyen, Ngoc Thanh | Kowalczyk, Ryszard | Chen, Shyi-Ming | 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