Your search returned 6201 results. Subscribe to this search

|
4801. FM 2012: Formal Methods [electronic resource] : 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings / edited by Dimitra Giannakopoulou, Dominique Méry.

by Giannakopoulou, Dimitra [editor.] | Méry, Dominique [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4802. Coalgebraic Methods in Computer Science [electronic resource] : 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder.

by Pattinson, Dirk [editor.] | Schröder, Lutz [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4803. Text, Speech and Dialogue [electronic resource] : 15th International Conference, TSD 2012, Brno, Czech Republic, September 3-7, 2012. Proceedings / edited by Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala.

by Sojka, Petr [editor.] | Horák, Aleš [editor.] | Kopeček, Ivan [editor.] | Pala, Karel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4804. Haptic and Audio Interaction Design [electronic resource] : 7th International Conference, HAID 2012, Lund, Sweden, August 23-24, 2012. Proceedings / edited by Charlotte Magnusson, Delphine Szymczak, Stephen Brewster.

by Magnusson, Charlotte [editor.] | Szymczak, Delphine [editor.] | Brewster, Stephen [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4805. Communications and Multimedia Security [electronic resource] : 13th IFIP TC 6/TC 11 International Conference, CMS 2012, Canterbury, UK, September 3-5, 2012. Proceedings / edited by Bart Decker, David W. Chadwick.

by Decker, Bart [editor.] | Chadwick, David W [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4806. Information and Communication Technologies [electronic resource] : 18th EUNICE/ IFIP WG 6.2, 6.6 International Conference, EUNICE 2012, Budapest, Hungary, August 29-31, 2012. Proceedings / edited by Róbert Szabó, Attila Vidács.

by Szabó, Róbert [editor.] | Vidács, Attila [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4807. Euro-Par 2012 Parallel Processing [electronic resource] : 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings / edited by Christos Kaklamanis, Theodore Papatheodorou, Paul G. Spirakis.

by Kaklamanis, Christos [editor.] | Papatheodorou, Theodore [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4808. Secure Data Management [electronic resource] : 9th VLDB Workshop, SDM 2012, Istanbul, Turkey, August 27, 2012. Proceedings / edited by Willem Jonker, Milan Petković.

by Jonker, Willem [editor.] | Petković, Milan [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4809. Business Process Management [electronic resource] : 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings / edited by Alistair Barros, Avigdor Gal, Ekkart Kindler.

by Barros, Alistair [editor.] | Gal, Avigdor [editor.] | Kindler, Ekkart [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4810. Unconventional Computation and Natural Computation [electronic resource] : 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings / edited by Jérôme Durand-Lose, Nataša Jonoska.

by Durand-Lose, Jérôme [editor.] | Jonoska, Nataša [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4811. Computational Logic in Multi-Agent Systems [electronic resource] : 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings / edited by Michael Fisher, Leon Torre, Mehdi Dastani, Guido Governatori.

by Fisher, Michael [editor.] | Torre, Leon [editor.] | Dastani, Mehdi [editor.] | Governatori, Guido [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4812. Datalog in Academia and Industry [electronic resource] : Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings / edited by Pablo Barceló, Reinhard Pichler.

by Barceló, Pablo [editor.] | Pichler, Reinhard [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4813. Security and Cryptography for Networks [electronic resource] : 8th International Conference, SCN 2012, Amalfi, Italy, September 5-7, 2012. Proceedings / edited by Ivan Visconti, Roberto Prisco.

by Visconti, Ivan [editor.] | Prisco, Roberto [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4814. Parallel Problem Solving from Nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part I / edited by Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone.

by Coello, Carlos A. Coello [editor.] | Cutello, Vincenzo [editor.] | Deb, Kalyanmoy [editor.] | Forrest, Stephanie [editor.] | Nicosia, Giuseppe [editor.] | Pavone, Mario [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4815. CONCUR 2012 – Concurrency Theory [electronic resource] : 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings / edited by Maciej Koutny, Irek Ulidowski.

by Koutny, Maciej [editor.] | Ulidowski, Irek [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4816. Theoretical Aspects of Computing – ICTAC 2012 [electronic resource] : 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings / edited by Abhik Roychoudhury, Meenakshi D’Souza.

by Roychoudhury, Abhik [editor.] | D’Souza, Meenakshi [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4817. Financial Cryptography and Data Security [electronic resource] : 16th International Conference, FC 2012, Kralendijk, Bonaire, Februray 27-March 2, 2012, Revised Selected Papers / edited by Angelos D. Keromytis.

by Keromytis, Angelos D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4818. Parallel Problem Solving from Nature - PPSN XII [electronic resource] : 12th International Conference, Taormina, Italy, September 1-5, 2012, Proceedings, Part II / edited by Carlos A. Coello Coello, Vincenzo Cutello, Kalyanmoy Deb, Stephanie Forrest, Giuseppe Nicosia, Mario Pavone.

by Coello, Carlos A. Coello [editor.] | Cutello, Vincenzo [editor.] | Deb, Kalyanmoy [editor.] | Forrest, Stephanie [editor.] | Nicosia, Giuseppe [editor.] | Pavone, Mario [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4819. Computer Algebra in Scientific Computing [electronic resource] : 14th International Workshop, CASC 2012, Maribor, Slovenia, September 3-6, 2012. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Ernst W. Mayr, Evgenii V. Vorozhtsov.

by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Mayr, Ernst W [editor.] | Vorozhtsov, Evgenii V [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4820. Case-Based Reasoning Research and Development [electronic resource] : 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings / edited by Belén Díaz Agudo, Ian Watson.

by Agudo, Belén Díaz [editor.] | Watson, Ian [editor.] | SpringerLink (Online service).

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