|
|
301.
|
|
|
|
302.
|
Hybrid Systems: Computation and Control Электронный ресурс 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 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, Magnus Egerstedt, Bud Mishra. by Hutchison, David | Egerstedt, Magnus | Kanade, Takeo | Kittler, Josef | Kleinberg, Jon M | Mattern, Friedemann | Mishra, Bud | Mitchell, John C | Naor, Moni | Nierstrasz, Oscar | 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 :
|
|
|
303.
|
|
|
|
304.
|
|
|
|
305.
|
|
|
|
306.
|
Multiagent System Technologies Электронный ресурс 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings / edited by Jaime G. Carbonell, Jörg Siekmann, Ralph Bergmann, Gabriela Lindemann, Stefan Kirn, Michal Pěchouček, by Carbonell, Jaime G | Bergmann, Ralph | Kirn, Stefan | Lindemann, Gabriela | Pěchouček, Michal | Siekmann, Jörg | 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 :
|
|
|
307.
|
Embedded and Ubiquitous Computing Электронный ресурс International Conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007. Proceedings / edited by Tei-Wei Kuo, Edwin Sha, Minyi Guo, Laurence T. Yang, Zili Shao. by Kuo, Tei-Wei | Guo, Minyi | Sha, Edwin | Shao, Zili | Yang, Laurence 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 :
|
|
|
308.
|
|
|
|
309.
|
|
|
|
310.
|
|
|
|
311.
|
|
|
|
312.
|
|
|
|
313.
|
|
|
|
314.
|
|
|
|
315.
|
|
|
|
316.
|
|
|
|
317.
|
|
|
|
318.
|
|
|
|
319.
|
|
|
|
320.
|
Applying Fuzzy Mathematics to Formal Models in Comparative Politics Электронный ресурс by Terry D. Clark, Jennifer M. Larson, John N. Mordeson, Joshua D. Potter, Mark J. Wierman. by Clark, Terry D | Larson, Jennifer M | Mordeson, John N | Potter, Joshua D | Wierman, Mark J | SpringerLink (Online service). Series: Studies in Fuzziness and Soft ComputingSource: 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 :
|
|
|
321.
|
Geotechnical Engineering for Disaster Mitigation and Rehabilitation Электронный ресурс Proceedings of the 2nd International Conference GEDMAR08, Nanjing, China 30 May – 2 June, 2008 / edited by Hanlong Liu, An Deng, Jian Chu. by Liu, Hanlong | Chu, Jian | Deng, An | SpringerLink (Online service). Source: Springer eBooksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available :
|
|
|
322.
|
|
|
|
323.
|
Distributed and Parallel Computing Электронный ресурс 6th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP, Melbourne, Australia, October 2-3, 2005, Proceedings edited by Andrzej Goscinski, Michael by Goscinski, Andrzej | Hobbs, Michael | Zhou, Wanlei | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
324.
|
FM 2006: Formal Methods Электронный ресурс 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings edited by Jayadev Misra, Tobias Nipkow, Emil Sekerinski. by Misra, Jayadev | Nipkow, Tobias | Sekerinski, Emil | 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
325.
|
|
|
|
326.
|
Automata, Languages and Programming (vol. # 3580) Электронный ресурс 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings edited by Luis Caires, Giuseppe F. Italiano, Luis Monteiro, Catuscia Palamidessi by Caires, Luís | Italiano, Giuseppe F | Monteiro, Luis | Palamidessi, Catuscia | Yung, Moti | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
327.
|
|
|
|
328.
|
Embedded Software and Systems (vol. # 3605) Электронный ресурс First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers edited by Jiajun Bu, Chun Chen, Minyi Guo, Zhaohui Wu. by Bu, Jiajun | Chen, Chun | Guo, Minyi | Wu, Zhaohui | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
329.
|
Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005) Электронный ресурс edited by Kazuyuki Murase, Kosuke Sekiyama, Tomohide Naniwa, Naoyuki Kubota, Joaquin Sitte. by Murase, Kazuyuki | Kubota, Naoyuki | Naniwa, Tomohide | Sekiyama, Kosuke | Sitte, Joaquin | SpringerLink (Online service). Source: Springer e-booksMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
|
|
330.
|
FM 2005: Formal Methods Электронный ресурс International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings edited by John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki. by Fitzgerald, John | Hayes, Ian J | Tarlecki, Andrzej | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
331.
|
Wireless Algorithms, Systems, and Applications Электронный ресурс First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings edited by Xiuzhen Cheng, Wei Li, Taieb Znati. by Cheng, Xiuzhen | Li, Wei | Znati, Taieb | 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 GmbH., 2006Online access: Click here to access online Availability: No items available :
|
|
|
332.
|
|
|
|
333.
|
|
|
|
334.
|
|
|
|
335.
|
Model Driven Architecture Электронный ресурс European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003, and LinkГ¶ping, Sweden, June 10-11, 2004, Revised Selected Papers edi by Aksit, Mehmet | Assmann, Uwe | Rensink, Arend | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
336.
|
|
|
|
337.
|
|
|
|
338.
|
|
|
|
339.
|
|
|
|
340.
|
Automated Technology for Verification and Analysis Электронный ресурс Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings edited by Doron A. Peled, Yih-Kuen Tsay. by Peled, Doron A | Tsay, Yih-Kuen | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
341.
|
Distributed Computing - IWDC 2005 Электронный ресурс 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings edited by Arobinda Gupta, Ajay D. Kshemkalyani, Rajeev Kumar, Ajit Pal. by Gupta, Arobinda | Kshemkalyani, Ajay D | Kumar, Rajeev | Pal, Ajit | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
342.
|
|
|
|
343.
|
|
|
|
344.
|
|
|
|
345.
|
|
|
|
346.
|
|
|
|
347.
|
|
|
|
348.
|
Peer-to-Peer Systems IV Электронный ресурс 4th International Workshop, IPTPS 2005, Ithaca, NY, USA, February 24-25, 2005, Revised Selected Papers edited by Miguel Castro, Robbert van Renesse. by Castro, Miguel | Van Renesse, Robbert | 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 GmbH., 2005Online access: Click here to access online Availability: No items available :
|
|
|
349.
|
|
|
|
350.
|
Integrated Formal Methods Электронный ресурс Third International Conference, IFM 2002 Turku, Finland, May 15–18, 2002 Proceedings / edited by Michael Butler, Luigia Petre, Kaisa Sere. by Butler, Michael | Petre, Luigia | Sere, Kaisa. Series: Lecture Notes in Computer ScienceMaterial type: Computer file; Format:
electronic
available online
Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available :
|
