|
|
|
Computer Games [electronic resource] : Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers / edited by Tristan Cazenave, Mark H.M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius.
by Cazenave, Tristan [editor.] | Winands, Mark H.M [editor.] | Edelkamp, Stefan [editor.] | Schiffel, Stephan [editor.] | Thielscher, Michael [editor.] | Togelius, Julian [editor.] | SpringerLink (Online service). 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
|
|
|
|
History and Philosophy of Computing [electronic resource] : Third International Conference, HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers / edited by Fabio Gadducci, Mirko Tavosanis.
by Gadducci, Fabio [editor.] | Tavosanis, Mirko [editor.] | SpringerLink (Online service). 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
|
|
|
|
Theories of Programming and Formal Methods [electronic resource] : Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday / edited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
by Liu, Zhiming [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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 Cryptology -- ASIACRYPT 2015 [electronic resource] : 21st International Conference on the Theory and Application of Cryptology and Information Security,Auckland, New Zealand, November 29 -- December 3, 2015, Proceedings, Part I / edited by Tetsu Iwata, Jung Hee Cheon.
by Iwata, Tetsu [editor.] | Cheon, Jung Hee [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Formal Argumentation [electronic resource] : Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers / edited by Elizabeth Black, Sanjay Modgil, Nir Oren.
by Black, Elizabeth [editor.] | Modgil, Sanjay [editor.] | Oren, Nir [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 14th International Conference, UCNC 2015, Auckland, New Zealand, August 30 -- September 3, 2015, Proceedings / edited by Cristian S. Calude, Michael J. Dinneen.
by Calude, Cristian S [editor.] | Dinneen, Michael J [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Biomimetic and Biohybrid Systems [electronic resource] : 5th International Conference, Living Machines 2016, Edinburgh, UK, July 19-22, 2016. Proceedings / edited by Nathan F. Lepora, Anna Mura, Michael Mangan, Paul F.M.J. Verschure, Marc Desmulliez, Tony J. Prescott.
by Lepora, Nathan F [editor.] | Mura, Anna [editor.] | Mangan, Michael [editor.] | Verschure, Paul F.M.J [editor.] | Desmulliez, Marc [editor.] | Prescott, Tony J [editor.] | SpringerLink (Online service). 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
|
|
|
|
Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings / edited by Florin Manea, Dirk Nowotka.
by Manea, Florin [editor.] | Nowotka, Dirk [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
|
Nature of Computation and Communication [electronic resource] : Second International Conference, ICTCC 2016, Rach Gia, Vietnam, March 17-18, 2016, Revised Selected Papers / edited by Phan Cong Vinh, Leonard Barolli.
by Vinh, Phan Cong [editor.] | Barolli, Leonard [editor.] | SpringerLink (Online service). 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
|
|
|
|
Carl Adam Petri [electronic resource] : Life and Science / by Einar Smith.
by Smith, Einar [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Guided Self-Organization: Inception [electronic resource] / edited by Mikhail Prokopenko.
by Prokopenko, Mikhail [editor.] | SpringerLink (Online service). 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
|
|
|
|
Self-aware Computing Systems [electronic resource] : An Engineering Approach / edited by Peter R. Lewis, Marco Platzner, Bernhard Rinner, Jim T�rresen, Xin Yao.
by Lewis, Peter R [editor.] | Platzner, Marco [editor.] | Rinner, Bernhard [editor.] | T�rresen, Jim [editor.] | Yao, Xin [editor.] | SpringerLink (Online service). 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
|
|
|
|
An Introduction to Online Computation [electronic resource] : Determinism, Randomization, Advice / by Dennis Komm.
by Komm, Dennis [author.] | SpringerLink (Online service). 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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2016 [electronic resource] : 22nd International Conference on the Theory and Application of Cryptology and Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part I / edited by Jung Hee Cheon, Tsuyoshi Takagi.
by Cheon, Jung Hee [editor.] | Takagi, Tsuyoshi [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Advances in Cryptology - ASIACRYPT 2014 [electronic resource] : 20th International Conference on the Theory and Application of Cryptology and Information Security, Kaoshiung, Taiwan, R.O.C., December 7-11, 2014. Proceedings, Part I / edited by Palash Sarkar, Tetsu Iwata.
by Sarkar, Palash [editor.] | Iwata, Tetsu [editor.] | SpringerLink (Online service). 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
|
|
|
|
Computing Nature [electronic resource] : Turing Centenary Perspective / edited by Gordana Dodig-Crnkovic, Raffaela Giovagnoli.
by Dodig-Crnkovic, Gordana [editor.] | Giovagnoli, Raffaela [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings / edited by Michael Fellows, Xuehou Tan, Binhai Zhu.
by Fellows, Michael [editor.] | Tan, Xuehou [editor.] | Zhu, Binhai [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
An Introduction to Transfer Entropy [electronic resource] : Information Flow in Complex Systems / by Terry Bossomaier, Lionel Barnett, Michael Harr�e, Joseph T. Lizier.
by Bossomaier, Terry [author.] | Barnett, Lionel [author.] | Harr�e, Michael [author.] | Lizier, Joseph T [author.] | SpringerLink (Online service). 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
|
|
|
|
Advances in Artificial Life, Evolutionary Computation and Systems Chemistry [electronic resource] : 10th Italian Workshop, WIVACE 2015, Bari, Italy, September 22-25, 2015, Revised Selected Papers / edited by Federico Rossi, Fabio Mavelli, Pasquale Stano, Danilo Caivano.
by Rossi, Federico [editor.] | Mavelli, Fabio [editor.] | Stano, Pasquale [editor.] | Caivano, Danilo [editor.] | SpringerLink (Online service). 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
|
|
|
|
Nature of Computation and Communication [electronic resource] : International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers / edited by Phan Cong Vinh, Emil Vassev, Mike Hinchey.
by Vinh, Phan Cong [editor.] | Vassev, Emil [editor.] | Hinchey, Mike [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
|
