|
351.
|
|
|
352.
|
Theorem Proving in Higher Order Logics Электронный ресурс 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings / edited by Klaus Schneider, Jens Brandt. by Schneider, Klaus | Brandt, Jens | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
353.
|
|
|
354.
|
Evoked Spinal Cord Potentials Электронный ресурс An Illustrated Guide to Physiology, Pharmacology, and Recording Techniques / by Tatsuhiko Kano, Yoichi Katayama, Satoru Fukuda ; edited by Koki Shimoji, William D. Willis. by Kano, Tatsuhiko | Fukuda, Satoru | Katayama, Yoichi | Shimoji, Koki | Willis, William D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Tokyo : Springer-Verlag Tokyo, 2006Online access: Click here to access online Availability: No items available :
|
|
355.
|
|
|
356.
|
Globalization and Environmental Challenges Электронный ресурс Reconceptualizing Security in the 21st Century / edited by Hans Günter Brauch, Úrsula Oswald Spring, Czeslaw Mesjasz, John Grin, Pál Dunay, Navnita Chadha Behera, Béchir Chourou, Patricia Kameri-Mbote, P. H. Liotta. by Brauch, Hans Günter | Behera, Navnita Chadha | Chourou, Béchir | Dunay, Pál | Grin, John | Kameri-Mbote, Patricia | Liotta, P. H | Mesjasz, Czeslaw | Spring, Úrsula Oswald | SpringerLink (Online service). Series: Hexagon Series on Human and Environmental Security and PeaceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
357.
|
Conceptual Modeling - ER 2007 Электронный ресурс 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007. Proceedings. by Parent, Christine | Schewe, Klaus-Dieter | Storey, Veda C | Thalheim, Bernhard | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
358.
|
|
|
359.
|
|
|
360.
|
|
|
361.
|
Computer Vision – ACCV 2007 Электронный ресурс 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II / edited by Yasushi Yagi, Sing Bing Kang, In So Kweon, Hongbin Zha. by Yagi, Yasushi | Kang, Sing Bing | Kweon, In So | Zha, Hongbin | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
362.
|
|
|
363.
|
|
|
364.
|
Declarative Agent Languages and Technologies V Электронный ресурс 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers / edited by Matteo Baldoni, Tran Cao Son, M. Birna Riemsdijk, Michael Winikoff. by Baldoni, Matteo | Riemsdijk, M. Birna | Son, Tran Cao | Winikoff, Michael | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
365.
|
Enterprise Information Systems Электронный ресурс 8th International Conference, ICEIS 2006, Paphos, Cyprus, May 23-27, 2006 , Revised Selected Papers / edited by Yannis Manolopoulos, Joaquim Filipe, Panos Constantopoulos, José Cordeiro. by Manolopoulos, Yannis | Constantopoulos, Panos | Cordeiro, José | Filipe, Joaquim | SpringerLink (Online service). Series: Lecture Notes in Business Information ProcessingSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
366.
|
|
|
367.
|
Agent-Oriented Information Systems IV Электронный ресурс 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers / edited by Manuel Kolp, Brian Henderson-Sellers, Haralambos Mouratidis, Alessandro Garcia, Aditya K. Ghose, Paolo Bresciani. by Kolp, Manuel | Bresciani, Paolo | Garcia, Alessandro | Ghose, Aditya K | Henderson-Sellers, Brian | Mouratidis, Haralambos | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
368.
|
Entertainment Computing – ICEC 2007 Электронный ресурс 6th International Conference, Shanghai, China, September 15-17, 2007. Proceedings / edited by Lizhuang Ma, Matthias Rauterberg, Ryohei Nakatsu. by Ma, Lizhuang | Nakatsu, Ryohei | Rauterberg, Matthias | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
369.
|
|
|
370.
|
|
|
371.
|
|
|
372.
|
|
|
373.
|
|
|
374.
|
|
|
375.
|
|
|
376.
|
|
|
377.
|
|
|
378.
|
Advances in Visual Information Systems Электронный ресурс 9th International Conference, VISUAL 2007 Shanghai, China, June 28-29, 2007 Revised Selected Papers / edited by Guoping Qiu, Clement Leung, Xiangyang Xue, Robert Laurini. by Qiu, Guoping | Laurini, Robert | Leung, Clement | Xue, Xiangyang | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
379.
|
|
|
380.
|
|
|
381.
|
|
|
382.
|
Service-Oriented Computing ICSOC 2006 Электронный ресурс 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Workshops Proceedings / edited by Dimitrios Georgakopoulos, Norbert Ritter, Boualem Benatallah, Christian Zirpins, Geo by Georgakopoulos, Dimitrios | Benatallah, Boualem | Feuerlicht, George | Motahari-Nezhad, Hamid R | Ritter, Norbert | Schoenherr, Marten | Zirpins, Christian | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
383.
|
|
|
384.
|
Road Pricing, the Economy and the Environment Электронный ресурс edited by Chris Jensen-Butler, Birgitte Sloth, Morten Marott Larsen, Bjarne Madsen, Otto Anker Nielsen. by Jensen-Butler, Chris | Larsen, Morten Marott | Madsen, Bjarne | Nielsen, Otto Anker | Sloth, Birgitte | SpringerLink (Online service). Series: Advances in Spatial ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
385.
|
Security Protocols Электронный ресурс 13th International Workshop, Cambridge, UK, April 20-22, 2005, Revised Selected Papers / edited by Bruce Christianson, Bruno Crispo, James A. Malcolm, Michael Roe. by Christianson, Bruce | Crispo, Bruno | Malcolm, James A | Roe, Michael | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
386.
|
|
|
387.
|
Séminaire de Probabilités XLI Электронный ресурс edited by J. -M. Morel, F. Takens, B. Teissier, Catherine Donati-Martin, Michel Émery, Alain Rouault, Christophe Stricker. by Morel, J. -M | Donati-Martin, Catherine | Émery, Michel | Rouault, Alain | Stricker, Christophe | Takens, F | Teissier, B | SpringerLink (Online service). Series: Lecture Notes in Mathematics, Séminaire de ProbabilitésSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
388.
|
|
|
389.
|
|
|
390.
|
|
|
391.
|
|
|
392.
|
|
|
393.
|
|
|
394.
|
|
|
395.
|
Datatype-Generic Programming Электронный ресурс International Spring School, SSDGP 2006, Nottingham, UK, April 24-27, 2006, Revised Lectures / edited by Roland Backhouse, Jeremy Gibbons, Ralf Hinze, Johan Jeuring. by Backhouse, Roland | Gibbons, Jeremy | Hinze, Ralf | Jeuring, Johan | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|
|
396.
|
|
|
397.
|
|
|
398.
|
|
|
399.
|
|
|
400.
|
Advances in Multimedia Information Processing – PCM 2007 Электронный ресурс 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007. Proceedings / edited by Horace H.-S. Ip, Oscar C. Au, Howard Leung, Ming-Ting Sun, Wei-Ying Ma, Shi-Min Hu. by Ip, Horace H.-S | Au, Oscar C | Hu, Shi-Min | Leung, Howard | Ma, Wei-Ying | Sun, Ming-Ting | SpringerLink (Online service). Series: Lecture Notes in Computer ScienceSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available :
|