|
|
|
Interactive Theorem Proving [electronic resource] : 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Gerwin Klein, Ruben Gamboa.
by Klein, Gerwin [editor.] | Gamboa, Ruben [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
|
|
|
|
Computing and Combinatorics [electronic resource] : 20th International Conference, COCOON 2014, Atlanta, GA, USA, August 4-6, 2014. Proceedings / edited by Zhipeng Cai, Alex Zelikovsky, Anu Bourgeois.
by Cai, Zhipeng [editor.] | Zelikovsky, Alex [editor.] | Bourgeois, Anu [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings / edited by Claude Carlet, M. Anwar Hasan, Vishal Saraswat.
by Carlet, Claude [editor.] | Hasan, M. Anwar [editor.] | Saraswat, Vishal [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
|
|
|
|
Rough Sets and Current Trends in Computing [electronic resource] : 9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014. Proceedings / edited by Chris Cornelis, Marzena Kryszkiewicz, Dominik Śl�ezak, Ernestina Menasalvas Ruiz, Rafael Bello, Lin Shang.
by Cornelis, Chris [editor.] | Kryszkiewicz, Marzena [editor.] | Śl�ezak, Dominik [editor.] | Ruiz, Ernestina Menasalvas [editor.] | Bello, Rafael [editor.] | Shang, Lin [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
|
|
|
|
Generalized Continua from the Theory to Engineering Applications [electronic resource] / edited by Holm Altenbach, Victor A. Eremeyev.
by Altenbach, Holm [editor.] | Eremeyev, Victor A [editor.] | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Vienna : Springer Vienna : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : Third International Workshop, MESAS 2016, Rome, Italy, June 15-16, 2016, Revised Selected Papers / edited by Jan Hodicky.
by Hodicky, Jan [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
|
|
|
|
Modelling and Simulation for Autonomous Systems [electronic resource] : Second International Workshop, MESAS 2015, Prague, Czech Republic, April 29-30, 2015, Revised Selected Papers / edited by Jan Hodicky.
by Hodicky, Jan [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
|
|
|
|
Evolutionary and Biologically Inspired Music, Sound, Art and Design [electronic resource] : Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected Papers / edited by Juan Romero, James McDermott, Jo�ao Correia.
by Romero, Juan [editor.] | McDermott, James [editor.] | Correia, Jo�ao [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
|
|
|
|
Language, Life, Limits [electronic resource] : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings / edited by Arnold Beckmann, Erzs�ebet Csuhaj-Varj�u, Klaus Meer.
by Beckmann, Arnold [editor.] | Csuhaj-Varj�u, Erzs�ebet [editor.] | Meer, Klaus [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
|
|
|
|
Numerical Methods for Differential Equations, Optimization, and Technological Problems [electronic resource] : Dedicated to Professor P. Neittaanm�aki on His 60th Birthday / edited by Sergey Repin, Timo Tiihonen, Tero Tuovinen.
by Repin, Sergey [editor.] | Tiihonen, Timo [editor.] | Tuovinen, Tero [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Algorithmic Aspects in Information and Management [electronic resource] : 10th International Conference, AAIM 2014, Vancouver, BC, Canada, July 8-11, 2014. Proceedings / edited by Qianping Gu, Pavol Hell, Boting Yang.
by Gu, Qianping [editor.] | Hell, Pavol [editor.] | Yang, Boting [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
|
|
|
|
Geographic Information Science [electronic resource] : 8th International Conference, GIScience 2014, Vienna, Austria, September 24-26, 2014. Proceedings / edited by Matt Duckham, Edzer Pebesma, Kathleen Stewart, Andrew U. Frank.
by Duckham, Matt [editor.] | Pebesma, Edzer [editor.] | Stewart, Kathleen [editor.] | Frank, Andrew U [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
|
|
|
|
Algorithms and Architectures for Parallel Processing [electronic resource] : 13th International Conference, ICA3PP 2013, Vietri sul Mare, Italy, December 18-20, 2013, Proceedings, Part I / edited by Joanna Ko�odziej, Beniamino Di Martino, Domenico Talia, Kaiqi Xiong.
by Ko�odziej, Joanna [editor.] | Martino, Beniamino Di [editor.] | Talia, Domenico [editor.] | Xiong, Kaiqi [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
|
|
|
|
Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita.
by Higashino, Teruo [editor.] | Katayama, Yoshiaki [editor.] | Masuzawa, Toshimitsu [editor.] | Potop-Butucaru, Maria [editor.] | Yamashita, Masafumi [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
|
|
|
|
Computer Vision - ECCV 2014 Workshops [electronic resource] : Zurich, Switzerland, September 6-7 and 12, 2014, Proceedings, Part III / edited by Lourdes Agapito, Michael M. Bronstein, Carsten Rother.
by Agapito, Lourdes [editor.] | Bronstein, Michael M [editor.] | Rother, Carsten [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
|
|
|
|
Hybrid Artificial Intelligence Systems [electronic resource] : 9th International Conference, HAIS 2014, Salamanca, Spain, June 11-13, 2014. Proceedings / edited by Marios Polycarpou, Andr�e C. P. L. F. de Carvalho, Jeng-Shyang Pan, Micha� Woźniak, H�ector Quintian, Emilio Corchado.
by Polycarpou, Marios [editor.] | Carvalho, Andr�e C. P. L. F. de [editor.] | Pan, Jeng-Shyang [editor.] | Woźniak, Micha� [editor.] | Quintian, H�ector [editor.] | Corchado, Emilio [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
|
|
|
|
Modern Advances in Applied Intelligence [electronic resource] : 27th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2014, Kaohsiung, Taiwan, June 3-6, 2014, Proceedings, Part I / edited by Moonis Ali, Jeng-Shyang Pan, Shyi-Ming Chen, Mong-Fong Horng.
by Ali, Moonis [editor.] | Pan, Jeng-Shyang [editor.] | Chen, Shyi-Ming [editor.] | Horng, Mong-Fong [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
|
|
|
|
Bio-Inspired Models of Network, Information, and Computing Systems [electronic resource] : 7th International ICST Conference, BIONETICS 2012, Lugano, Switzerland, December 10--11, 2012, Revised Selected Papers / edited by Gianni A. Di Caro, Guy Theraulaz.
by Di Caro, Gianni A [editor.] | Theraulaz, Guy [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
|
|
|
|
Mathematical Tools for Data Mining [electronic resource] : Set Theory, Partial Orders, Combinatorics / by Dan A. Simovici, Chabane Djeraba.
by Simovici, Dan A [author.] | Djeraba, Chabane [author.] | SpringerLink (Online service). Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Progress in Cryptology - AFRICACRYPT 2014 [electronic resource] : 7th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 28-30, 2014. Proceedings / edited by David Pointcheval, Damien Vergnaud.
by Pointcheval, David [editor.] | Vergnaud, Damien [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
|
