|
661.
|
Theory and Applications of Satisfiability Testing [electronic resource] : 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings / edited by Fahiem Bacchus, Toby Walsh.
by Bacchus, Fahiem | Walsh, Toby | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
662.
|
Automata, Languages and Programming [electronic resource] : 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings / edited by Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung.
by Caires, Luís | Italiano, Giuseppe F | Monteiro, Luís | Palamidessi, Catuscia | Yung, Moti | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
663.
|
Discovery Science [electronic resource] : 8th International Conference, DS 2005, Singapore, October 8 – 11, 2005. Proceedings / edited by Achim Hoffmann, Hiroshi Motoda, Tobias Scheffer.
by Hoffmann, Achim | Motoda, Hiroshi | Scheffer, Tobias | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
664.
|
Algorithms and Data Structures [electronic resource] : 9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005. Proceedings / edited by Frank Dehne, Alejandro López-Ortiz, Jörg-Rüdiger Sack.
by Dehne, Frank | López-Ortiz, Alejandro | Sack, Jörg-Rüdiger | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
665.
|
Computational Life Sciences [electronic resource] : First International Symposium, CompLife 2005, Konstanz, Germany, September 25-27, 2005. Proceedings / edited by Michael R. Berthold, Robert C. Glen, Kay Diederichs, Oliver Kohlbacher, Ingrid Fischer.
by R. Berthold, Michael | Glen, Robert C | Diederichs, Kay | Kohlbacher, Oliver | Fischer, Ingrid | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
666.
|
E-Commerce and Web Technologies [electronic resource] : 6th International Conference, EC-Web 2005, Copenhagen, Denmark, August 23-26, 2005. Proceedings / edited by Kurt Bauknecht, Birgit Pröll, Hannes Werthner.
by Bauknecht, Kurt | Pröll, Birgit | Werthner, Hannes | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
667.
|
Electronic Government [electronic resource] : 4th International Conference, EGOV 2005, Copenhagen, Denmark, August 22-26, 2005. Proceedings / edited by Maria A. Wimmer, Roland Traunmüller, Åke Grönlund, Kim V. Andersen.
by Wimmer, Maria A | Traunmüller, Roland | Grönlund, Åke | Andersen, Kim V | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
668.
|
Universal Access in Health Telematics [electronic resource] : A Design Code of Practice / edited by Constantine Stephanidis.
by Stephanidis, Constantine | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
669.
|
Comparative Genomics [electronic resource] : RECOMB 2005 International Workshop, RCG 2005, Dublin, Ireland, September 18-20, 2005. Proceedings / edited by Aoife McLysaght, Daniel H. Huson.
by McLysaght, Aoife | Huson, Daniel H | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
670.
|
Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Second International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2005, Copenhagen, Denmark, August 22-24, 2005. Proceedings / edited by Vladimír Mařík, Robert Brennan, Michal Pěchouček.
by Mařík, Vladimír | Brennan, Robert | Pěchouček, Michal | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
671.
|
Approximation and Online Algorithms [electronic resource] : Second International Workshop, WAOA 2004, Bergen, Norway, September 14-16, 2004, Revised Selected Papers / edited by Giuseppe Persiano, Roberto Solis-Oba.
by Persiano, Giuseppe | Solis-Oba, Roberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
672.
|
Mathematics of Surfaces XI [electronic resource] : 11th IMA International Conference, Loughborough, UK, September 5-7, 2005. Proceedings / edited by Ralph Martin, Helmut Bez, Malcolm Sabin.
by Martin, Ralph | Bez, Helmut | Sabin, Malcolm | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
673.
|
Advanced Encryption Standard – AES [electronic resource] : 4th International Conference, AES 2004, Bonn, Germany, May 10-12, 2004, Revised Selected and Invited Papers / edited by Hans Dobbertin, Vincent Rijmen, Aleksandra Sowa.
by Dobbertin, Hans | Rijmen, Vincent | Sowa, Aleksandra | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
674.
|
DNA Computing [electronic resource] : 10th International Workshop on DNA Computing, DNA10, Milan, Italy, June 7-10, 2004, Revised Selected Papers / edited by Claudio Ferretti, Giancarlo Mauri, Claudio Zandron.
by Ferretti, Claudio | Mauri, Giancarlo | Zandron, Claudio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
675.
|
Numerical Analysis and Its Applications [electronic resource] : Third International Conference, NAA 2004, Rousse, Bulgaria, June 29-July 3, 2004, Revised Selected Papers / edited by Zhilin Li, Lubin Vulkov, Jerzy Waśniewski.
by Li, Zhilin | Vulkov, Lubin | Waśniewski, Jerzy | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
676.
|
Trusting Agents for Trusting Electronic Societies [electronic resource] : Theory and Applications in HCI and E-Commerce / edited by Rino Falcone, Suzanne Barber, Jordi Sabater-Mir, Munindar P. Singh.
by Falcone, Rino | Barber, Suzanne | Sabater-Mir, Jordi | Singh, Munindar P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
677.
|
Advances in Bioinformatics and Computational Biology [electronic resource] : Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005. Proceedings / edited by João Carlos Setubal, Sergio Verjovski-Almeida.
by Setubal, João Carlos | Verjovski-Almeida, Sergio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
678.
|
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005. Proceedings / edited by Chandra Chekuri, Klaus Jansen, José D. P. Rolim, Luca Trevisan.
by Chekuri, Chandra | Jansen, Klaus | Rolim, José D. P | Trevisan, Luca | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
679.
|
Algebra and Coalgebra in Computer Science [electronic resource] : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings / edited by José Luiz Fiadeiro, Neil Harman, Markus Roggenbach, Jan Rutten.
by Fiadeiro, José Luiz | Harman, Neil | Roggenbach, Markus | Rutten, Jan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|
|
680.
|
Advanced Data Mining and Applications [electronic resource] : First International Conference, ADMA 2005, Wuhan, China, July 22-24, 2005. Proceedings / edited by Xue Li, Shuliang Wang, Zhao Yang Dong.
by Li, Xue | Wang, Shuliang | Dong, Zhao Yang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Online access: Click here to access online Availability: No items available
|