|
|
4021.
|
Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings / edited by Paolo Ferragina, Gad M. Landau.
by Ferragina, Paolo | Landau, Gad M | 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
|
|
|
4022.
|
Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers / edited by Holger Giese.
by Giese, Holger | 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
|
|
|
4023.
|
Critical Information Infrastructures Security [electronic resource] : First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006. Revised Papers / edited by Javier Lopez.
by Lopez, Javier | 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
|
|
|
4024.
|
Algorithmic Aspects of Wireless Sensor Networks [electronic resource] : Second International Workshop, ALGOSENSORS 2006, Venice, Italy, July 15, 2006, Revised Selected Papers / edited by Sotiris E. Nikoletseas, José D. P. Rolim.
by Nikoletseas, Sotiris E | Rolim, José D. P | 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
|
|
|
4025.
|
Membrane Computing [electronic resource] : 7th International Workshop, WMC 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers / edited by Hendrik Jan Hoogeboom, Gheorghe Păun, Grzegorz Rozenberg, Arto Salomaa.
by Hoogeboom, Hendrik Jan | Păun, Gheorghe | Rozenberg, Grzegorz | Salomaa, Arto | 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
|
|
|
4026.
|
Model Driven Architecture – Foundations and Applications [electronic resource] : 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008. Proceedings / edited by Ina Schieferdecker, Alan Hartman.
by Schieferdecker, Ina | Hartman, Alan | 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
|
|
|
4027.
|
Intelligent Tutoring Systems [electronic resource] : 9th International Conference, ITS 2008, Montreal, Canada, June 23-27, 2008 Proceedings / edited by Beverley P. Woolf, Esma Aïmeur, Roger Nkambou, Susanne Lajoie.
by Woolf, Beverley P | Aïmeur, Esma | Nkambou, Roger | Lajoie, Susanne | 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
|
|
|
4028.
|
From Animals to Animats 10 [electronic resource] : 10th International Conference on Simulation of Adaptive Behavior, SAB 2008, Osaka, Japan, July 7-12, 2008. Proceedings / edited by Minoru Asada, John C. T. Hallam, Jean-Arcady Meyer, Jun Tani.
by Asada, Minoru | Hallam, John C. T | Meyer, Jean-Arcady | Tani, Jun | 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
|
|
|
4029.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / edited by Bertrand Meyer, Jim Woodcock.
by Meyer, Bertrand | Woodcock, Jim | 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
|
|
|
4030.
|
Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa.
by Ishikawa, Masumi | Doya, Kenji | Miyamoto, Hiroyuki | Yamakawa, Takeshi | 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
|
|
|
4031.
|
Neural Information Processing [electronic resource] : 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part II / edited by Masumi Ishikawa, Kenji Doya, Hiroyuki Miyamoto, Takeshi Yamakawa.
by Ishikawa, Masumi | Doya, Kenji | Miyamoto, Hiroyuki | Yamakawa, Takeshi | 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
|
|
|
4032.
|
Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings / edited by María Alpuente, Germán Vidal.
by Alpuente, María | Vidal, Germán | 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
|
|
|
4033.
|
Distributed Computing in Sensor Systems [electronic resource] : 4th IEEE International Conference, DCOSS 2008 Santorini Island, Greece, June 11-14, 2008 Proceedings / edited by Sotiris E. Nikoletseas, Bogdan S. Chlebus, David B. Johnson, Bhaskar Krishnamachari.
by Nikoletseas, Sotiris E | Chlebus, Bogdan S | Johnson, David B | Krishnamachari, Bhaskar | 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
|
|
|
4034.
|
Security and Privacy in Ad-Hoc and Sensor Networks [electronic resource] : Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers / edited by Levente Buttyán, Virgil D. Gligor, Dirk Westhoff.
by Buttyán, Levente | Gligor, Virgil D | Westhoff, Dirk | 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
|
|
|
4035.
|
Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers / edited by Andrew Butterfield, Clemens Grelck, Frank Huch.
by Butterfield, Andrew | Grelck, Clemens | Huch, Frank | 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
|
|
|
4036.
|
High Performance Computing in Science and Engineering, Garching/Munich 2007 [electronic resource] : Transactions of the Third Joint HLRB and KONWIHR Status and Result Workshop, Dec. 3–4, 2007, Leibniz Supercomputing Centre, Garching/Munich, Germany / edited by Siegfried Wagner, Matthias Steinmetz, Arndt Bode, Matthias Brehm.
by Wagner, Siegfried | Steinmetz, Matthias | Bode, Arndt | Brehm, Matthias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
4037.
|
Elementary Number Theory, Cryptography and Codes [electronic resource] / by Maria Welleda Baldoni, Ciro Ciliberto, Giulia Maria Piacentini Cattaneo.
by Baldoni, Maria Welleda | Ciliberto, Ciro | Cattaneo, Giulia Maria Piacentini | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: No items available
|
|
|
4038.
|
Intelligence and Security Informatics [electronic resource] : Techniques and Applications / edited by Hsinchun Chen, Christopher C. Yang.
by Chen, Hsinchun | Yang, Christopher C | 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
|
|
|
4039.
|
Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers / edited by Harrie Swart, Ewa Orłowska, Gunther Schmidt, Marc Roubens.
by Swart, Harrie | Orłowska, Ewa | Schmidt, Gunther | Roubens, Marc | 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
|
|
|
4040.
|
Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers / edited by Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata.
by Umeda, Masanobu | Wolf, Armin | Bartenstein, Oskar | Geske, Ulrich | Seipel, Dietmar | Takata, Osamu | 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
|
