|
|
2581.
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers / edited by María Alpuente.
by Alpuente, María | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2582.
|
Information Technology and Mobile Communication [electronic resource] : International Conference, AIM 2011, Nagpur, Maharashtra, India, April 21-22, 2011. Proceedings / edited by Vinu V Das, Gylson Thomas, Ford Lumban Gaol.
by Das, Vinu V | Thomas, Gylson | Lumban Gaol, Ford | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2583.
|
Applications of Declarative Programming and Knowledge Management [electronic resource] : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers / edited by Salvador Abreu, Dietmar Seipel.
by Abreu, Salvador | Seipel, Dietmar | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2584.
|
Service-Oriented Perspectives in Design Science Research [electronic resource] : 6th International Conference, DESRIST 2011, Milwaukee, WI, USA, May 5-6, 2011. Proceedings / edited by Hemant Jain, Atish P. Sinha, Padmal Vitharana.
by Jain, Hemant | Sinha, Atish P | Vitharana, Padmal | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2585.
|
Experimental Algorithms [electronic resource] : 10th International Symposium, SEA 2011, Kolimpari, Chania, Crete, Greece, May 5-7, 2011. Proceedings / edited by Panos M. Pardalos, Steffen Rebennack.
by Pardalos, Panos M | Rebennack, Steffen | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2586.
|
Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers / edited by Ron Meyden, Jan-Georg Smaus.
by Meyden, Ron | Smaus, Jan-Georg | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2587.
|
Declarative Agent Languages and Technologies VIII [electronic resource] : 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers / edited by Andrea Omicini, Sebastian Sardina, Wamberto Vasconcelos.
by Omicini, Andrea | Sardina, Sebastian | Vasconcelos, Wamberto | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2588.
|
Bio-Inspired Self-Organizing Robotic Systems [electronic resource] / edited by Yan Meng, Yaochu Jin.
by Meng, Yan | Jin, Yaochu | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2589.
|
Functional and Constraint Logic Programming [electronic resource] : 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers / edited by Julio Mariño.
by Mariño, Julio | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2590.
|
Knowledge-Driven Multimedia Information Extraction and Ontology Evolution [electronic resource] : Bridging the Semantic Gap / edited by Georgios Paliouras, Constantine D. Spyropoulos, George Tsatsaronis.
by Paliouras, Georgios | Spyropoulos, Constantine D | Tsatsaronis, George | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2591.
|
Advances in New Technologies, Interactive Interfaces, and Communicability [electronic resource] : First International Conference, ADNTIIC 2010, Huerta Grande, Argentina, October 20-22, 2010, Revised Selected Papers / edited by Francisco V. Cipolla Ficarra, Carlos Castro Lozano, Mauricio Pérez Jiménez, Emma Nicol, Andreas Kratky, Miguel Cipolla-Ficarra.
by Cipolla Ficarra, Francisco V | Castro Lozano, Carlos | Pérez Jiménez, Mauricio | Nicol, Emma | Kratky, Andreas | Cipolla-Ficarra, Miguel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2592.
|
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning [electronic resource] : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday / edited by Marcello Balduccini, Tran Cao Son.
by Balduccini, Marcello | Son, Tran Cao | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2593.
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part I / edited by Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava.
by Huang, Joshua Zhexue | Cao, Longbing | Srivastava, Jaideep | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2594.
|
Graph-Based Representations in Pattern Recognition [electronic resource] : 8th IAPR-TC-15 International Workshop, GbRPR 2011, Münster, Germany, May 18-20, 2011. Proceedings / edited by Xiaoyi Jiang, Miquel Ferrer, Andrea Torsello.
by Jiang, Xiaoyi | Ferrer, Miquel | Torsello, Andrea | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2595.
|
Advances in Knowledge Discovery and Data Mining [electronic resource] : 15th Pacific-Asia Conference, PAKDD 2011, Shenzhen, China, May 24-27, 2011, Proceedings, Part II / edited by Joshua Zhexue Huang, Longbing Cao, Jaideep Srivastava.
by Huang, Joshua Zhexue | Cao, Longbing | Srivastava, Jaideep | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2596.
|
Computational Optimization, Methods and Algorithms [electronic resource] / edited by Slawomir Koziel, Xin-She Yang.
by Koziel, Slawomir | Yang, Xin-She | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2597.
|
Logic Programming and Nonmonotonic Reasoning [electronic resource] : 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings / edited by James P. Delgrande, Wolfgang Faber.
by Delgrande, James P | Faber, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2598.
|
Innovative Computing Methods and Their Applications to Engineering Problems [electronic resource] / edited by Nadia Nedjah, Leandro Santos Coelho, Viviana Cocco Mariani, Luiza Macedo Mourelle.
by Nedjah, Nadia | Santos Coelho, Leandro | Mariani, Viviana Cocco | Macedo Mourelle, Luiza | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2599.
|
Ubiquitous Computing and Multimedia Applications [electronic resource] : Second International Conference, UCMA 2011, Daejeon, Korea, April 13-15, 2011. Proceedings, Part I / edited by Tai-hoon Kim, Hojjat Adeli, Rosslin John Robles, Maricel Balitanas.
by Kim, Tai-hoon | Adeli, Hojjat | Robles, Rosslin John | Balitanas, Maricel | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
|
|
2600.
|
Meta-Learning in Computational Intelligence [electronic resource] / edited by Norbert Jankowski, Włodzisław Duch, Krzysztof Gra̧bczewski.
by Jankowski, Norbert | Duch, Włodzisław | Gra̧bczewski, Krzysztof | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Online access: Click here to access online Availability: No items available
|
