Your search returned 4883 results. Subscribe to this search

|
1541. Web Services and Formal Methods [electronic resource] : 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings / edited by Marlon Dumas, Reiko Heckel.

by Dumas, Marlon | Heckel, Reiko | 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
1542. Passive and Active Network Measurement [electronic resource] : 9th International Conference, PAM 2008, Cleveland, OH, USA, April 29-30, 2008. Proceedings / edited by Mark Claypool, Steve Uhlig.

by Claypool, Mark | Uhlig, Steve | 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
1543. Topics in Cryptology – CT-RSA 2008 [electronic resource] : The Cryptographers’ Track at the RSA Conference 2008, San Francisco, CA, USA, April 8-11, 2008. Proceedings / edited by Tal Malkin.

by Malkin, Tal | 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
1544. Fundamentals of Resource Allocation in Wireless Networks [electronic resource] : Theory and Algorithms / by Slawomir Stanczak, Marcin Wiczanowski, Holger Boche.

by Stanczak, Slawomir | Wiczanowski, Marcin | Boche, 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, 2008Online access: Click here to access online Availability: No items available
1545. Semantic Grid: Model, Methodology, and Applications [electronic resource] / by Zhao-hui Wu, Hua-jun Chen.

by Wu, Zhao-hui | Chen, Hua-jun | 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
1546. Agent-Oriented Software Engineering VIII [electronic resource] : 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham.

by Luck, Michael | Padgham, Lin | 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
1547. Information Security and Cryptology [electronic resource] : Third SKLOIS Conference, Inscrypt 2007, Xining, China, August 31 - September 5, 2007, Revised Selected Papers / edited by Dingyi Pei, Moti Yung, Dongdai Lin, Chuankun Wu.

by Pei, Dingyi | Yung, Moti | Lin, Dongdai | Wu, Chuankun | 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
1548. NETWORKING 2008 Ad Hoc and Sensor Networks, Wireless Networks, Next Generation Internet [electronic resource] : 7th International IFIP-TC6 Networking Conference Singapore, May 5-9, 2008 Proceedings / edited by Amitabha Das, Hung Keng Pung, Francis Bu Sung Lee, Lawrence Wai Choong Wong.

by Das, Amitabha | Pung, Hung Keng | Lee, Francis Bu Sung | Wong, Lawrence Wai Choong | 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
1549. Pervasive Computing [electronic resource] : 6th International Conference, Pervasive 2008 Sydney, Australia, May 19-22, 2008 Proceedings / edited by Jadwiga Indulska, Donald J. Patterson, Tom Rodden, Max Ott.

by Indulska, Jadwiga | Patterson, Donald J | Rodden, Tom | Ott, Max | 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
1550. Smart Sensors and Sensing Technology [electronic resource] / edited by Subhas Chandra Mukhopadhyay, Gourab Sen Gupta.

by Mukhopadhyay, Subhas Chandra | Gupta, Gourab Sen | 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
1551. Computer Network Security [electronic resource] : Theory and Practice / by Jie Wang.

by Wang, Jie | 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
1552. Agents and Peer-to-Peer Computing [electronic resource] : 5th International Workshop, AP2PC 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers / edited by Sam Joseph, Zoran Despotovic, Gianluca Moro, Sonia Bergamaschi.

by Joseph, Sam | Despotovic, Zoran | Moro, Gianluca | Bergamaschi, Sonia | 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
1553. Information Security Theory and Practices. Smart Devices, Convergence and Next Generation Networks [electronic resource] : Second IFIP WG 11.2 International Workshop, WISTP 2008, Seville, Spain, May 13-16, 2008. Proceedings / edited by Jose A. Onieva, Damien Sauveron, Serge Chaumette, Dieter Gollmann, Konstantinos Markantonakis.

by Onieva, Jose A | Sauveron, Damien | Chaumette, Serge | Gollmann, Dieter | Markantonakis, Konstantinos | 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
1554. Service-Oriented Computing: Agents, Semantics, and Engineering [electronic resource] : AAMAS 2008 International Workshop, SOCASE 2008, Estoril, Portugal, May 12, 2008 Proceedings / edited by Ryszard Kowalczyk, Michael Huhns, Matthias Klusch, Zakaria Maamar, Quoc Bao Vo.

by Kowalczyk, Ryszard | Huhns, Michael | Klusch, Matthias | Maamar, Zakaria | Vo, Quoc Bao | 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
1555. Cellular Automata [electronic resource] : 8th International Conference on Cellular Aotomata for Reseach and Industry, ACRI 2008, Yokohama, Japan, September 23-26, 2008. Proceedings / edited by Hiroshi Umeo, Shin Morishita, Katsuhiro Nishinari, Toshihiko Komatsuzaki, Stefania Bandini.

by Umeo, Hiroshi | Morishita, Shin | Nishinari, Katsuhiro | Komatsuzaki, Toshihiko | Bandini, Stefania | 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
1556. GeoSensor Networks [electronic resource] : Second International Conference, GSN 2006, Boston, MA, USA, October 1-3, 2006, Revised Selected and Invited Papers / edited by Silvia Nittel, Alexandros Labrinidis, Anthony Stefanidis.

by Nittel, Silvia | Labrinidis, Alexandros | Stefanidis, Anthony | 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
1557. Storage Management in Data Centers [electronic resource] : Understanding, Exploiting, Tuning, and Troubleshooting Veritas Storage Foundation / by Albrecht Scriba, Volker Herminghaus.

by Scriba, Albrecht | Herminghaus, Volker | 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
1558. Engineering Environment-Mediated Multi-Agent Systems [electronic resource] : International Workshop, EEMMAS 2007, Dresden, Germany, October 5, 2007. Selected Revised and Invited Papers / edited by Danny Weyns, Sven A. Brueckner, Yves Demazeau.

by Weyns, Danny | Brueckner, Sven A | Demazeau, Yves | 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
1559. Cryptographic Hardware and Embedded Systems – CHES 2008 [electronic resource] : 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings / edited by Elisabeth Oswald, Pankaj Rohatgi.

by Oswald, Elisabeth | Rohatgi, Pankaj | 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
1560. Secure Transaction Protocol Analysis [electronic resource] : Models and Applications / by Qingfeng Chen, Chengqi Zhang, Shichao Zhang.

by Chen, Qingfeng | Zhang, Chengqi | Zhang, Shichao | 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

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