|
401.
|
|
|
402.
|
|
|
403.
|
|
|
404.
|
Communications and Discoveries from Multidisciplinary Data Электронный ресурс edited by Janusz Kacprzyk, Shuichi Iwata, Yukio Ohsawa, Shusaku Tsumoto, Ning Zhong, Yong Shi, Lorenzo Magnani. by Kacprzyk, Janusz | Iwata, Shuichi | Magnani, Lorenzo | Ohsawa, Yukio | Shi, Yong | Tsumoto, Shusaku | Zhong, Ning | SpringerLink (Online service). Series: Studies in Computational IntelligenceSource: 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 :
|
|
405.
|
|
|
406.
|
|
|
407.
|
|
|
408.
|
|
|
409.
|
Optical Network Design and Modeling Электронный ресурс 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings / edited by Ioannis Tomkos, Fabio Neri, Josep Solé Pareta, Xavier Masip Bruin et al. by Tomkos, Ioannis | Masip Bruin, Xavier | Neri, Fabio | Sánchez Lopez, Sergi | Solé Pareta, Josep | 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 :
|
|
410.
|
|
|
411.
|
|
|
412.
|
Computational Science - ICCS 2007 Электронный ресурс 7th International Conference, Beijing, China, May 27 - 30, 2007, Proceedings, Part II / edited by Yong Shi, Geert Dick Albada, Jack Dongarra, Peter M. A. Sloot. by Shi, Yong | Albada, Geert Dick van | Dongarra, Jack | Sloot, Peter M. A | 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 :
|
|
413.
|
|
|
414.
|
|
|
415.
|
|
|
416.
|
Data and Applications Security XXI Электронный ресурс 21st Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Redondo Beach, CA, USA, July 8-11, 2007. Proceedings / edited by Steve Barker, Gail-Joon Ahn. by Barker, Steve | Ahn, Gail-Joon | 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 :
|
|
417.
|
|
|
418.
|
|
|
419.
|
The Sense of Touch and its Rendering Электронный ресурс Progress in Haptics Research / edited by Bruno Siciliano, Oussama Khatib, Frans Groen, Antonio Bicchi, Martin Buss, Marc O. Ernst, Angelika Peer. by Siciliano, Bruno | Bicchi, Antonio | Buss, Martin | Ernst, Marc O | Groen, Frans | Khatib, Oussama | Peer, Angelika | SpringerLink (Online service). Series: Springer Tracts in Advanced RoboticsSource: 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 :
|
|
420.
|
|
|
421.
|
OpenMP in a New Era of Parallelism Электронный ресурс 4th International Workshop, IWOMP 2008 West Lafayette, IN, USA, May 12-14, 2008 Proceedings / edited by Rudolf Eigenmann, Bronis R. Supinski. by Eigenmann, Rudolf | Supinski, Bronis R | 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 :
|
|
422.
|
Model Checking Software Электронный ресурс 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Klaus Havelund, Rupak Majumdar, Jens Palsberg. by Hutchison, David | Havelund, Klaus | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Majumdar, Rupak | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Palsberg, Jens | Pandu Rangan, C | Steffen, Bernhard | Sudan, Madhu | Terzopoulos, Demetri | Tygar, Doug | Vardi, Moshe Y | Weikum, Gerhard | 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 :
|
|
423.
|
|
|
424.
|
|
|
425.
|
|
|
426.
|
|
|
427.
|
Analytical and Stochastic Modeling Techniques and Applications Электронный ресурс 15th International Conference, ASMTA 2008 Nicosia, Cyprus, June 4-6, 2008 Proceedings / edited by Khalid Al-Begain, Armin Heindl, Miklós Telek. by Al-Begain, Khalid | Heindl, Armin | Telek, Miklós | 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 :
|
|
428.
|
|
|
429.
|
|
|
430.
|
|
|
431.
|
|
|
432.
|
|
|
433.
|
|
|
434.
|
Lagrangian and Hamiltonian Methods for Nonlinear Control 2006 Электронный ресурс Proceedings from the 3rd IFAC Workshop, Nagoya, Japan, July 2006 / edited by F. Allgöwer , P. Fleming, P. Kokotovic, A.B. Kurzhanski, H. Kwakernaak et al. by Allgöwer, Frank | Bullo, Francesco | Fleming, P | Fujimoto, Kenji | Kokotovic, P | Kurzhanski, A. B | Kwakernaak, H | Rantzer, A | Tsitsiklis, J. N | SpringerLink (Online service). Series: Lecture Notes in Control and Information SciencesSource: 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 :
|
|
435.
|
|
|
436.
|
|
|
437.
|
Testing of Software and Communicating Systems Электронный ресурс 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings / edited by Alexandre Petrenko by Petrenko, Alexandre F | Grieskamp, Wolfgang | Tretmans, Jan | Veanes, Margus | 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 :
|
|
438.
|
|
|
439.
|
Enterprise Architecture Электронный ресурс Creating Value by Informed Governance / by Martin Op ’t Land, Erik Proper, Maarten Waage, Jeroen Cloo, Claudia Steghuis ; edited by Jan Dietz, Erik Proper, José Tribolet, Terry Halpin, Jan Hoogervorst, Martin Op ’t Land, Ronald G. Ross, Robert Winter. by Op ’t Land, Martin | Cloo, Jeroen | Dietz, Jan | Halpin, Terry | Hoogervorst, Jan | Op ’t Land, Martin | Proper, Erik | Ross, Ronald G | Steghuis, Claudia | Tribolet, José | Waage, Maarten | Winter, Robert | SpringerLink (Online service). Series: The Enterprise Engineering SeriesSource: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available :
|
|
440.
|
Component-Based Software Engineering Электронный ресурс 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007. Proceedings / edited by Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman, Judith A. Stafford. by Schmidt, Heinz W | Crnkovic, Ivica | Heineman, George T | Stafford, Judith A | 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 :
|
|
441.
|
Requirements Engineering: Foundation for Software Quality Электронный ресурс 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007. Proceedings / edited by Pete Sawyer, Barbara Paech, Patrick Heymans. by Sawyer, Pete | Heymans, Patrick | Paech, Barbara | 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 :
|
|
442.
|
|
|
443.
|
Agent-Oriented Software Engineering VIII Электронный ресурс 8th International Workshop, AOSE 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected Papers / edited by Michael Luck, Lin Padgham. by Luck, Michael | Padgham, Lin | 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 :
|
|
444.
|
|
|
445.
|
|
|
446.
|
|
|
447.
|
|
|
448.
|
|
|
449.
|
|
|
450.
|
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 :
|