|
|
|
Genetic Programming [electronic resource] : 12th European Conference, EuroGP 2009 Tübingen, Germany, April, 15-17, 2009 Proceedings / edited by Leonardo Vanneschi, Steven Gustafson, Alberto Moraglio, Ivanoe de Falco, Marc Ebner.
by Vanneschi, Leonardo [editor.] | Gustafson, Steven [editor.] | Moraglio, Alberto [editor.] | de Falco, Ivanoe [editor.] | Ebner, Marc [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
|
|
|
|
Formal Theories of Information [electronic resource] : From Shannon to Semantic Information Theory and General Concepts of Information / edited by Giovanni Sommaruga.
by Sommaruga, Giovanni [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
|
|
|
|
Artificial Immune Systems [electronic resource] : 5th International Conference, ICARIS 2006, Oeiras, Portugal, September 4-6, 2006, Proceedings / edited by Hugues Bersini, Jorge Carneiro.
by Bersini, Hugues [editor.] | Carneiro, Jorge [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
|
|
|
|
Computational Logic in Multi-Agent Systems [electronic resource] : 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers / edited by Michael Fisher, Fariba Sadri, Michael Thielscher.
by Fisher, Michael [editor.] | Sadri, Fariba [editor.] | Thielscher, Michael [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
|
|
|
|
Transactions on Petri Nets and Other Models of Concurrency III [electronic resource].
by 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
|
|
|
|
Theorem Proving in Higher Order Logics [electronic resource] : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings / edited by Stefan Berghofer, Tobias Nipkow, Christian Urban, Makarius Wenzel.
by Berghofer, Stefan [editor.] | Nipkow, Tobias [editor.] | Urban, Christian [editor.] | Wenzel, Makarius [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
|
|
|
|
MICAI 2005: Advances in Artificial Intelligence [electronic resource] : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings / edited by Alexander Gelbukh, Hugo Terashima.
by Gelbukh, Alexander [editor.] | Terashima, Hugo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Developments in Language Theory [electronic resource] : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings / edited by Srečko Brlek, Christophe Reutenauer.
by Brlek, Srečko [editor.] | Reutenauer, Christophe [editor.] | 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
|
|
|
|
Brain, Vision, and Artificial Intelligence [electronic resource] : First International Symposium, BVAI 2005, Naples, Italy, October 19-21, 2005, Proceedings / edited by Massimo De Gregorio, Vito Di Maio, Maria Frucci, Carlo Musio.
by De Gregorio, Massimo [editor.] | Di Maio, Vito [editor.] | Frucci, Maria [editor.] | Musio, Carlo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2005.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 17th International Conference, ALT 2006, Barcelona, Spain, October 7-10, 2006, Proceedings / edited by José L. Balcázar, Philip M. Long, Frank Stephan.
by Balcázar, José L [editor.] | Long, Philip M [editor.] | Stephan, Frank [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
|
|
|
|
Transactions on Computational Collective Intelligence XXI [electronic resource] : Special Issue on Keyword Search and Big Data / edited by Ngoc Thanh Nguyen, Ryszard Kowalczyk, Paulo Rupino da Cunha.
by Nguyen, Ngoc Thanh [editor.] | Kowalczyk, Ryszard [editor.] | Rupino da Cunha, Paulo [editor.] | 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
|
|
|
|
AI*IA 2011: Artificial Intelligence Around Man and Beyond [electronic resource] : XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings / edited by Roberto Pirrone, Filippo Sorbello.
by Pirrone, Roberto [editor.] | Sorbello, Filippo [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Theory and Applications of Models of Computation [electronic resource] : 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings / edited by Mitsunori Ogihara, Jun Tarui.
by Ogihara, Mitsunori [editor.] | Tarui, Jun [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Automata, Languages, and Programming [electronic resource] : 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II / edited by Magnús M. Halldórsson, Kazuo Iwama, Naoki Kobayashi, Bettina Speckmann.
by Halldórsson, Magnús M [editor.] | Iwama, Kazuo [editor.] | Kobayashi, Naoki [editor.] | Speckmann, Bettina [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial 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
|
|
|
|
Machine Learning Meets Medical Imaging [electronic resource] : First International Workshop, MLMMI 2015, Held in Conjunction with ICML 2015, Lille, France, July 11, 2015, Revised Selected Papers / edited by Kanwal Bhatia, Herve Lombaert.
by Bhatia, Kanwal [editor.] | Lombaert, Herve [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
|
|
|
|
Algorithms and Complexity [electronic resource] : 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006, Proceedings / edited by Tiziana Calamoneri, Irene Finocchi, Guiseppe F. Italiano.
by Calamoneri, Tiziana [editor.] | Finocchi, Irene [editor.] | Italiano, Guiseppe F [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
|
|
|
|
Evolutionary Computation in Combinatorial Optimization [electronic resource] : 11th European Conference, EvoCOP 2011, Torino, Italy, April 27-29, 2011, Proceedings / edited by Peter Merz, Jin-Kao Hao.
by Merz, Peter [editor.] | Hao, Jin-Kao [editor.] | SpringerLink (Online service). Edition: 1st ed. 2011.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Learning Theory [electronic resource] : 26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015, Proceedings / edited by Kamalika Chaudhuri, CLAUDIO GENTILE, Sandra Zilles.
by Chaudhuri, Kamalika [editor.] | GENTILE, CLAUDIO [editor.] | Zilles, Sandra [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
|
|
|
|
Language and Automata Theory and Applications [electronic resource] : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013, Proceedings / edited by Adrian-Horia Dediu, Carlos Martín-Vide, Bianca Truthe.
by Dediu, Adrian-Horia [editor.] | Martín-Vide, Carlos [editor.] | Truthe, Bianca [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
|
|
|
|
Algorithms in Bioinformatics [electronic resource] : 9th International Workshop, WABI 2009, Philadelphia, USA, September 12-13, 2009. Proceedings / edited by Steven L. Salzberg, Tandy Warnow.
by Salzberg, Steven L [editor.] | Warnow, Tandy [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
|
