Your search returned 6201 results. Subscribe to this search

|
3481. Structural Information and Communication Complexity [electronic resource] : 18th International Colloquium, SIROCCO 2011, Gdańsk, Poland, June 26-29, 2011. Proceedings / edited by Adrian Kosowski, Masafumi Yamashita.

by Kosowski, Adrian | Yamashita, Masafumi | 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
3482. Artificial Intelligence in Medicine [electronic resource] : 13th Conference on Artificial Intelligence in Medicine, AIME 2011, Bled, Slovenia, July 2-6, 2011. Proceedings / edited by Mor Peleg, Nada Lavrač, Carlo Combi.

by Peleg, Mor | Lavrač, Nada | Combi, Carlo | 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
3483. Logical Aspects of Computational Linguistics [electronic resource] : 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings / edited by Sylvain Pogodalla, Jean-Philippe Prost.

by Pogodalla, Sylvain | Prost, Jean-Philippe | 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
3484. Web Engineering [electronic resource] : 11th International Conference, ICWE 2011, Paphos, Cyprus, June 20-24, 2011 / edited by Sören Auer, Oscar Díaz, George A. Papadopoulos.

by Auer, Sören | Díaz, Oscar | Papadopoulos, George A | 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
3485. Implementation and Application of Automata [electronic resource] : 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings / edited by Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel.

by Bouchou-Markhoff, Béatrice | Caron, Pascal | Champarnaud, Jean-Marc | Maurel, Denis | 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
3486. Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings / edited by Simone Fischer-Hübner, Nicholas Hopper.

by Fischer-Hübner, Simone | Hopper, Nicholas | 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
3487. Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings / edited by Frank Dehne, John Iacono, Jörg-Rüdiger Sack.

by Dehne, Frank | Iacono, John | Sack, Jörg-Rüdiger | 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
3488. Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers / edited by Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada.

by Bezhanishvili, Nick | Löbner, Sebastian | Schwabe, Kerstin | Spada, Luca | 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
3489. Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings / edited by Alex Groce, Madanlal Musuvathi.

by Groce, Alex | Musuvathi, Madanlal | 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
3490. Developments in Language Theory [electronic resource] : 15th International Conference, DLT 2011, Milan, Italy, July 19-22, 2011. Proceedings / edited by Giancarlo Mauri, Alberto Leporati.

by Mauri, Giancarlo | Leporati, Alberto | 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
3491. Natural Language Processing and Information Systems [electronic resource] : 16th International Conference on Applications of Natural Language to Information Systems, NLDB 2011, Alicante, Spain, June 28-30, 2011. Proceedings / edited by Rafael Muñoz, Andrés Montoyo, Elisabeth Métais.

by Muñoz, Rafael | Montoyo, Andrés | Métais, Elisabeth | 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
3492. Transactions on Computational Science XII [electronic resource] : Special Issue on Cyberworlds / edited by Marina L. Gavrilova, C. J. Kenneth Tan, Alexei Sourin, Olga Sourina.

by Gavrilova, Marina L | Tan, C. J. Kenneth | Sourin, Alexei | Sourina, Olga | 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
3493. Data and Applications Security and Privacy XXV [electronic resource] : 25th Annual IFIP WG 11.3 Conference, DBSec 2011, Richmond, VA, USA, July 11-13, 2011. Proceedings / edited by Yingjiu Li.

by Li, Yingjiu | 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
3494. Scientific and Statistical Database Management [electronic resource] : 23rd International Conference, SSDBM 2011, Portland, OR, USA, July 20-22, 2011. Proceedings / edited by Judith Bayard Cushing, James French, Shawn Bowers.

by Bayard Cushing, Judith | French, James | Bowers, Shawn | 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
3495. Computational Logic in Multi-Agent Systems [electronic resource] : 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings / edited by João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon Torre.

by Leite, João | Torroni, Paolo | Ågotnes, Thomas | Boella, Guido | Torre, Leon | 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
3496. User Modeling, Adaption and Personalization [electronic resource] : 19th International Conference, UMAP 2011, Girona, Spain, July 11-15, 2011. Proceedings / edited by Joseph A. Konstan, Ricardo Conejo, José L. Marzo, Nuria Oliver.

by Konstan, Joseph A | Conejo, Ricardo | Marzo, José L | Oliver, Nuria | 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
3497. Artificial Immune Systems [electronic resource] : 10th International Conference, ICARIS 2011, Cambridge, UK, July 18-21, 2011. Proceedings / edited by Pietro Liò, Giuseppe Nicosia, Thomas Stibor.

by Liò, Pietro | Nicosia, Giuseppe | Stibor, Thomas | 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
3498. Software Engineering Techniques [electronic resource] : Third IFIP TC 2 Central and East European Conference, CEE-SET 2008, Brno, Czech Republic, October 13-15, 2008, Revised Selected Papers / edited by Zbigniew Huzar, Radek Koci, Bertrand Meyer, Bartosz Walter, Jaroslav Zendulka.

by Huzar, Zbigniew | Koci, Radek | Meyer, Bertrand | Walter, Bartosz | Zendulka, Jaroslav | 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
3499. Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 8th International Conference; DIMVA 2011, Amsterdam, The Netherlands, July 7-8, 2011. Proceedings / edited by Thorsten Holz, Herbert Bos.

by Holz, Thorsten | Bos, Herbert | 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
3500. Collaborative Agents - Research and Development [electronic resource] : International Workshops, CARE@AI09 2009 / CARE@IAT10 2010, Melbourne Australia, December 1, 2009 and Toronto Canada, August 31, 2010, Revised Selected Papers / edited by Christian Guttmann, Frank Dignum, Michael Georgeff.

by Guttmann, Christian | Dignum, Frank | Georgeff, Michael | 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