|
801.
|
Term Rewriting and Applications [electronic resource] : 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings / edited by Frank Pfenning.
by Pfenning, 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
|
|
802.
|
Advances in Case-Based Reasoning [electronic resource] : 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings / edited by Thomas R. Roth-Berghofer, Mehmet H. Göker, H. Altay Güvenir.
by Roth-Berghofer, Thomas R | Göker, Mehmet H | Güvenir, H. Altay | 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
|
|
803.
|
Advanced Data Mining and Applications [electronic resource] : Second International Conference, ADMA 2006, Xi’an, China, August 14-16, 2006 Proceedings / edited by Xue Li, Osmar R. Zaïane, Zhan-huai Li.
by Li, Xue | Zaïane, Osmar R | Li, Zhan-huai | 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
|
|
804.
|
Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings / edited by Armin Biere, Carla P. Gomes.
by Biere, Armin | Gomes, Carla 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
|
|
805.
|
Medical Imaging and Augmented Reality [electronic resource] : Third International Workshop, Shanghai, China, August 17-18, 2006 Proceedings / edited by Guang-Zhong Yang, TianZi Jiang, Dinggang Shen, Lixu Gu, Jie Yang.
by Yang, Guang-Zhong | Jiang, TianZi | Shen, Dinggang | Gu, Lixu | Yang, Jie | 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
|
|
806.
|
Advances in Artificial Economics [electronic resource] : The Economy as a Complex Dynamic System / edited by Charlotte Bruun.
by Bruun, Charlotte | 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
|
|
807.
|
Pattern Recognition in Bioinformatics [electronic resource] : International Workshop, PRIB 2006, Hong Kong, China, August 20, 2006. Proceedings / edited by Jagath C. Rajapakse, Limsoon Wong, Raj Acharya.
by Rajapakse, Jagath C | Wong, Limsoon | Acharya, Raj | 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
|
|
808.
|
Discovering Mathematics with Magma [electronic resource] : Reducing the Abstract to the Concrete / edited by Wieb Bosma, John Cannon.
by Bosma, Wieb | Cannon, John | 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
|
|
809.
|
Electronic Government [electronic resource] : 5th International Conference, EGOV 2006, Kraków, Poland, September 4-8, 2006. Proceedings / edited by Maria A. Wimmer, Hans J. Scholl, Åke Grönlund, Kim Viborg Andersen.
by Wimmer, Maria A | Scholl, Hans J | Grönlund, Åke | Andersen, Kim Viborg | 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
|
|
810.
|
E-Commerce and Web Technologies [electronic resource] : 7th International Conference, EC-Web 2006, Krakow, Poland, September 5-7, 2006. 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, 2006Online access: Click here to access online Availability: No items available
|
|
811.
|
Euro-Par 2006 Parallel Processing [electronic resource] : 12th International Euro-Par Conference, Dresden, Germany, August 28 – September 1, 2006. Proceedings / edited by Wolfgang E. Nagel, Wolfgang V. Walter, Wolfgang Lehner.
by Nagel, Wolfgang E | Walter, Wolfgang V | Lehner, Wolfgang | 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
|
|
812.
|
Relations and Kleene Algebra in Computer Science [electronic resource] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / edited by Renate A. Schmidt.
by Schmidt, Renate A | 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
|
|
813.
|
OMDoc – An Open Markup Format for Mathematical Documents [version 1.2] [electronic resource] : Foreword by Allan Bundy / by Michael Kohlhase.
by Kohlhase, Michael | 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
|
|
814.
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2006 and 10th International Workshop on Randomization and Computation, RANDOM 2006, Barcelona, Spain, August 28-30 2006. Proceedings / edited by Josep Díaz, Klaus Jansen, José D. P. Rolim, Uri Zwick.
by Díaz, Josep | Jansen, Klaus | Rolim, José D. P | Zwick, Uri | 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
|
|
815.
|
Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings / edited by Andrés Iglesias, Nobuki Takayama.
by Iglesias, Andrés | Takayama, Nobuki | 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
|
|
816.
|
Ant Colony Optimization and Swarm Intelligence [electronic resource] : 5th International Workshop, ANTS 2006, Brussels, Belgium, September 4-7, 2006. Proceedings / edited by Marco Dorigo, Luca Maria Gambardella, Mauro Birattari, Alcherio Martinoli, Riccardo Poli, Thomas Stützle.
by Dorigo, Marco | Gambardella, Luca Maria | Birattari, Mauro | Martinoli, Alcherio | Poli, Riccardo | Stützle, Thomas | 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
|
|
817.
|
From Animals to Animats 9 [electronic resource] : 9th International Conference on Simulation of Adaptive Behavior, SAB 2006, Rome, Italy, September 25-29, 2006. Proceedings / edited by Stefano Nolfi, Gianluca Baldassarre, Raffaele Calabretta, John C. T. Hallam, Davide Marocco, Jean-Arcady Meyer, Orazio Miglino, Domenico Parisi.
by Nolfi, Stefano | Baldassarre, Gianluca | Calabretta, Raffaele | Hallam, John C. T | Marocco, Davide | Meyer, Jean-Arcady | Miglino, Orazio | Parisi, Domenico | 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
|
|
818.
|
Algorithms – ESA 2006 [electronic resource] : 14th Annual European Symposium, Zurich, Switzerland, September 11-13, 2006. Proceedings / edited by Yossi Azar, Thomas Erlebach.
by Azar, Yossi | Erlebach, Thomas | 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
|
|
819.
|
Recent Advances in Parallel Virtual Machine and Message Passing Interface [electronic resource] : 13th European PVM/MPI User’s Group Meeting Bonn, Germany, September 17-20, 2006 Proceedings / edited by Bernd Mohr, Jesper Larsson Träff, Joachim Worringen, Jack Dongarra.
by Mohr, Bernd | Träff, Jesper Larsson | Worringen, Joachim | 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
|
|
820.
|
Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings / edited by Jacques Calmet, Tetsuo Ida, Dongming Wang.
by Calmet, Jacques | Ida, Tetsuo | Wang, Dongming | 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
|