|
|
13021.
|
Revision, Acceptability and Context [electronic resource] : Theoretical and Algorithmic Aspects / by Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo.
by Gabbay, Dov M [author.] | Rodrigues, Odinaldo T [author.] | Russo, Alessandra [author.] | 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
|
|
|
13022.
|
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
|
|
|
13023.
|
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
|
|
|
13024.
|
Recent Trends in Wireless and Mobile Networks [electronic resource] : Second International Conference, WiMo 2010, Ankara, Turkey, June 26-28, 2010. Proceedings / edited by Abdulkadir Özcan, Nabendu Chaki, Dhinaharan Nagamalai.
by Özcan, Abdulkadir [editor.] | Chaki, Nabendu [editor.] | Nagamalai, Dhinaharan [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
|
|
|
13025.
|
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
|
|
|
13026.
|
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
|
|
|
13027.
|
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
|
|
|
13028.
|
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
|
|
|
13029.
|
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
|
|
|
13030.
|
Fluid Structure Interaction II [electronic resource] : Modelling, Simulation, Optimization / edited by Hans-Joachim Bungartz, Miriam Mehl, Michael Schäfer.
by Bungartz, Hans-Joachim [editor.] | Mehl, Miriam [editor.] | Schäfer, Michael [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
|
|
|
13031.
|
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
|
|
|
13032.
|
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
|
|
|
13033.
|
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
|
|
|
13034.
|
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
|
|
|
13035.
|
Privacy and Identity Management for Life [electronic resource] : 5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School, Nice, France, September 7-11, 2009, Revised Selected Papers / edited by Michele Bezzi, Penny Duquenoy, Simone Fischer-Hübner, Marit Hansen, Ge Zhang.
by Bezzi, Michele [editor.] | Duquenoy, Penny [editor.] | Fischer-Hübner, Simone [editor.] | Hansen, Marit [editor.] | Zhang, Ge [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
|
|
|
13036.
|
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
|
|
|
13037.
|
Networked Digital Technologies [electronic resource] : Second International Conference, NDT 2010, Prague, Czech Republic, July 7-9, 2010. Proceedings, Part I / edited by Filip Zavoral, Jakub Yaghob, Pit Pichappan, Eyas El-Qawasmeh.
by Zavoral, Filip [editor.] | Yaghob, Jakub [editor.] | Pichappan, Pit [editor.] | El-Qawasmeh, Eyas [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
|
|
|
13038.
|
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
|
|
|
13039.
|
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
|
|
|
13040.
|
Efficient Secure Two-Party Protocols [electronic resource] : Techniques and Constructions / by Carmit Hazay, Yehuda Lindell.
by Hazay, Carmit [author.] | Lindell, Yehuda [author.] | 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
|
