|
|
|
Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.
by Carette, Jacques [editor.] | Aspinall, David [editor.] | Lange, Christoph [editor.] | Sojka, Petr [editor.] | Windsteiger, Wolfgang [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
|
|
|
|
Genetic Programming [electronic resource] : 16th European Conference, EuroGP 2013, Vienna, Austria, April 3-5, 2013, Proceedings / edited by Krzysztof Krawiec, Alberto Moraglio, Ting Hu, A. Sima Etaner-Uyar, Bin Hu.
by Krawiec, Krzysztof [editor.] | Moraglio, Alberto [editor.] | Hu, Ting [editor.] | Etaner-Uyar, A. Sima [editor.] | Hu, Bin [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
|
|
|
|
Small-Scale Robotics From Nano-to-Millimeter-Sized Robotic Systems and Applications [electronic resource] : First International Workshop, microICRA 2013, Karlsruhe, Germany, May 6-10, 2013, Revised and Extended Papers / edited by Igor Paprotny, Sarah Bergbreiter.
by Paprotny, Igor [editor.] | Bergbreiter, Sarah [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Conceptual Structures for Discovering Knowledge [electronic resource] : 20th International Conference on Conceptual Structures, ICCS 2013, Mumbay, India, January 10-12, 2013, Proceedings / edited by Heather D. Pfeiffer, Dmitry Ignatov, Jonas Poelmans, G. Nagarjuna.
by Pfeiffer, Heather D [editor.] | Ignatov, Dmitry [editor.] | Poelmans, Jonas [editor.] | Nagarjuna, G [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
|
|
|
|
Privacy Enhancing Technologies [electronic resource] : 12th International Symposium, PETS 2012, Vigo, Spain, July 11-13, 2012, Proceedings / edited by Simone Fischer-Hübner, Matthew Wright.
by Fischer-Hübner, Simone [editor.] | Wright, Matthew [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
|
|
|
|
Information Security and Cryptology -- ICISC 2012 [electronic resource] : 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers / edited by Taekyoung Kwon, Mun-Kyu Lee, Daesung Kwon.
by Kwon, Taekyoung [editor.] | Lee, Mun-Kyu [editor.] | Kwon, Daesung [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
|
|
|
|
Descriptive Set Theoretic Methods in Automata Theory [electronic resource] : Decidability and Topological Complexity / by Michał Skrzypczak.
by Skrzypczak, Michał [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Data and Applications Security and Privacy XXVII [electronic resource] : 27th Annual IFIP WG 11.3 Conference, DBSec 2013, Newark, NJ, USA, July 15-17, 2013, Proceedings / edited by Lingyu Wang, Basit Shafiq.
by Wang, Lingyu [editor.] | Shafiq, Basit [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
|
|
|
|
Network Embedding [electronic resource] : Theories, Methods, and Applications / by Cheng Yang, Zhiyuan Liu, Cunchao Tu, Chuan Shi, Maosong Sun.
by Yang, Cheng [author.] | Liu, Zhiyuan [author.] | Tu, Cunchao [author.] | Shi, Chuan [author.] | Sun, Maosong [author.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Strategic Voting [electronic resource] / by Reshef Meir.
by Meir, Reshef [author.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
A Concise Introduction to Models and Methods for Automated Planning [electronic resource] / by Hector Geffner, Blai Bonet.
by Geffner, Hector [author.] | Bonet, Blai [author.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithms - ESA 2013 [electronic resource] : 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings / edited by Hans L. Bodlaender, Giuseppe F. Italiano.
by Bodlaender, Hans L [editor.] | Italiano, Giuseppe F [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
|
|
|
|
A Short Introduction to Preferences [electronic resource] : Between AI and Social Choice / by Francesca Rossi, Kristen Brent Venable, Toby Walsh.
by Rossi, Francesca [author.] | Venable, Kristen Brent [author.] | Walsh, Toby [author.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Simulated Evolution and Learning [electronic resource] : 9th International Conference, SEAL 2012, Hanoi, Vietnam, December 16-19, 2012, Proceedings / edited by Lam Thu Bui, Yew Soon Ong, Nguyen Xuan Hoai, Hisao Ishibuchi, Ponnuthurai Nagaratnam Suganthan.
by Bui, Lam Thu [editor.] | Ong, Yew Soon [editor.] | Hoai, Nguyen Xuan [editor.] | Ishibuchi, Hisao [editor.] | Suganthan, Ponnuthurai Nagaratnam [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 9th International Workshop, WAOA 2011, Saarbrücken, Germany, September 8-9, 2011, Revised Selected Papers / edited by Roberto Solis-Oba, Giuseppe Persiano.
by Solis-Oba, Roberto [editor.] | Persiano, Giuseppe [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
|
|
|
|
Transactions on Computational Science X [electronic resource] : Special Issue on Security in Computing, Part I / edited by Marina L. Gavrilova, C. J. Kenneth Tan.
by Gavrilova, Marina L [editor.] | Tan, C. J. Kenneth [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
|
|
|
Cognitive Behavioural Systems [electronic resource] : COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers / edited by Anna Esposito, Antonietta M. Esposito, Alessandro Vinciarelli, Rüdiger Hoffmann, Vincent Müller.
by Esposito, Anna [editor.] | Esposito, Antonietta M [editor.] | Vinciarelli, Alessandro [editor.] | Hoffmann, Rüdiger [editor.] | Müller, Vincent [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
|
|
|
|
Software Engineering [electronic resource] : International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures / edited by Bertrand Meyer, Martin Nordio.
by Meyer, Bertrand [editor.] | Nordio, Martin [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Engineering Psychology and Cognitive Ergonomics. Understanding Human Cognition [electronic resource] : 10th International Conference, EPCE 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part I / edited by Don Harris.
by Harris, Don [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
|
|
|
|
Advances in Natural Computation [electronic resource] : Second International Conference, ICNC 2006, Xi'an, China, September 24-28, 2006, Proceedings, Part I / edited by Licheng Jiao, Lipo Wang, Xinbo Gao, Jing Liu, Feng Wu.
by Jiao, Licheng [editor.] | Wang, Lipo [editor.] | Gao, Xinbo [editor.] | Liu, Jing [editor.] | Wu, Feng [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
