|
|
5861.
|
Artifical Evolution [electronic resource] : 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26-28, 2009. Revised Selected Papers / edited by Pierre Collet, Nicolas Monmarché, Pierrick Legrand, Marc Schoenauer, Evelyne Lutton.
by Collet, Pierre [editor.] | Monmarché, Nicolas [editor.] | Legrand, Pierrick [editor.] | Schoenauer, Marc [editor.] | Lutton, Evelyne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5862.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.
by Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5863.
|
Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I / edited by Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, Paul G. Spirakis.
by Abramsky, Samson [editor.] | Gavoille, Cyril [editor.] | Kirchner, Claude [editor.] | Meyer auf der Heide, Friedhelm [editor.] | Spirakis, Paul G [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5864.
|
Deontic Logic in Computer Science [electronic resource] : 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings / edited by Guido Governatori, Giovanni Sartor.
by Governatori, Guido [editor.] | Sartor, Giovanni [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5865.
|
Theory and Applications of Satisfiability Testing – SAT 2010 [electronic resource] : 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings / edited by Ofer Strichman, Stefan Szeider.
by Strichman, Ofer [editor.] | Szeider, Stefan [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5866.
|
Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30–July 2, 2010. Proceedings / edited by Roel Wieringa, Anne Persson.
by Wieringa, Roel [editor.] | Persson, Anne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5867.
|
Conceptual Structures: From Information to Intelligence [electronic resource] : 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings / edited by Madalina Croitoru, Sébastien Ferré, Dickson Lukose.
by Croitoru, Madalina [editor.] | Ferré, Sébastien [editor.] | Lukose, Dickson [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5868.
|
Automated Reasoning [electronic resource] : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings / edited by Jürgen Giesl, Reiner Hähnle.
by Giesl, Jürgen [editor.] | Hähnle, Reiner [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5869.
|
Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 7th International Conference, DIMVA 2010, Bonn, Germany, July 8-9, 2010. Proceedings / edited by Christian Kreibich, Marko Jahnke.
by Kreibich, Christian [editor.] | Jahnke, Marko [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5870.
|
Web-Age Information Management [electronic resource] : 11th International Conference, WAIM 2010, Jiuzhaigou, China, July 15-17, 2010. Proceedings / edited by Lei Chen, Changjie Tang, Jun Yang, Yunjun Gao.
by Chen, Lei [editor.] | Tang, Changjie [editor.] | Yang, Jun [editor.] | Gao, Yunjun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5871.
|
Current Topics in Artificial Intelligence [electronic resource] : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009. Selected Papers / edited by Pedro Meseguer, Lawrence Mandow, Rafael M. Gasca.
by Meseguer, Pedro [editor.] | Mandow, Lawrence [editor.] | Gasca, Rafael M [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5872.
|
Case-Based Reasoning. Research and Development [electronic resource] : 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings / edited by Isabelle Bichindaritz, Stefania Montani.
by Bichindaritz, Isabelle [editor.] | Montani, Stefania [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5873.
|
Logic, Language and Meaning [electronic resource] : 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers / edited by Maria Aloni, Harald Bastiaanse, Tikitu Jager, Katrin Schulz.
by Aloni, Maria [editor.] | Bastiaanse, Harald [editor.] | Jager, Tikitu [editor.] | Schulz, Katrin [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5874.
|
Computer Aided Verification [electronic resource] : 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010. Proceedings / edited by Tayssir Touili, Byron Cook, Paul Jackson.
by Touili, Tayssir [editor.] | Cook, Byron [editor.] | Jackson, Paul [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5875.
|
Transactions on Data Hiding and Multimedia Security V [electronic resource] / edited by Yun Q. Shi.
by Shi, Yun Q [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5876.
|
A 25-Year Perspective on Logic Programming [electronic resource] : Achievements of the Italian Association for Logic Programming, GULP / edited by Agostino Dovier, Enrico Pontelli.
by Dovier, Agostino [editor.] | Pontelli, Enrico [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5877.
|
The Mathematics of Language [electronic resource] : 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis.
by Ebert, Christian [editor.] | Jäger, Gerhard [editor.] | Michaelis, Jens [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5878.
|
Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures / edited by Paulo Borba, Ana Cavalcanti, Augusto Sampaio, Jim Woodcook.
by Borba, Paulo [editor.] | Cavalcanti, Ana [editor.] | Sampaio, Augusto [editor.] | Woodcook, Jim [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5879.
|
New Modeling Concepts for Today’s Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings / edited by Jürgen Münch, Ye Yang, Wilhelm Schäfer.
by Münch, Jürgen [editor.] | Yang, Ye [editor.] | Schäfer, Wilhelm [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
|
|
5880.
|
Algorithmic Aspects in Information and Management [electronic resource] : 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010. Proceedings / edited by Bo Chen.
by Chen, Bo [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Online access: Click here to access online Availability: No items available
|
