Your search returned 3370 results. Subscribe to this search

|
1701. Practical Aspects of Declarative Languages [electronic resource] : 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings / edited by Ricardo Rocha, John Launchbury.

by Rocha, Ricardo | Launchbury, John | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1702. SOFSEM 2011: Theory and Practice of Computer Science [electronic resource] : 37th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 22-28, 2011. Proceedings / edited by Ivana Černá, Tibor Gyimóthy, Juraj Hromkovič, Keith Jefferey, Rastislav Králović, Marko Vukolić, Stefan Wolf.

by Černá, Ivana | Gyimóthy, Tibor | Hromkovič, Juraj | Jefferey, Keith | Králović, Rastislav | Vukolić, Marko | Wolf, Stefan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1703. Knowledge Discovery, Knowlege Engineering and Knowledge Management [electronic resource] : First International Joint Conference, IC3K 2009, Funchal, Madeira, Portugal, October 6-8, 2009, Revised Selected Papers / edited by Ana Fred, Jan L. G. Dietz, Kecheng Liu, Joaquim Filipe.

by Fred, Ana | Dietz, Jan L. G | Liu, Kecheng | Filipe, Joaquim | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1704. Agile Business Rule Development [electronic resource] : Process, Architecture, and JRules Examples / by Jérôme Boyer, Hafedh Mili.

by Boyer, Jérôme | Mili, Hafedh | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1705. Distributed Computing and Internet Technology [electronic resource] : 7th International Conference, ICDCIT 2011, Bhubaneshwar, India, February 9-12, 2011. Proceedings / edited by Raja Natarajan, Adegboyega Ojo.

by Natarajan, Raja | Ojo, Adegboyega | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1706. Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings / edited by Úlfar Erlingsson, Roel Wieringa, Nicola Zannone.

by Erlingsson, Úlfar | Wieringa, Roel | Zannone, Nicola | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1707. Architecture of Computing Systems - ARCS 2011 [electronic resource] : 24th International Conference, Como, Italy, February 24-25, 2011. Proceedings / edited by Mladen Berekovic, William Fornaciari, Uwe Brinkschulte, Cristina Silvano.

by Berekovic, Mladen | Fornaciari, William | Brinkschulte, Uwe | Silvano, Cristina | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1708. Self-Organizing Systems [electronic resource] : 5th International Workshop, IWSOS 2011, Karlsruhe, Germany, February 23-24. 2011. Proceedings / edited by Christian Bettstetter, Carlos Gershenson.

by Bettstetter, Christian | Gershenson, Carlos | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1709. Technological Innovation for Sustainability [electronic resource] : Second IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings / edited by Luis M. Camarinha-Matos.

by Camarinha-Matos, Luis 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, 2011Online access: Click here to access online Availability: No items available
1710. Essential Software Architecture [electronic resource] / by Ian Gorton.

by Gorton, Ian | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1711. Wireless Sensor Networks [electronic resource] : 8th European Conference, EWSN 2011, Bonn, Germany, February 23-25, 2011. Proceedings / edited by Pedro José Marrón, Kamin Whitehouse.

by Marrón, Pedro José | Whitehouse, Kamin | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1712. Semantic Web Services [electronic resource] / by Dieter Fensel, Federico Michele Facca, Elena Simperl, Ioan Toma.

by Fensel, Dieter | Facca, Federico Michele | Simperl, Elena | Toma, Ioan | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1713. Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers / edited by Marie-Pierre Gleizes, Jorge J. Gomez-Sanz.

by Gleizes, Marie-Pierre | Gomez-Sanz, Jorge J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1714. Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers / edited by Kedar Namjoshi, Andreas Zeller, Avi Ziv.

by Namjoshi, Kedar | Zeller, Andreas | Ziv, Avi | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1715. Passive and Active Measurement [electronic resource] : 12th International Conference, PAM 2011, Atlanta, GA, USA, March 20-22, 2011. Proceedings / edited by Neil Spring, George F. Riley.

by Spring, Neil | Riley, George F | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1716. High Performance Computing for Computational Science – VECPAR 2010 [electronic resource] : 9th International conference, Berkeley, CA, USA, June 22-25, 2010, Revised Selected Papers / edited by José M. Laginha M. Palma, Michel Daydé, Osni Marques, João Correia Lopes.

by Palma, José M. Laginha M | Daydé, Michel | Marques, Osni | Lopes, João Correia | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1717. Process Mining [electronic resource] : Discovery, Conformance and Enhancement of Business Processes / by Wil M. P. van der Aalst.

by van der 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, 2011Online access: Click here to access online Availability: No items available
1718. Human-Robot Personal Relationships [electronic resource] : Third International Conference, HRPR 2010, Leiden, The Netherlands, June 23-24, 2010, Revised Selected Papers / edited by Maarten H. Lamers, Fons J. Verbeek.

by Lamers, Maarten H | Verbeek, Fons J | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1719. Service-Oriented Computing [electronic resource] : ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG, San Francisco, CA, USA, December 7-10, 2010, Revised Selected Papers / edited by E. Michael Maximilien, Gustavo Rossi, Soe-Tsyr Yuan, Heiko Ludwig, Marcelo Fantinato.

by Maximilien, E. Michael | Rossi, Gustavo | Yuan, Soe-Tsyr | Ludwig, Heiko | Fantinato, Marcelo | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
1720. Transactions on Pattern Languages of Programming II [electronic resource] : Special Issue on Applying Patterns / edited by James Noble, Ralph Johnson, Paris Avgeriou, Neil B. Harrison, Uwe Zdun.

by Noble, James | Johnson, Ralph | Avgeriou, Paris | Harrison, Neil B | Zdun, Uwe | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online 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