Your search returned 6201 results. Subscribe to this search

|
4641. Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday / edited by Maritta Heisel.

by Heisel, Maritta [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
4642. 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
4643. 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
4644. 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
4645. 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
4646. 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
4647. Agent and Multi-Agent Systems. Technologies and Applications [electronic resource] : 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings / edited by Gordan Jezic, Mario Kusek, Ngoc-Thanh Nguyen, Robert J. Howlett, Lakhmi C. Jain.

by Jezic, Gordan [editor.] | Kusek, Mario [editor.] | Nguyen, Ngoc-Thanh [editor.] | Howlett, Robert J [editor.] | Jain, Lakhmi C [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
4648. Intelligent Tutoring Systems [electronic resource] : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings / edited by Stefano A. Cerri, William J. Clancey, Giorgos Papadourakis, Kitty Panourgia.

by Cerri, Stefano A [editor.] | Clancey, William J [editor.] | Papadourakis, Giorgos [editor.] | Panourgia, Kitty [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
4649. Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems [electronic resource] : 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings / edited by Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga.

by Askoxylakis, Ioannis [editor.] | Pöhls, Henrich C [editor.] | Posegga, Joachim [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
4650. 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
4651. 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
4652. Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures / edited by Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio.

by Bernardo, Marco [editor.] | Cortellessa, Vittorio [editor.] | Pierantonio, Alfonso [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
4653. 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
4654. Persuasive Technology. Design for Health and Safety [electronic resource] : 7th International Conference, PERSUASIVE 2012, Linköping, Sweden, June 6-8, 2012. Proceedings / edited by Magnus Bang, Eva L. Ragnemalm.

by Bang, Magnus [editor.] | Ragnemalm, Eva 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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
4655. Data Integration in the Life Sciences [electronic resource] : 8th International Conference, DILS 2012, College Park, MD, USA, June 28-29, 2012. Proceedings / edited by Olivier Bodenreider, Bastien Rance.

by Bodenreider, Olivier [editor.] | Rance, Bastien [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
4656. ECOOP 2012 – Object-Oriented Programming [electronic resource] : 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings / edited by James Noble.

by Noble, James [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
4657. Product-Focused Software Process Improvement [electronic resource] : 13th International Conference, PROFES 2012, Madrid, Spain, June 13-15, 2012 Proceedings / edited by Oscar Dieste, Andreas Jedlitschka, Natalia Juristo.

by Dieste, Oscar [editor.] | Jedlitschka, Andreas [editor.] | Juristo, Natalia [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
4658. 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
4659. 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
4660. Advanced Information Systems Engineering [electronic resource] : 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings / edited by Jolita Ralyté, Xavier Franch, Sjaak Brinkkemper, Stanislaw Wrycza.

by Ralyté, Jolita [editor.] | Franch, Xavier [editor.] | Brinkkemper, Sjaak [editor.] | Wrycza, Stanislaw [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