|
|
|
Swarm Intelligence [electronic resource] : 9th International Conference, ANTS 2014, Brussels, Belgium, September 10-12, 2014. Proceedings / edited by Marco Dorigo, Mauro Birattari, Simon Garnier, Heiko Hamann, Marco Montes de Oca, Christine Solnon, Thomas St�utzle.
by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Garnier, Simon [editor.] | Hamann, Heiko [editor.] | Montes de Oca, Marco [editor.] | Solnon, Christine [editor.] | St�utzle, Thomas [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Vision - ECCV 2014 [electronic resource] : 13th European Conference, Zurich, Switzerland, September 6-12, 2014, Proceedings, Part IV / edited by David Fleet, Tomas Pajdla, Bernt Schiele, Tinne Tuytelaars.
by Fleet, David [editor.] | Pajdla, Tomas [editor.] | Schiele, Bernt [editor.] | Tuytelaars, Tinne [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Using and Improving OpenMP for Devices, Tasks, and More [electronic resource] : 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings / edited by Luiz DeRose, Bronis R. de Supinski, Stephen L. Olivier, Barbara M. Chapman, Matthias S. M�uller.
by DeRose, Luiz [editor.] | Supinski, Bronis R. de [editor.] | Olivier, Stephen L [editor.] | Chapman, Barbara M [editor.] | M�uller, Matthias S [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Medical Image Computing and Computer-Assisted Intervention - MICCAI 2014 [electronic resource] : 17th International Conference, Boston, MA, USA, September 14-18, 2014, Proceedings, Part III / edited by Polina Golland, Nobuhiko Hata, Christian Barillot, Joachim Hornegger, Robert Howe.
by Golland, Polina [editor.] | Hata, Nobuhiko [editor.] | Barillot, Christian [editor.] | Hornegger, Joachim [editor.] | Howe, Robert [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Data Integration in the Life Sciences [electronic resource] : 10th International Conference, DILS 2014, Lisbon, Portugal, July 17-18, 2014. Proceedings / edited by Helena Galhardas, Erhard Rahm.
by Galhardas, Helena [editor.] | Rahm, Erhard [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Aspects of Component Software [electronic resource] : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers / edited by Jos�e Luiz Fiadeiro, Zhiming Liu, Jinyun Xue.
by Fiadeiro, Jos�e Luiz [editor.] | Liu, Zhiming [editor.] | Xue, Jinyun [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Trust and Trustworthy Computing [electronic resource] : 7th International Conference, TRUST 2014, Heraklion, Crete, June 30 - July 2, 2014. Proceedings / edited by Thorsten Holz, Sotiris Ioannidis.
by Holz, Thorsten [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Graph-Based Representation and Reasoning [electronic resource] : 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings / edited by Nathalie Hernandez, Robert J�aschke, Madalina Croitoru.
by Hernandez, Nathalie [editor.] | J�aschke, Robert [editor.] | Croitoru, Madalina [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithm Theory - SWAT 2014 [electronic resource] : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings / edited by R. Ravi, Inge Li G�rtz.
by Ravi, R [editor.] | G�rtz, Inge Li [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Computers Helping People with Special Needs [electronic resource] : 14th International Conference, ICCHP 2014, Paris, France, July 9-11, 2014, Proceedings, Part II / edited by Klaus Miesenberger, Deborah Fels, Dominique Archambault, Petr Peň�az, Wolfgang Zagler.
by Miesenberger, Klaus [editor.] | Fels, Deborah [editor.] | Archambault, Dominique [editor.] | Peň�az, Petr [editor.] | Zagler, Wolfgang [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence Techniques for Rational Decision Making [electronic resource] / by Tshilidzi Marwala.
by Marwala, Tshilidzi [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Language Processing with Perl and Prolog [electronic resource] : Theories, Implementation, and Application / by Pierre M. Nugues.
by Nugues, Pierre M [author.] | SpringerLink (Online service). Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
S-BPM ONE - Scientific Research [electronic resource] : 6th International Conference, S-BPM ONE 2014, Eichst�att, Germany, April 22-23, 2014. Proceedings / edited by Alexandros Nanopoulos, Werner Schmidt.
by Nanopoulos, Alexandros [editor.] | Schmidt, Werner [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Verified Software: Theories, Tools, and Experiments [electronic resource] : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers / edited by Arie Gurfinkel, Sanjit A. Seshia.
by Gurfinkel, Arie [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Combinatorial Image Analysis [electronic resource] : 16th International Workshop, IWCIA 2014, Brno, Czech Republic, May 28-30, 2014. Proceedings / edited by Reneta P. Barneva, Valentin E. Brimkov, Josef Šlapal.
by Barneva, Reneta P [editor.] | Brimkov, Valentin E [editor.] | Šlapal, Josef [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Formal Methods for Industrial Critical Systems [electronic resource] : 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings / edited by Fr�ed�eric Lang, Francesco Flammini.
by Lang, Fr�ed�eric [editor.] | Flammini, Francesco [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Graph Structures for Knowledge Representation and Reasoning [electronic resource] : Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers / edited by Madalina Croitoru, Sebastian Rudolph, Stefan Woltran, Christophe Gonzales.
by Croitoru, Madalina [editor.] | Rudolph, Sebastian [editor.] | Woltran, Stefan [editor.] | Gonzales, Christophe [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Autonomous Military Robotics [electronic resource] / by Vishnu Nath, Stephen E. Levinson.
by Nath, Vishnu [author.] | Levinson, Stephen E [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Persuasive Technology [electronic resource] : 10th International Conference, PERSUASIVE 2015, Chicago, IL, USA, June 3-5, 2015, Proceedings / edited by Thomas MacTavish, Santosh Basapur.
by MacTavish, Thomas [editor.] | Basapur, Santosh [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Machine Learning in Medical Imaging [electronic resource] : 5th International Workshop, MLMI 2014, Held in Conjunction with MICCAI 2014, Boston, MA, USA, September 14, 2014. Proceedings / edited by Guorong Wu, Daoqiang Zhang, Luping Zhou.
by Wu, Guorong [editor.] | Zhang, Daoqiang [editor.] | Zhou, Luping [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
