|
|
|
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ützle.
by Dorigo, Marco [editor.] | Birattari, Mauro [editor.] | Garnier, Simon [editor.] | Hamann, Heiko [editor.] | Montes de Oca, Marco [editor.] | Solnon, Christine [editor.] | Stützle, Thomas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2014 [electronic resource] : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings / edited by Carsten Sinz, Uwe Egly.
by Sinz, Carsten [editor.] | Egly, Uwe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Space-Efficient Data Structures, Streams, and Algorithms [electronic resource] : Papers in Honor of J. Ian Munro, on the Occasion of His 66th Birthday / edited by Andrej Brodnik, Alejandro Lopez-Ortiz, Venkatesh Raman, Alfredo Viola.
by Brodnik, Andrej [editor.] | Lopez-Ortiz, Alejandro [editor.] | Raman, Venkatesh [editor.] | Viola, Alfredo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Interactive Storytelling [electronic resource] : Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimarães, Portugal, December 9-11, 2009, Proceedings / edited by Ido A Iurgel, Nelson Zagalo, Paolo Petta.
by Iurgel, Ido A [editor.] | Zagalo, Nelson [editor.] | Petta, Paolo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2009.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009Online access: Click here to access online Availability: No items available
|
|
|
|
Cellular Automata [electronic resource] : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014, Proceedings / edited by Jaroslaw Was, Georgios Sirakoulis, Stefania Bandini.
by Was, Jaroslaw [editor.] | Sirakoulis, Georgios [editor.] | Bandini, Stefania [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Human Language Technology Challenges for Computer Science and Linguistics [electronic resource] : 5th Language and Technology Conference, LTC 2011, Poznań, Poland, November 25--27, 2011, Revised Selected Papers / edited by Zygmunt Vetulani, Joseph Mariani.
by Vetulani, Zygmunt [editor.] | Mariani, Joseph [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Model-Driven Engineering Languages and Systems [electronic resource] : 17th International Conference, MODELS 2014, Valencia, Spain, September 283- October 4, 2014. Proceedings / edited by Juergen Dingel, Wolfram Schulte, Isidro Ramos, Silvia Abrahao, Emilio Insfran.
by Dingel, Juergen [editor.] | Schulte, Wolfram [editor.] | Ramos, Isidro [editor.] | Abrahao, Silvia [editor.] | Insfran, Emilio [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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 Safety, Reliability, and Security [electronic resource] : SAFECOMP 2014 Workshops: ASCoMS, DECSoS, DEVVARTS, ISSE, ReSA4CI, SASSUR. Florence, Italy, September 8-9, 2014, Proceedings / edited by Andrea Bondavalli, Andrea Ceccarelli, Frank Ortmeier.
by Bondavalli, Andrea [editor.] | Ceccarelli, Andrea [editor.] | Ortmeier, Frank [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Software Architecture [electronic resource] : 8th European Conference, ECSA 2014, Vienna, Austria, August 25-29, 2014, Proceedings / edited by Paris Avgeriou, Uwe Zdun.
by Avgeriou, Paris [editor.] | Zdun, Uwe [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Simulation, Modeling, and Programming for Autonomous Robots [electronic resource] : 4th International Conference, SIMPAR 2014, Bergamo, Italy, October 20-23, 2014. Proceedings / edited by Davide Brugali, Jan Broenink, Torsten Kroeger, Bruce MacDonald.
by Brugali, Davide [editor.] | Broenink, Jan [editor.] | Kroeger, Torsten [editor.] | MacDonald, Bruce [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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 Modeling and Analysis of Timed Systems [electronic resource] : 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, Proceedings / edited by Axel Legay, Marius Bozga.
by Legay, Axel [editor.] | Bozga, Marius [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Integrated Formal Methods [electronic resource] : 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski.
by Albert, Elvira [editor.] | Sekerinski, Emil [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
DNA Computing and Molecular Programming [electronic resource] : 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings / edited by Satoshi Murata, Satoshi Kobayashi.
by Murata, Satoshi [editor.] | Kobayashi, Satoshi [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Theoretical Computer Science [electronic resource] : 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings / edited by Jos C.M. Baeten, Tom Ball, Frank S. de Boer.
by Baeten, Jos C.M [editor.] | Ball, Tom [editor.] | de Boer, Frank S [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
System Analysis and Modeling: Models and Reusability [electronic resource] : 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher.
by Amyot, Daniel [editor.] | Fonseca i Casas, Pau [editor.] | Mussbacher, Gunter [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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, Greece, June 30 -- July 2, 2014, Proceedings / edited by Thorsten Holz, Sotiris Ioannidis.
by Holz, Thorsten [editor.] | Ioannidis, Sotiris [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Declarative Programming and Knowledge Management [electronic resource] : Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers / edited by Michael Hanus, Ricardo Rocha.
by Hanus, Michael [editor.] | Rocha, Ricardo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014, Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün.
by Giannakopoulou, Dimitra [editor.] | Salaün, Gwen [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Selected Areas in Cryptography -- SAC 2014 [electronic resource] : 21st International Conference, Montreal, QC, Canada, August 14-15, 2014, Revised Selected Papers / edited by Antoine Joux, Amr Youssef.
by Joux, Antoine [editor.] | Youssef, Amr [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Secure IT Systems [electronic resource] : 19th Nordic Conference, NordSec 2014, Tromsø, Norway, October 15-17, 2014, Proceedings / edited by Karin Bernsmed, Simone Fischer-Hübner.
by Bernsmed, Karin [editor.] | Fischer-Hübner, Simone [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
