Your search returned 13655 results. Subscribe to this search

|
6221. Coordination Models and Languages [electronic resource] : 12th International Conference, COORDINATION 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by Dave Clarke, Gul Agha.

by Clarke, Dave | Agha, Gul | 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
6222. Intelligent Tutoring Systems [electronic resource] : 10th International Conference, ITS 2010, Pittsburgh, PA, USA, June 14-18, 2010, Proceedings, Part II / edited by Vincent Aleven, Judy Kay, Jack Mostow.

by Aleven, Vincent | Kay, Judy | Mostow, Jack | 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
6223. Trust Management IV [electronic resource] : 4th IFIP WG 11.11 International Conference, IFIPTM 2010, Morioka, Japan, June 16-18, 2010. Proceedings / edited by Masakatsu Nishigaki, Audun Jøsang, Yuko Murayama, Stephen Marsh.

by Nishigaki, Masakatsu | Jøsang, Audun | Murayama, Yuko | Marsh, Stephen | 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
6224. Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings / edited by John Hatcliff, Elena Zucca.

by Hatcliff, John | Zucca, Elena | 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
6225. Ubiquitous Computing and Multimedia Applications [electronic resource] : International Conference, UCMA 2010, Miyazaki, Japan, June 23-25, 2010. Proceedings / edited by G. S. Tomar, William I. Grosky, Tai-hoon Kim, Sabah Mohammed, Sanjoy Kumar Saha.

by Tomar, G. S | Grosky, William I | Kim, Tai-hoon | Mohammed, Sabah | Saha, Sanjoy Kumar | 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
6226. User Modeling, Adaptation, and Personalization [electronic resource] : 18th International Conference, UMAP 2010, Big Island, HI, USA, June 20-24, 2010. Proceedings / edited by Paul Bra, Alfred Kobsa, David Chin.

by Bra, Paul | Kobsa, Alfred | Chin, 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, 2010Online access: Click here to access online Availability: No items available
6227. Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I / edited by Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlet, Lakhmi C. Jain.

by Jędrzejowicz, Piotr | Nguyen, Ngoc Thanh | Howlet, Robert J | Jain, Lakhmi C | 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
6228. The Semantic Web: Research and Applications [electronic resource] : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 –June 3, 2010, Proceedings, Part I / edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache.

by Aroyo, Lora | Antoniou, Grigoris | Hyvönen, Eero | Teije, Annette | Stuckenschmidt, Heiner | Cabral, Liliana | Tudorache, Tania | 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
6229. The Semantic Web: Research and Applications [electronic resource] : 7th Extended Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 – June 3, 2010, Proceedings, Part II / edited by Lora Aroyo, Grigoris Antoniou, Eero Hyvönen, Annette Teije, Heiner Stuckenschmidt, Liliana Cabral, Tania Tudorache.

by Aroyo, Lora | Antoniou, Grigoris | Hyvönen, Eero | Teije, Annette | Stuckenschmidt, Heiner | Cabral, Liliana | Tudorache, Tania | 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
6230. Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Kay Chen Tan.

by Tan, Ying | Shi, Yuhui | Tan, Kay Chen | 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
6231. Advances in Swarm Intelligence [electronic resource] : First International Conference, ICSI 2010, Beijing, China, June 12-15, 2010, Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Kay Chen Tan.

by Tan, Ying | Shi, Yuhui | Tan, Kay Chen | 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
6232. Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010. Proceedings / edited by Amihood Amir, Laxmi Parida.

by Amir, Amihood | Parida, Laxmi | 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
6233. Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings / edited by Andrea Lodi, Michela Milano, Paolo Toth.

by Lodi, Andrea | Milano, Michela | Toth, Paolo | 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
6234. Unconventional Computation [electronic resource] : 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings / edited by Cristian S. Calude, Masami Hagiya, Kenichi Morita, Grzegorz Rozenberg, Jon Timmis.

by Calude, Cristian S | Hagiya, Masami | Morita, Kenichi | Rozenberg, Grzegorz | Timmis, Jon | 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
6235. Rough Sets and Current Trends in Computing [electronic resource] : 7th International Conference, RSCTC 2010, Warsaw, Poland, June 28-30,2010. Proceedings / edited by Marcin Szczuka, Marzena Kryszkiewicz, Sheela Ramanna, Richard Jensen, Qinghua Hu.

by Szczuka, Marcin | Kryszkiewicz, Marzena | Ramanna, Sheela | Jensen, Richard | Hu, Qinghua | 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
6236. Agent and Multi-Agent Systems: Technologies and Applications [electronic resource] : 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part II / edited by Piotr Jędrzejowicz, Ngoc Thanh Nguyen, Robert J. Howlet, Lakhmi C. Jain.

by Jędrzejowicz, Piotr | Nguyen, Ngoc Thanh | Howlet, Robert J | Jain, Lakhmi C | 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
6237. Smart Graphics [electronic resource] : 10th International Symposium on Smart Graphics, Banff, Canada, June 24-26, 2010 Proceedings / edited by Robyn Taylor, Pierre Boulanger, Antonio Krüger, Patrick Olivier.

by Taylor, Robyn | Boulanger, Pierre | Krüger, Antonio | Olivier, Patrick | 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
6238. Reliable Software Technologiey – Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings / edited by Jorge Real, Tullio Vardanega.

by Real, Jorge | Vardanega, Tullio | 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
6239. Multi-Agent-Based Simulation X [electronic resource] : International Workshop, MABS 2009, Budapest, Hungary, May 11-12, 2009 Revised Selected Papers / edited by Gennaro Tosto, H. Dyke Parunak.

by Tosto, Gennaro | Dyke Parunak, H | 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
6240. Architecting Critical Systems [electronic resource] : First International Symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 Proceedings / edited by Holger Giese.

by Giese, Holger | 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

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