|
|
|
Pursuit of the Universal [electronic resource] : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings / edited by Arnold Beckmann, Laurent Bienvenu, Nataša Jonoska.
by Beckmann, Arnold [editor.] | Bienvenu, Laurent [editor.] | Jonoska, Nataša [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
|
|
|
|
Descriptional Complexity of Formal Systems [electronic resource] : 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar C�ampeanu, Florin Manea, Jeffrey Shallit.
by C�ampeanu, Cezar [editor.] | Manea, Florin [editor.] | Shallit, Jeffrey [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
|
|
|
|
Artificial Life and Computational Intelligence [electronic resource] : Second Australasian Conference, ACALCI 2016, Canberra, ACT, Australia, February 2-5, 2016, Proceedings / edited by Tapabrata Ray, Ruhul Sarker, Xiaodong Li.
by Ray, Tapabrata [editor.] | Sarker, Ruhul [editor.] | Li, Xiaodong [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
|
|
|
|
Mathematical Modeling of Technological Processes [electronic resource] : 8th International Conference, CITech 2015, Almaty, Kazakhstan, September 24-27, 2015, Proceedings / edited by Nargozy Danaev, Yurii Shokin, Akhmed-Zaki Darkhan.
by Danaev, Nargozy [editor.] | Shokin, Yurii [editor.] | Darkhan, Akhmed-Zaki [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
|
|
|
|
Implementation and Application of Automata [electronic resource] : 20th International Conference, CIAA 2015, Ume�a, Sweden, August 18-21, 2015, Proceedings / edited by Frank Drewes.
by Drewes, Frank [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
|
|
|
|
Parameterized Algorithms [electronic resource] / by Marek Cygan, Fedor V. Fomin, �ukasz Kowalik, Daniel Lokshtanov, D�aniel Marx, Marcin Pilipczuk, Micha� Pilipczuk, Saket Saurabh.
by Cygan, Marek [author.] | Fomin, Fedor V [author.] | Kowalik, �ukasz [author.] | Lokshtanov, Daniel [author.] | Marx, D�aniel [author.] | Pilipczuk, Marcin [author.] | Pilipczuk, Micha� [author.] | Saurabh, Saket [author.] | 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
|
|
|
|
Machines, Computations, and Universality [electronic resource] : 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.
by Durand-Lose, Jerome [editor.] | Nagy, Benedek [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
|
|
|
|
Structural Information and Communication Complexity [electronic resource] : 22nd International Colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015. Post-Proceedings / edited by Christian Scheideler.
by Scheideler, Christian [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
|
|
|
|
Advances in Swarm and Computational Intelligence [electronic resource] : 6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, China, June 25-28, 2015, Proceedings, Part III / edited by Ying Tan, Yuhui Shi, Fernando Buarque, Alexander Gelbukh, Swagatam Das, Andries Engelbrecht.
by Tan, Ying [editor.] | Shi, Yuhui [editor.] | Buarque, Fernando [editor.] | Gelbukh, Alexander [editor.] | Das, Swagatam [editor.] | Engelbrecht, Andries [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
|
|
|
|
Geometric Science of Information [electronic resource] : Second International Conference, GSI 2015, Palaiseau, France, October 28-30, 2015, Proceedings / edited by Frank Nielsen, Fr�ed�eric Barbaresco.
by Nielsen, Frank [editor.] | Barbaresco, Fr�ed�eric [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
|
|
|
|
Approximation and Online Algorithms [electronic resource] : 12th International Workshop, WAOA 2014, Wroc�aw, Poland, September 11-12, 2014, Revised Selected Papers / edited by Evripidis Bampis, Ola Svensson.
by Bampis, Evripidis [editor.] | Svensson, Ola [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
|
|
|
|
Security and Trust Management [electronic resource] : 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings / edited by Sara Foresti.
by Foresti, Sara [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
|
|
|
|
Numerical Methods and Modelling for Engineering [electronic resource] / by Richard Khoury, Douglas Wilhelm Harder.
by Khoury, Richard [author.] | Harder, Douglas Wilhelm [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
|
|
|
|
Integration of AI and OR Techniques in Constraint Programming [electronic resource] : 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings / edited by Laurent Michel.
by Michel, Laurent [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
|
|
|
|
Statistical Learning and Data Sciences [electronic resource] : Third International Symposium, SLDS 2015, Egham, UK, April 20-23, 2015, Proceedings / edited by Alexander Gammerman, Vladimir Vovk, Harris Papadopoulos.
by Gammerman, Alexander [editor.] | Vovk, Vladimir [editor.] | Papadopoulos, Harris [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
|
|
|
|
Swarm Intelligence Based Optimization [electronic resource] : First International Conference, ICSIBO 2014, Mulhouse, France, May 13-14, 2014. Revised Selected Papers / edited by Patrick Siarry, Lhassane Idoumghar, Julien Lepagnot.
by Siarry, Patrick [editor.] | Idoumghar, Lhassane [editor.] | Lepagnot, Julien [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
|
|
|
|
Bayesian and grAphical Models for Biomedical Imaging [electronic resource] : First International Workshop, BAMBI 2014, Cambridge, MA, USA, September 18, 2014, Revised Selected Papers / edited by M. Jorge Cardoso, Ivor Simpson, Tal Arbel, Doina Precup, Annemie Ribbens.
by Cardoso, M. Jorge [editor.] | Simpson, Ivor [editor.] | Arbel, Tal [editor.] | Precup, Doina [editor.] | Ribbens, Annemie [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
|
|
|
|
Emotion Modeling [electronic resource] : Towards Pragmatic Computational Models of Affective Processes / edited by Tibor Bosse, Joost Broekens, Jo�ao Dias, Janneke van der Zwaan.
by Bosse, Tibor [editor.] | Broekens, Joost [editor.] | Dias, Jo�ao [editor.] | van der Zwaan, Janneke [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
|
|
|
|
Discrete and Computational Geometry and Graphs [electronic resource] : 16th Japanese Conference, JCDCGG 2013, Tokyo, Japan, September 17-19, 2013, Revised Selected Papers / edited by Jin Akiyama, Hiro Ito, Toshinori Sakai.
by Akiyama, Jin [editor.] | Ito, Hiro [editor.] | Sakai, Toshinori [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
|
|
|
|
Constructive Side-Channel Analysis and Secure Design [electronic resource] : 5th International Workshop, COSADE 2014, Paris, France, April 13-15, 2014. Revised Selected Papers / edited by Emmanuel Prouff.
by Prouff, Emmanuel [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
|
