|
|
|
Programming Languages and Systems [electronic resource] : 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Zhong Shao.
by Shao, Zhong [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
|
|
|
|
Frontiers in Algorithmics and Algorithmic Aspects in Information and Management [electronic resource] : Joint International Conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012, Proceedings / edited by Jack Snoeyink, Pinyan Lu, Kaile Su, Lusheng Wang.
by Snoeyink, Jack [editor.] | Lu, Pinyan [editor.] | Su, Kaile [editor.] | Wang, Lusheng [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
|
|
|
|
Swarm and Evolutionary computation [electronic resource] : International Symposium, SIDE 2012, held in Conjunction with ICAISC 2012, Zakopane, Poland, April 29 - May 3, 2012, Proceedings / edited by Leszek Rutkowski, Marcin Korytkowski, Rafał Scherer, Ryszard Tadeusiewicz, Lotfi Zadeh, Jacek Zurada.
by Rutkowski, Leszek [editor.] | Korytkowski, Marcin [editor.] | Scherer, Rafał [editor.] | Tadeusiewicz, Ryszard [editor.] | Zadeh, Lotfi [editor.] | Zurada, Jacek [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
|
|
|
|
Rewriting Logic and Its Applications [electronic resource] : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS 2012, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers / edited by Francisco Durán.
by Durán, Francisco [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 Access Evaluation. Multilinguality, Multimodality, and Visual Analytics [electronic resource] : Third International Conference of the CLEF Initiative, CLEF 2012, Rome, Italy, September 17-20, 2012, Proceedings / edited by Tiziana Catarci, Pamela Forner, Djoerd Hiemstra, Anselmo Penas, Giuseppe Santucci.
by Catarci, Tiziana [editor.] | Forner, Pamela [editor.] | Hiemstra, Djoerd [editor.] | Penas, Anselmo [editor.] | Santucci, 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
|
|
|
|
Unconventional Computation and Natural Computation [electronic resource] : 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings / edited by Jerome Durand-Lose, Natasa Jonoska.
by Durand-Lose, Jerome [editor.] | Jonoska, Natasa [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
|
|
|
|
Algorithms and Models for the Web Graph [electronic resource] : 9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings / edited by Anthony Bonato, Jeannette Janssen.
by Bonato, Anthony [editor.] | Janssen, Jeannette [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
|
|
|
|
Security of Industrial Control Systems and Cyber Physical Systems [electronic resource] : First Workshop, CyberICS 2015 and First Workshop, WOS-CPS 2015 Vienna, Austria, September 21-22, 2015 Revised Selected Papers / edited by Adrien Bécue, Nora Cuppens-Boulahia, Frédéric Cuppens, Sokratis Katsikas, Costas Lambrinoudakis.
by Bécue, Adrien [editor.] | Cuppens-Boulahia, Nora [editor.] | Cuppens, Frédéric [editor.] | Katsikas, Sokratis [editor.] | Lambrinoudakis, Costas [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial 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
|
|
|
|
Algorithmic Decision Theory [electronic resource] : Third International Conference, ADT 2013, Bruxelles, Belgium, November 13-15, 2013, Proceedings / edited by Patrice Perny, Marc Pirlot, Alexis Tsoukiàs.
by Perny, Patrice [editor.] | Pirlot, Marc [editor.] | Tsoukiàs, Alexis [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 Brain Inspired Cognitive Systems [electronic resource] : 5th International Conference, BICS 2012, Shenyang, Liaoning, China, July 11-14, 2012 Proceedings / edited by Huaguang Zhang, Amir Hussain, Derong Liu, Zhanshan Wang.
by Zhang, Huaguang [editor.] | Hussain, Amir [editor.] | Liu, Derong [editor.] | Wang, Zhanshan [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
|
|
|
|
Machine Learning and Knowledge Discovery in Databases, Part II [electronic resource] : European Conference, ECML PKDD 2010, Athens, Greece, September 5-9, 2011, Proceedings, Part II / edited by Dimitrios Gunopulos, Thomas Hofmann, Donato Malerba, Michalis Vazirgiannis.
by Gunopulos, Dimitrios [editor.] | Hofmann, Thomas [editor.] | Malerba, Donato [editor.] | Vazirgiannis, Michalis [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
|
|
|
|
Programming Languages and Systems [electronic resource] : 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings / edited by Hongseok Yang.
by Yang, Hongseok [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
|
|
|
|
Fundamental Approaches to Software Engineering [electronic resource] : 16th International Conference, FASE 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 Vittorio Cortellessa, Dániel Varró.
by Cortellessa, Vittorio [editor.] | Varró, Dániel [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
|
|
|
|
Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance [electronic resource] : 17th International GI/ITG Conference, MMB & DFT 2014, Bamberg, Germany, March 17-19, 2014, Proceedings / edited by Kai Fischbach, Udo R. Krieger.
by Fischbach, Kai [editor.] | Krieger, Udo R [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Formal Techniques for Distributed Systems [electronic resource] : Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings / edited by Dirk Beyer, Michele Boreale.
by Beyer, Dirk [editor.] | Boreale, Michele [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
|
|
|
|
Intelligent Tutoring Systems [electronic resource] : 12th International Conference, ITS 2014, Honolulu, HI, USA, June 5-9, 2014. Proceedings / edited by Stefan Trausan-Matu, Kristy Boyer, Martha Crosby, Kitty Panourgia.
by Trausan-Matu, Stefan [editor.] | Boyer, Kristy [editor.] | Crosby, Martha [editor.] | Panourgia, Kitty [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial 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
|
|
|
|
Integer Programming and Combinatorial Optimization [electronic resource] : 15th International Conference, IPCO 2011, New York, NY, USA, June 15-17, 2011. Proceedings / edited by Oktay Günlük, Gerhard J. Woeginger.
by Günlük, Oktay [editor.] | Woeginger, Gerhard J [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
|
|
|
|
Computational Pathology and Ophthalmic Medical Image Analysis [electronic resource] : First International Workshop, COMPAY 2018, and 5th International Workshop, OMIA 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16 - 20, 2018, Proceedings / edited by Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu, Anne Martel, Lena Maier-Hein, Nasir Rajpoot, Jeroen van der Laak, Mitko Veta, Stephen McKenna, David Snead, Emanuele Trucco, Mona K. Garvin, Xin Jan Chen, Hrvoje Bogunovic.
by Stoyanov, Danail [editor.] | Taylor, Zeike [editor.] | Ciompi, Francesco [editor.] | Xu, Yanwu [editor.] | Martel, Anne [editor.] | Maier-Hein, Lena [editor.] | Rajpoot, Nasir [editor.] | van der Laak, Jeroen [editor.] | Veta, Mitko [editor.] | McKenna, Stephen [editor.] | Snead, David [editor.] | Trucco, Emanuele [editor.] | Garvin, Mona K [editor.] | Chen, Xin Jan [editor.] | Bogunovic, Hrvoje [editor.] | 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
|
|
|
|
Energy Minimization Methods in Computer Vision and Pattern Recognition [electronic resource] : 11th International Conference, EMMCVPR 2017, Venice, Italy, October 30 - November 1, 2017, Revised Selected Papers / edited by Marcello Pelillo, Edwin Hancock.
by Pelillo, Marcello [editor.] | Hancock, Edwin [editor.] | 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
|
|
|
|
Evolutionary Multi-Criterion Optimization [electronic resource] : 10th International Conference, EMO 2019, East Lansing, MI, USA, March 10-13, 2019, Proceedings / edited by Kalyanmoy Deb, Erik Goodman, Carlos A. Coello Coello, Kathrin Klamroth, Kaisa Miettinen, Sanaz Mostaghim, Patrick Reed.
by Deb, Kalyanmoy [editor.] | Goodman, Erik [editor.] | Coello Coello, Carlos A [editor.] | Klamroth, Kathrin [editor.] | Miettinen, Kaisa [editor.] | Mostaghim, Sanaz [editor.] | Reed, Patrick [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
