Results
|
8361.
|
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland. by
- Muntean, Traian [editor.]
- Poulakis, Dimitrios [editor.]
- Rolland, Robert [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8080
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8362.
|
Progress in Artificial Intelligence [electronic resource] : 16th Portuguese Conference on Artificial Intelligence, EPIA 2013, Angra do Heroísmo, Azores, Portugal, September 9-12, 2013. Proceedings / edited by Luís Correia, Luís Paulo Reis, José Cascalho. by
- Correia, Luís [editor.]
- Reis, Luís Paulo [editor.]
- Cascalho, José [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8154
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8363.
|
Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers / edited by Tetsuo Ida, Jacques Fleuriot. by
- Ida, Tetsuo [editor.]
- Fleuriot, Jacques [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 7993
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8364.
|
|
|
8365.
|
Advances in Databases and Information Systems [electronic resource] : 17th East European Conference, ADBIS 2013, Genoa, Italy, September 1-4, 2013. Proceedings / edited by Barbara Catania, Giovanna Guerrini, Jaroslav Pokorný. by
- Catania, Barbara [editor.]
- Guerrini, Giovanna [editor.]
- Pokorný, Jaroslav [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8133
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8366.
|
OpenMP in the Era of Low Power Devices and Accelerators [electronic resource] : 9th International Workshop on OpenMP, IWOMP 2013, Canberra, ACT, Australia, September 16-18, 2013. Proceedings / edited by Alistair P. Rendell, Barbara M. Chapman, Matthias S. Müller. by
- Rendell, Alistair P [editor.]
- Chapman, Barbara M [editor.]
- Müller, Matthias S [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8122
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8367.
|
Partially Supervised Learning [electronic resource] : Second IAPR International Workshop, PSL 2013, Nanjing, China, May 13-14, 2013, Revised Selected Papers / edited by Zhi-Hua Zhou, Friedhelm Schwenker. by
- Zhou, Zhi-Hua [editor.]
- Schwenker, Friedhelm [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8183
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8368.
|
Computational Methods in Systems Biology [electronic resource] : 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013. Proceedings / edited by Ashutosh Gupta, Thomas A. Henzinger. by
- Gupta, Ashutosh [editor.]
- Henzinger, Thomas A [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8130
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8369.
|
|
|
8370.
|
Language Processing and Knowledge in the Web [electronic resource] : 25th International Conference, GSCL 2013, Darmstadt, Germany, September 25-27, 2013. Proceedings / edited by Iryna Gurevych, Chris Biemann, Torsten Zesch. by
- Gurevych, Iryna [editor.]
- Biemann, Chris [editor.]
- Zesch, Torsten [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8105
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8371.
|
Computer Performance Engineering [electronic resource] : 10th European Workshop, EPEW 2013, Venice, Italy, September 16-17, 2013. Proceedings / edited by Maria Simonetta Balsamo, William J. Knottenbelt, Andrea Marin. by
- Balsamo, Maria Simonetta [editor.]
- Knottenbelt, William J [editor.]
- Marin, Andrea [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8168
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8372.
|
Artificial Neural Networks and Machine Learning – ICANN 2013 [electronic resource] : 23rd International Conference on Artificial Neural Networks Sofia, Bulgaria, September 10-13, 2013. Proceedings / edited by Valeri Mladenov, Petia Koprinkova-Hristova, Günther Palm, Alessandro E. P. Villa, Bruno Appollini, Nikola Kasabov. by
- Mladenov, Valeri [editor.]
- Koprinkova-Hristova, Petia [editor.]
- Palm, Günther [editor.]
- Villa, Alessandro E. P [editor.]
- Appollini, Bruno [editor.]
- Kasabov, Nikola [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8131
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8373.
|
|
|
8374.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab. by
- Mori, Kensaku [editor.]
- Sakuma, Ichiro [editor.]
- Sato, Yoshinobu [editor.]
- Barillot, Christian [editor.]
- Navab, Nassir [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8151
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8375.
|
Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013 [electronic resource] : 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part II / edited by Kensaku Mori, Ichiro Sakuma, Yoshinobu Sato, Christian Barillot, Nassir Navab. by
- Mori, Kensaku [editor.]
- Sakuma, Ichiro [editor.]
- Sato, Yoshinobu [editor.]
- Barillot, Christian [editor.]
- Navab, Nassir [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8150
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8376.
|
Flexible Query Answering Systems [electronic resource] : 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings / edited by Henrik Legind Larsen, Maria J. Martin-Bautista, María Amparo Vila, Troels Andreasen, Henning Christiansen. by
- Larsen, Henrik Legind [editor.]
- Martin-Bautista, Maria J [editor.]
- Vila, María Amparo [editor.]
- Andreasen, Troels [editor.]
- Christiansen, Henning [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8132
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8377.
|
Multiagent System Technologies [electronic resource] : 11th German Conference, MATES 2013, Koblenz, Germany, September 16-20, 2013. Proceedings / edited by Matthias Klusch, Matthias Thimm, Marcin Paprzycki. by
- Klusch, Matthias [editor.]
- Thimm, Matthias [editor.]
- Paprzycki, Marcin [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8076
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8378.
|
Communications and Multimedia Security [electronic resource] : 14th IFIP TC 6/TC 11 International Conference, CMS 2013, Magdeburg, Germany, September 25-26, 2013. Proceedings / edited by Bart De Decker, Jana Dittmann, Christian Kraetzer, Claus Vielhauer. by
- Decker, Bart De [editor.]
- Dittmann, Jana [editor.]
- Kraetzer, Christian [editor.]
- Vielhauer, Claus [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8099
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8379.
|
Runtime Verification [electronic resource] : 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings / edited by Axel Legay, Saddek Bensalem. by
- Legay, Axel [editor.]
- Bensalem, Saddek [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8174
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|
|
8380.
|
Serious Games Development and Applications [electronic resource] : 4th International Conference, SGDA 2013, Trondheim, Norway, September 25-27, 2013. Proceedings / edited by Minhua Ma, Manuel Fradinho Oliveira, Sobah Petersen, Jannicke Baalsrud Hauge. by
- Ma, Minhua [editor.]
- Oliveira, Manuel Fradinho [editor.]
- Petersen, Sobah [editor.]
- Hauge, Jannicke Baalsrud [editor.]
- SpringerLink (Online service)
Series: Lecture Notes in Computer Science ; 8101
Source: Springer eBooks
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
Availability: No items available.
|