|
|
201.
|
|
|
|
202.
|
|
|
|
203.
|
|
|
|
204.
|
|
|
|
205.
|
|
|
|
206.
|
|
|
|
207.
|
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 :
|
|
|
208.
|
|
|
|
209.
|
|
|
|
210.
|
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 :
|
|
|
211.
|
Heating versus Cooling in Galaxies and Clusters of Galaxies Электронный ресурс Proceedings of the MPA/ESO/MPE/USM Joint Astronomy Conference held in Garching, Germany, 6-11 August 2006 / edited by H. Böhringer, G.W. Pratt et al. by Böhringer, H | Finoguenov, A | Pratt, G.W | Schuecker, P | SpringerLink (Online service). Series: Eso Astrophysics Symposia, European Southern ObservatorySource: 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 :
|
|
|
212.
|
|
|
|
213.
|
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 :
|
|
|
214.
|
Turbulence and Diffusion Электронный ресурс Scaling Versus Equations / by Oleg G. Bakunin ; edited by H. Haken, Péter Érdi, Karl Friston, Hermann Haken, Janusz Kacprzyk, Scott Kelso, Jürgen Kurths, Linda Reichl, Peter Schuster, Frank Schweitzer, Didier Sornette. by Bakunin, Oleg G | Érdi, Péter | Friston, Karl | Haken, H | Haken, Hermann, 1927- | Kacprzyk, Janusz | Kelso, Scott | Kurths, Jürgen | Reichl, Linda | Schuster, Peter | Schweitzer, Frank | Sornette, Didier | SpringerLink (Online service). Series: Springer Series in SynergeticsSource: 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 :
|
|
|
215.
|
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 :
|
|
|
216.
|
|
|
|
217.
|
Model-Based Software and Data Integration Электронный ресурс First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings / edited by Ralf-Detlef Kutsche, Nikola Milanovic. by Kutsche, Ralf-Detlef | Milanovic, Nikola | SpringerLink (Online service). Series: Communications in Computer and Information 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 :
|
|
|
218.
|
CONCUR 2007 - Concurrency Theory Электронный ресурс 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007. Proceedings / edited by Luís Caires, Vasco T. Vasconcelos. by Caires, Luís | Vasconcelos, Vasco T | 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 :
|
|
|
219.
|
|
|
|
220.
|
|
|
|
221.
|
|
|
|
222.
|
|
|
|
223.
|
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 :
|
|
|
224.
|
Optical SuperComputing Электронный ресурс First International Workshop, OSC 2008, Vienna, Austria, August 26, 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, Shlomi Dolev, Tobias Haist, Mihai Oltean. by Hutchison, David | Dolev, Shlomi | Haist, Tobias | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Oltean, Mihai | 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 :
|
|
|
225.
|
|
|
|
226.
|
Algorithmic Learning Theory Электронный ресурс 18th International Conference, ALT 2007, Sendai, Japan, October 1-4, 2007. Proceedings / edited by Marcus Hutter, Rocco A. Servedio, Eiji Takimoto. by Hutter, Marcus | Servedio, Rocco A | Takimoto, Eiji | 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 :
|
|
|
227.
|
|
|
|
228.
|
Computer Science Logic Электронный ресурс 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007. Proceedings / edited by Jacques Duparc, Thomas A. Henzinger. by Duparc, Jacques | Henzinger, Thomas 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 :
|
|
|
229.
|
|
|
|
230.
|
|
|
|
231.
|
|
|
|
232.
|
|
|
|
233.
|
|
|
|
234.
|
|
|
|
235.
|
|
|
|
236.
|
Thermodynamics and Fluctuations far from Equilibrium Электронный ресурс by John Ross ; edited by A. W. Castleman, J. P. Toennies, K. Yamanouchi, W. Zinth. by Ross, John | Castleman, Albert Welford | Toennies, J. P | Yamanouchi, K | Zinth, W | SpringerLink (Online service). Series: Springer Series in chemical physicsSource: 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 :
|
|
|
237.
|
Information Theoretic Security Электронный ресурс Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 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, Reihaneh Safavi-Naini. by Hutchison, David | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | Pandu Rangan, C | Safavi-Naini, Reihaneh | 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 :
|
|
|
238.
|
|
|
|
239.
|
|
|
|
240.
|
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 :
|
|
|
241.
|
|
|
|
242.
|
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 :
|
|
|
243.
|
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 :
|
|
|
244.
|
|
|
|
245.
|
|
|
|
246.
|
|
|
|
247.
|
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 :
|
|
|
248.
|
|
|
|
249.
|
|
|
|
250.
|
|
