Your search returned 40652 results. Subscribe to this search

|
32061. Security Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers / edited by Bruce Christianson, James Malcolm, Frank Stajano, Jonathan Anderson.

by Christianson, Bruce [editor.] | Malcolm, James [editor.] | Stajano, Frank [editor.] | Anderson, Jonathan [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
32062. AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers / edited by Monica Palmirani, Ugo Pagallo, Pompeu Casanovas, Giovanni Sartor.

by Palmirani, Monica [editor.] | Pagallo, Ugo [editor.] | Casanovas, Pompeu [editor.] | Sartor, Giovanni [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
32063. Focused Retrieval of Content and Structure [electronic resource] : 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbrücken, Germany, December 12-14, 2011, Revised Selected Papers / edited by Shlomo Geva, Jaap Kamps, Ralf Schenkel.

by Geva, Shlomo [editor.] | Kamps, Jaap [editor.] | Schenkel, 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 : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
32064. Trends and Topics in Computer Vision [electronic resource] : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part II / edited by Kiriakos N. Kutulakos.

by Kutulakos, Kiriakos N [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
32065. Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers / edited by Farhad Arbab, Peter Csaba Ölveczky.

by Arbab, Farhad [editor.] | Ölveczky, Peter Csaba [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
32066. Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.

by Meyer, Bertrand [editor.] | Nordio, Martin [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
32067. Trends and Topics in Computer Vision [electronic resource] : ECCV 2010 Workshops, Heraklion, Crete, Greece, September 10-11, 2010, Revised Selected Papers, Part I / edited by Kiriakos N. Kutulakos.

by Kutulakos, Kiriakos N [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
32068. E-Business and Telecommunications [electronic resource] : International Joint Conference, ICETE 2011, Seville, Spain, July 18-21, 2011, Revised Selected Papers / edited by Mohammad S. Obaidat, José L. Sevillano, Joaquim Filipe.

by Obaidat, Mohammad S [editor.] | Sevillano, José L [editor.] | Filipe, Joaquim [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
32069. Product Lifecycle Management. Towards Knowledge-Rich Enterprises [electronic resource] : IFIP WG 5.1 International Conference, PLM 2012, Montreal, QC, Canada, July 9-11, 2012, Revised Selected Papers / edited by Louis Rivest, Abdelaziz Bouras, Borhen Louhichi.

by Rivest, Louis [editor.] | Bouras, Abdelaziz [editor.] | Louhichi, Borhen [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
32070. Critical Infrastructure Protection VI [electronic resource] : 6th IFIP WG 11.10 International Conference, ICCIP 2012, Washington, DC, USA, March 19-21, 2012, Revised Selected Papers / edited by Jonathan Butts, Sujeet Shenoi.

by Butts, Jonathan [editor.] | Shenoi, Sujeet [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
32071. Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers / edited by S. Arumugam, W. F. Smyth.

by Arumugam, S [editor.] | Smyth, W. F [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
32072. Secure ICT Service Provisioning for Cloud, Mobile and Beyond [electronic resource] : A Workable Architectural Approach Balancing Between Buyers and Providers / by Eberhard Faber, Wolfgang Behnsen.

by Faber, Eberhard [author.] | Behnsen, Wolfgang [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012Online access: Click here to access online Availability: No items available
32073. ISSE 2012 Securing Electronic Business Processes [electronic resource] : Highlights of the Information Security Solutions Europe 2012 Conference / edited by Helmut Reimer, Norbert Pohlmann, Wolfgang Schneider.

by Reimer, Helmut [editor.] | Pohlmann, Norbert [editor.] | Schneider, Wolfgang [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012Online access: Click here to access online Availability: No items available
32074. SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation / by H. Gregor Molter.

by Molter, H. Gregor [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012Online access: Click here to access online Availability: No items available
32075. Energy, Environment and Sustainable Development [electronic resource] / edited by Mohammad Aslam Uqaili, Khanji Harijan.

by Uqaili, Mohammad Aslam [editor.] | Harijan, Khanji [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna, 2012Online access: Click here to access online Availability: No items available
32076. Plants in Alpine Regions [electronic resource] : Cell Physiology of Adaption and Survival Strategies / edited by Cornelius Lütz.

by Lütz, Cornelius [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna, 2012Online access: Click here to access online Availability: No items available
32077. Field-Flow Fractionation in Biopolymer Analysis [electronic resource] / edited by S. Kim R. Williams, Karin D. Caldwell.

by Williams, S. Kim R [editor.] | Caldwell, Karin D [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna, 2012Online access: Click here to access online Availability: No items available
32078. Regulatory RNAs in Prokaryotes [electronic resource] / by Wolfgang R. Hess, Anita Marchfelder.

by Hess, Wolfgang R [author.] | Marchfelder, Anita [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
32079. Handbook of Burns [electronic resource] : Reconstruction and Rehabilitation Volume 2 / edited by Lars-Peter Kamolz, Marc G. Jeschke, Raymund E. Horch, Markus Küntscher, Pavel Brychta.

by Kamolz, Lars-Peter [editor.] | Jeschke, Marc G [editor.] | Horch, Raymund E [editor.] | Küntscher, Markus [editor.] | Brychta, Pavel [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Vienna : Springer Vienna : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
32080. Inflammation and Atherosclerosis [electronic resource] / edited by Georg Wick, Cecilia Grundtman.

by Wick, Georg [editor.] | Grundtman, Cecilia [editor.] | SpringerLink (Online service).

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