|
|
5761.
|
Formal Methods for Hardware Verification [electronic resource] : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures / edited by Marco Bernardo, Alessandro Cimatti.
by Bernardo, Marco | Cimatti, Alessandro | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5762.
|
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006. Proceedings / edited by J. Christopher Beck, Barbara M. Smith.
by Beck, J. Christopher | Smith, Barbara M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5763.
|
Performance Analysis of Network Architectures [electronic resource] / by Dietmar Tutsch.
by Tutsch, Dietmar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5764.
|
Collective Phenomena in Synchrotron Radiation Sources [electronic resource] : Prediction, Diagnostics, Countermeasures / by Shaukat Khan.
by Khan, Shaukat | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5765.
|
Embedded Robotics [electronic resource] : Mobile Robot Design and Applications with Embedded Systems / by Thomas Bräunl.
by Bräunl, Thomas | SpringerLink (Online service). Edition: Second Edition.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5766.
|
An Introduction to Language Processing with Perl and Prolog [electronic resource] : An Outline of Theories, Implementation, and Application with Special Consideration of English, French, and German / by Pierre M. Nugues.
by Nugues, Pierre M | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5767.
|
Lasers, Clocks and Drag-Free Control [electronic resource] : Exploration of Relativistic Gravity in Space / edited by Hansjorg Dittus, Claus Lammerzahl, Slava G. Turyshev.
by Dittus, Hansjorg | Lammerzahl, Claus | Turyshev, Slava G | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008Online access: Click here to access online Availability: No items available
|
|
|
5768.
|
Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings / edited by Tiziana Calamoneri, Irene Finocchi, Giuseppe F. Italiano.
by Calamoneri, Tiziana | Finocchi, Irene | Italiano, Giuseppe F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5769.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part I / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5770.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part II / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5771.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006. Proceedings, Part III / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5772.
|
Computational Science – ICCS 2006 [electronic resource] : 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV / edited by Vassil N. Alexandrov, Geert Dick Albada, Peter M. A. Sloot, Jack Dongarra.
by Alexandrov, Vassil N | Albada, Geert Dick | Sloot, Peter M. A | Dongarra, Jack | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5773.
|
Data Science and Classification [electronic resource] / edited by Vladimir Batagelj, Hans-Hermann Bock, Anuška Ferligoj, Aleš Žiberna.
by Batagelj, Vladimir | Bock, Hans-Hermann | Ferligoj, Anuška | Žiberna, Aleš | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5774.
|
Capacity Options for Revenue Management [electronic resource] : Theory and Applications in the Air Cargo Industry / by Rolf Hellermann.
by Hellermann, Rolf | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5775.
|
Arts, Sciences, and Economics [electronic resource] : A Historical Safari / by Tönu Puu.
by Puu, Tönu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5776.
|
Mathematics for Ecology and Environmental Sciences [electronic resource] / edited by Yasuhiro Takeuchi, Yoh Iwasa, Kazunori Sato.
by Takeuchi, Yasuhiro | Iwasa, Yoh | Sato, Kazunori | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007Online access: Click here to access online Availability: No items available
|
|
|
5777.
|
Next Generation Teletraffic and Wired/Wireless Advanced Networking [electronic resource] : 6th International Conference, NEW2AN 2006, St. Petersburg, Russia, May 29 - June 2, 2006. Proceedings / edited by Yevgeni Koucheryavy, Jarmo Harju, Villy B. Iversen.
by Koucheryavy, Yevgeni | Harju, Jarmo | Iversen, Villy B | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5778.
|
Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part II / edited by Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin.
by Wang, Jun | Yi, Zhang | Zurada, Jacek M | Lu, Bao-Liang | Yin, Hujun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5779.
|
Advances in Neural Networks - ISNN 2006 [electronic resource] : Third International Symposium on Neural Networks, Chengdu, China, May 28 - June 1, 2006, Proceedings, Part I / edited by Jun Wang, Zhang Yi, Jacek M. Zurada, Bao-Liang Lu, Hujun Yin.
by Wang, Jun | Yi, Zhang | Zurada, Jacek M | Lu, Bao-Liang | Yin, Hujun | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
|
|
5780.
|
Engineering Societies in the Agents World VI [electronic resource] : 6th International Workshop, ESAW 2005, Kuşadasi, Turkey, October 26-28, 2005, Revised Selected and Invited Papers / edited by Oğuz Dikenelli, Marie-Pierre Gleizes, Alessandro Ricci.
by Dikenelli, Oğuz | Gleizes, Marie-Pierre | Ricci, Alessandro | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Online access: Click here to access online Availability: No items available
|
