|
|
|
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
|
|
|
|
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
|
|
|
|
Unifying Theories of Programming [electronic resource] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / edited by David Naumann.
by Naumann, David [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
|
|
|
|
Logic and Its Applications [electronic resource] : 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings / edited by Kamal Lodaya.
by Lodaya, Kamal [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
|
|
|
|
Foundations of Software Science and Computation Structures [electronic resource] : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings / edited by Frank Pfenning.
by Pfenning, Frank [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
|
|
|
|
Formal Modeling and Analysis of Timed Systems [electronic resource] : 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings / edited by Martin Fr�anzle, Nicolas Markey.
by Fr�anzle, Martin [editor.] | Markey, Nicolas [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
|
|
|
|
Reachability Problems [electronic resource] : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings / edited by Jo�el Ouaknine, Igor Potapov, James Worrell.
by Ouaknine, Jo�el [editor.] | Potapov, Igor [editor.] | Worrell, James [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
|
|
|
|
Intelligent Computing in Bioinformatics [electronic resource] : 10th International Conference, ICIC 2014, Taiyuan, China, August 3-6, 2014. Proceedings / edited by De-Shuang Huang, Kyungsook Han, Michael Gromiha.
by Huang, De-Shuang [editor.] | Han, Kyungsook [editor.] | Gromiha, Michael [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
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 8th International Conference, EMO 2015, Guimar�aes, Portugal, March 29 --April 1, 2015. Proceedings, Part I / edited by Ant�onio Gaspar-Cunha, Carlos Henggeler Antunes, Carlos Coello Coello.
by Gaspar-Cunha, Ant�onio [editor.] | Henggeler Antunes, Carlos [editor.] | Coello, Carlos Coello [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 Artificial Intelligence [electronic resource] : 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015 Albacete, Spain, November 9-12, 2015 Proceedings / edited by Jos�e M. Puerta, Jos�e A. G�amez, Bernabe Dorronsoro, Edurne Barrenechea, Alicia Troncoso, Bruno Baruque, Mikel Galar.
by Puerta, Jos�e M [editor.] | G�amez, Jos�e A [editor.] | Dorronsoro, Bernabe [editor.] | Barrenechea, Edurne [editor.] | Troncoso, Alicia [editor.] | Baruque, Bruno [editor.] | Galar, Mikel [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
|
|
|
|
Computational Methods in Systems Biology [electronic resource] : 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings / edited by Olivier Roux, J�er�emie Bourdon.
by Roux, Olivier [editor.] | Bourdon, J�er�emie [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
|
|
|
|
Formal Techniques for Safety-Critical Systems [electronic resource] : Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers / edited by Cyrille Artho, Peter Csaba �Olveczky.
by Artho, Cyrille [editor.] | �Olveczky, Peter Csaba [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
|
|
|
|
Bioinspired Computation in Artificial Systems [electronic resource] : International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part II / edited by Jos�e Manuel Ferr�andez Vicente, Jos�e Ram�on �Alvarez-S�anchez, F�elix de la Paz L�opez, Fco. Javier Toledo-Moreo, Hojjat Adeli.
by Ferr�andez Vicente, Jos�e Manuel [editor.] | �Alvarez-S�anchez, Jos�e Ram�on [editor.] | de la Paz L�opez, F�elix [editor.] | Toledo-Moreo, Fco. Javier [editor.] | Adeli, Hojjat [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
|
|
|
|
Directed Algebraic Topology and Concurrency [electronic resource] / by Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen.
by Fajstrup, Lisbeth [author.] | Goubault, Eric [author.] | Haucourt, Emmanuel [author.] | Mimram, Samuel [author.] | Raussen, Martin [author.] | 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
|
|
|
|
AI 2013: Advances in Artificial Intelligence [electronic resource] : 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings / edited by Stephen Cranefield, Abhaya Nayak.
by Cranefield, Stephen [editor.] | Nayak, Abhaya [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial 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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 16th European Conference, EvoCOP 2016, Porto, Portugal, March 30 - April 1, 2016, Proceedings / edited by Francisco Chicano, Bin Hu, Pablo Garc�ia-S�anchez.
by Chicano, Francisco [editor.] | Hu, Bin [editor.] | Garc�ia-S�anchez, Pablo [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
|
|
|
|
Regulated Grammars and Automata [electronic resource] / by Alexander Meduna, Petr Zemek.
by Meduna, Alexander [author.] | Zemek, Petr [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: New York, NY : Springer New York : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Artificial Intelligence and Soft Computing [electronic resource] : 14th International Conference, ICAISC 2015, Zakopane, Poland, June 14-18, 2015, Proceedings, Part I / edited by Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada.
by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafal [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi A [editor.] | Zurada, Jacek M [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
|
|
|
|
Intelligent Computing Theories and Methodologies [electronic resource] : 11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II / edited by De-Shuang Huang, Kang-Hyun Jo, Abir Hussain.
by Huang, De-Shuang [editor.] | Jo, Kang-Hyun [editor.] | Hussain, Abir [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
|
