Your search returned 3594 results. Subscribe to this search

|
2561. Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne.

by Derrick, John [editor.] | Gnesi, Stefania [editor.] | Latella, Diego [editor.] | Treharne, Helen [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, 2012Online access: Click here to access online Availability: No items available
2562. Advances in Grid and Pervasive Computing [electronic resource] : 7th International Conference, GPC 2012, Hong Kong, China, May 11-13, 2012. Proceedings / edited by Ruixuan Li, Jiannong Cao, Julien Bourgeois.

by Li, Ruixuan [editor.] | Cao, Jiannong [editor.] | Bourgeois, Julien [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, 2012Online access: Click here to access online Availability: No items available
2563. Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 19th International Conference, ASMTA 2012, Grenoble, France, June 4-6, 2012. Proceedings / edited by Khalid Al-Begain, Dieter Fiems, Jean-Marc Vincent.

by Al-Begain, Khalid [editor.] | Fiems, Dieter [editor.] | Vincent, Jean-Marc [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, 2012Online access: Click here to access online Availability: No items available
2564. Experimental Algorithms [electronic resource] : 11th International Symposium, SEA 2012, Bordeaux, France, June 7-9, 2012. Proceedings / edited by Ralf Klasing.

by Klasing, Ralf [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, 2012Online access: Click here to access online Availability: No items available
2565. How the World Computes [electronic resource] : Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings / edited by S. Barry Cooper, Anuj Dawar, Benedikt Löwe.

by Cooper, S. Barry [editor.] | Dawar, Anuj [editor.] | Löwe, Benedikt [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, 2012Online access: Click here to access online Availability: No items available
2566. Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.

by Derrick, John [editor.] | Fitzgerald, John [editor.] | Gnesi, Stefania [editor.] | Khurshid, Sarfraz [editor.] | Leuschel, Michael [editor.] | Reeves, Steve [editor.] | Riccobene, Elvinia [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, 2012Online access: Click here to access online Availability: No items available
2567. The Multivariate Algorithmic Revolution and Beyond [electronic resource] : Essays Dedicated to Michael R. Fellows on the Occasion of His 60th Birthday / edited by Hans L. Bodlaender, Rod Downey, Fedor V. Fomin, Dániel Marx.

by Bodlaender, Hans L [editor.] | Downey, Rod [editor.] | Fomin, Fedor V [editor.] | Marx, Dániel [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, 2012Online access: Click here to access online Availability: No items available
2568. Trust and Trustworthy Computing [electronic resource] : 5th International Conference, TRUST 2012, Vienna, Austria, June 13-15, 2012. Proceedings / edited by Stefan Katzenbeisser, Edgar Weippl, L. Jean Camp, Melanie Volkamer, Mike Reiter, Xinwen Zhang.

by Katzenbeisser, Stefan [editor.] | Weippl, Edgar [editor.] | Camp, L. Jean [editor.] | Volkamer, Melanie [editor.] | Reiter, Mike [editor.] | Zhang, Xinwen [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, 2012Online access: Click here to access online Availability: No items available
2569. OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings / edited by Barbara M. Chapman, Federico Massaioli, Matthias S. Müller, Marco Rorro.

by Chapman, Barbara M [editor.] | Massaioli, Federico [editor.] | Müller, Matthias S [editor.] | Rorro, Marco [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, 2012Online access: Click here to access online Availability: No items available
2570. Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers / edited by Alessandro Puiatti, Tao Gu.

by Puiatti, Alessandro [editor.] | Gu, Tao [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, 2012Online access: Click here to access online Availability: No items available
2571. Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part I / edited by Ying Tan, Yuhui Shi, Zhen Ji.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Ji, Zhen [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, 2012Online access: Click here to access online Availability: No items available
2572. Advances in Swarm Intelligence [electronic resource] : Third International Conference, ICSI 2012, Shenzhen, China, June 17-20, 2012 Proceedings, Part II / edited by Ying Tan, Yuhui Shi, Zhen Ji.

by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Ji, Zhen [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, 2012Online access: Click here to access online Availability: No items available
2573. Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part II / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan.

by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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, 2012Online access: Click here to access online Availability: No items available
2574. Advanced Research in Applied Artificial Intelligence [electronic resource] : 25th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2012, Dalian, China, June 9-12, 2012. Proceedings / edited by He Jiang, Wei Ding, Moonis Ali, Xindong Wu.

by Jiang, He [editor.] | Ding, Wei [editor.] | Ali, Moonis [editor.] | Wu, Xindong [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, 2012Online access: Click here to access online Availability: No items available
2575. Structural Information and Communication Complexity [electronic resource] : 19th International Colloquium, SIROCCO 2012, Reykjavik, Iceland, June 30-July 2, 2012, Revised Selected Papers / edited by Guy Even, Magnús M. Halldórsson.

by Even, Guy [editor.] | Halldórsson, Magnús M [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, 2012Online access: Click here to access online Availability: No items available
2576. Mathematics of Program Construction [electronic resource] : 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings / edited by Jeremy Gibbons, Pablo Nogueira.

by Gibbons, Jeremy [editor.] | Nogueira, Pablo [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, 2012Online access: Click here to access online Availability: No items available
2577. Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part I / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan.

by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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, 2012Online access: Click here to access online Availability: No items available
2578. Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part IV / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan.

by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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, 2012Online access: Click here to access online Availability: No items available
2579. Computational Science and Its Applications – ICCSA 2012 [electronic resource] : 12th International Conference, Salvador de Bahia, Brazil, June 18-21, 2012, Proceedings, Part III / edited by Beniamino Murgante, Osvaldo Gervasi, Sanjay Misra, Nadia Nedjah, Ana Maria A. C. Rocha, David Taniar, Bernady O. Apduhan.

by Murgante, Beniamino [editor.] | Gervasi, Osvaldo [editor.] | Misra, Sanjay [editor.] | Nedjah, Nadia [editor.] | Rocha, Ana Maria A. C [editor.] | Taniar, David [editor.] | Apduhan, Bernady O [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, 2012Online access: Click here to access online Availability: No items available
2580. Pattern Recognition [electronic resource] : 4th Mexican Conference, MCPR 2012, Huatulco, Mexico, June 27-30, 2012. Proceedings / edited by Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera López, Kim L. Boyer.

by Carrasco-Ochoa, Jesús Ariel [editor.] | Martínez-Trinidad, José Francisco [editor.] | Olvera López, José Arturo [editor.] | Boyer, Kim L [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, 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