|
|
|
Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings / edited by St�ephane Demri, Deepak Kapur, Christoph Weidenbach.
by Demri, St�ephane [editor.] | Kapur, Deepak [editor.] | Weidenbach, Christoph [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
|
|
|
|
Storing and Transmitting Data [electronic resource] : Rudolf Ahlswede's Lectures on Information Theory 1 / by Rudolf Ahlswede ; edited by Alexander Ahlswede, Ingo Alth�ofer, Christian Deppe, Ulrich Tamm.
by Ahlswede, Rudolf [author.] | Ahlswede, Alexander [editor.] | Alth�ofer, Ingo [editor.] | Deppe, Christian [editor.] | Tamm, Ulrich [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
|
|
|
|
Computational Modeling of Objects Presented in Images [electronic resource] : Fundamentals, Methods and Applications / edited by Paolo Di Giamberardino, Daniela Iacoviello, Renato Natal Jorge, Jo�ao Manuel R. S. Tavares.
by Di Giamberardino, Paolo [editor.] | Iacoviello, Daniela [editor.] | Natal Jorge, Renato [editor.] | Tavares, Jo�ao Manuel R. S [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
|
|
|
|
Hypergraph Theory [electronic resource] : An Introduction / by Alain Bretto.
by Bretto, Alain [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
|
|
|
|
Computational Intelligence [electronic resource] : A Methodological Introduction / by Rudolf Kruse, Christian Borgelt, Christian Braune, Sanaz Mostaghim, Matthias Steinbrecher.
by Kruse, Rudolf [author.] | Borgelt, Christian [author.] | Braune, Christian [author.] | Mostaghim, Sanaz [author.] | Steinbrecher, Matthias [author.] | SpringerLink (Online service). Edition: 2nd ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Algebraic Informatics [electronic resource] : 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013. Proceedings / edited by Traian Muntean, Dimitrios Poulakis, Robert Rolland.
by Muntean, Traian [editor.] | Poulakis, Dimitrios [editor.] | Rolland, Robert [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
|
|
|
|
Limits of Computation [electronic resource] : From a Programming Perspective / by Bernhard Reus.
by Reus, Bernhard [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
|
|
|
|
A Journey from Robot to Digital Human [electronic resource] : Mathematical Principles and Applications with MATLAB Programming / by Edward Y L Gu.
by Gu, Edward Y L [author.] | 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
|
|
|
|
Progress in Cryptology - INDOCRYPT 2016 [electronic resource] : 17th International Conference on Cryptology in India, Kolkata, India, December 11-14, 2016, Proceedings / edited by Orr Dunkelman, Somitra Kumar Sanadhya.
by Dunkelman, Orr [editor.] | Sanadhya, Somitra Kumar [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
|
|
|
|
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
|
|
|
|
Computer and Computing Technologies in Agriculture IX [electronic resource] : 9th IFIP WG 5.14 International Conference, CCTA 2015, Beijing, China, September 27-30, 2015, Revised Selected Papers, Part II / edited by Daoliang Li, Zhenbo Li.
by Li, Daoliang [editor.] | Li, Zhenbo [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
|
|
|
|
Recent Advances in Computational Methods and Clinical Applications for Spine Imaging [electronic resource] / edited by Jianhua Yao, Ben Glocker, Tobias Klinder, Shuo Li.
by Yao, Jianhua [editor.] | Glocker, Ben [editor.] | Klinder, Tobias [editor.] | Li, Shuo [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 Dynamical Systems and Control [electronic resource] / edited by Victor A. Sadovnichiy, Mikhail Z. Zgurovsky.
by Sadovnichiy, Victor A [editor.] | Zgurovsky, Mikhail Z [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
|
|
|
|
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
|
|
|
|
8th RILEM International Conference on Mechanisms of Cracking and Debonding in Pavements [electronic resource] / edited by Armelle Chabot, William G. Buttlar, Eshan V. Dave, Christophe Petit, Gabriele Tebaldi.
by Chabot, Armelle [editor.] | Buttlar, William G [editor.] | Dave, Eshan V [editor.] | Petit, Christophe [editor.] | Tebaldi, Gabriele [editor.] | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Dordrecht : Springer Netherlands : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Advances in Cryptology - CRYPTO 2016 [electronic resource] : 36th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 14-18, 2016, Proceedings, Part I / edited by Matthew Robshaw, Jonathan Katz.
by Robshaw, Matthew [editor.] | Katz, Jonathan [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, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Computer Algebra in Scientific Computing [electronic resource] : 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings / edited by Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov.
by Gerdt, Vladimir P [editor.] | Koepf, Wolfram [editor.] | Seiler, Werner M [editor.] | Vorozhtsov, Evgenii V [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
|
|
|
|
Relational and Algebraic Methods in Computer Science [electronic resource] : 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings / edited by Wolfram Kahl, Michael Winter, Jos�e Oliveira.
by Kahl, Wolfram [editor.] | Winter, Michael [editor.] | Oliveira, Jos�e [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, Rationality, and Interaction [electronic resource] : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings / edited by Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang.
by van der Hoek, Wiebe [editor.] | Holliday, Wesley H [editor.] | Wang, Wen-fang [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
|
|
|
|
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 16th International Workshop, APPROX 2013, and 17th International Workshop, RANDOM 2013, Berkeley, CA, USA, August 21-23, 2013. Proceedings / edited by Prasad Raghavendra, Sofya Raskhodnikova, Klaus Jansen, Jos�e D. P. Rolim.
by Raghavendra, Prasad [editor.] | Raskhodnikova, Sofya [editor.] | Jansen, Klaus [editor.] | Rolim, Jos�e D. P [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
|
