|
|
|
Recent Trends in Algebraic Development Techniques [electronic resource] : 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers / edited by Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu.
by Codescu, Mihai [editor.] | Diaconescu, Răzvan [editor.] | Țuțu, Ionuț [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
|
|
|
|
Logic and Its Applications [electronic resource] : 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Shankara Narayanan Krishna.
by Banerjee, Mohua [editor.] | Krishna, Shankara Narayanan [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Methods for Curves and Surfaces [electronic resource] : 8th International Conference, MMCS 2012, Oslo, Norway, June 28 - July 3, 2012, Revised Selected Papers / edited by Michael Floater, Tom Lyche, Marie-Laurence Mazure, Knut M�rken, Larry L. Schumaker.
by Floater, Michael [editor.] | Lyche, Tom [editor.] | Mazure, Marie-Laurence [editor.] | M�rken, Knut [editor.] | Schumaker, Larry L [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
|
|
|
|
Logic-Based Program Synthesis and Transformation [electronic resource] : 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers / edited by Maurizio Proietti, Hirohisa Seki.
by Proietti, Maurizio [editor.] | Seki, Hirohisa [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
|
|
|
|
Combinatorial Optimization [electronic resource] : Third International Symposium, ISCO 2014, Lisbon, Portugal, March 5-7, 2014, Revised Selected Papers / edited by Pierre Fouilhoux, Luis Eduardo Neves Gouveia, A. Ridha Mahjoub, Vangelis T. Paschos.
by Fouilhoux, Pierre [editor.] | Gouveia, Luis Eduardo Neves [editor.] | Mahjoub, A. Ridha [editor.] | Paschos, Vangelis T [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
|
|
|
|
Computers and Games [electronic resource] : 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers / edited by H. Jaap van den Herik, Hiroyuki Iida, Aske Plaat.
by van den Herik, H. Jaap [editor.] | Iida, Hiroyuki [editor.] | Plaat, Aske [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, Language, Information, and Computation [electronic resource] : 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings / edited by Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira.
by de Paiva, Valeria [editor.] | de Queiroz, Ruy [editor.] | Moss, Lawrence S [editor.] | Leivant, Daniel [editor.] | de Oliveira, Anjolina G [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, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Fuzzy Algebraic Hyperstructures [electronic resource] : An Introduction / by Bijan Davvaz, Irina Cristea.
by Davvaz, Bijan [author.] | Cristea, Irina [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
|
|
|
|
Compressed Sensing with Side Information on the Feasible Region [electronic resource] / by Mohammad Rostami.
by Rostami, Mohammad [author.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Heidelberg : Springer International Publishing : Imprint: Springer, 2013Online 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
|
|
|
|
Advances in Probabilistic Databases for Uncertain Information Management [electronic resource] / edited by Zongmin Ma, Li Yan.
by Ma, Zongmin [editor.] | Yan, Li [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
|
|
|
|
Nonlinear Dynamics of Electronic Systems [electronic resource] : 22nd International Conference, NDES 2014, Albena, Bulgaria, July 4-6, 2014. Proceedings / edited by Valeri M. Mladenov, Plamen Ch. Ivanov.
by Mladenov, Valeri M [editor.] | Ivanov, Plamen Ch [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
|
|
|
|
Mathematical Morphology and Its Applications to Signal and Image Processing [electronic resource] : 12th International Symposium, ISMM 2015, Reykjavik, Iceland, May 27-29, 2015. Proceedings / edited by J�on Atli Benediktsson, Jocelyn Chanussot, Laurent Najman, Hugues Talbot.
by Benediktsson, J�on Atli [editor.] | Chanussot, Jocelyn [editor.] | Najman, Laurent [editor.] | Talbot, Hugues [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 Life and Evolutionary Computation [electronic resource] : 9th Italian Workshop, WIVACE 2014, Vietri sul Mare, Italy, May 14-15, Revised Selected Papers / edited by Clara Pizzuti, Giandomenico Spezzano.
by Pizzuti, Clara [editor.] | Spezzano, Giandomenico [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
|
|
|
|
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
|
|
|
|
IAENG Transactions on Engineering Technologies [electronic resource] : Special Issue of the World Congress on Engineering and Computer Science 2012 / edited by Haeng Kon Kim, Sio-Iong Ao, Mahyar A. Amouzegar, Burghard B. Rieger.
by Kim, Haeng Kon [editor.] | Ao, Sio-Iong [editor.] | Amouzegar, Mahyar A [editor.] | Rieger, Burghard B [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2014Online 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
|
|
|
|
Guide to Simulation and Modeling for Biosciences [electronic resource] / by David J. Barnes, Dominique Chu.
by Barnes, David J [author.] | Chu, Dominique [author.] | SpringerLink (Online service). Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
