|
|
Foundation Mathematics for Computer Science [electronic resource] : A Visual Approach / by John Vince.
by Vince, John [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
|
|
|
Complete Symbolic Simulation of SystemC Models [electronic resource] : Efficient Formal Verification of Finite Non-Terminating Programs / by Vladimir Herdt.
by Herdt, Vladimir [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2016Online access: Click here to access online Availability: No items available
|
|
|
Engineering Computation of Structures: The Finite Element Method [electronic resource] / by Maria Augusta Neto, Ana Amaro, Luis Roseiro, Jos�e Cirne, Rog�erio Leal.
by Neto, Maria Augusta [author.] | Amaro, Ana [author.] | Roseiro, Luis [author.] | Cirne, Jos�e [author.] | Leal, Rog�erio [author.] | 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
|
|
|
Words and Graphs [electronic resource] / by Sergey Kitaev, Vadim Lozin.
by Kitaev, Sergey [author.] | Lozin, Vadim [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
|
|
|
Algorithms for Data Science [electronic resource] / by Brian Steele, John Chandler, Swarna Reddy.
by Steele, Brian [author.] | Chandler, John [author.] | Reddy, Swarna [author.] | 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
|
|
|
Finitely Supported Mathematics [electronic resource] : An Introduction / by Andrei Alexandru, Gabriel Ciobanu.
by Alexandru, Andrei [author.] | Ciobanu, Gabriel [author.] | 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
|
|
|
High Performance Computing in Science and Engineering [electronic resource] : Second International Conference, HPCSE 2015, Sol�aň, Czech Republic, May 25-28, 2015, Revised Selected Papers / edited by Tom�aš Kozubek, Radim Blaheta, Jakub Š�istek, Miroslav Rozložn�ik, Martin Čerm�ak.
by Kozubek, Tom�aš [editor.] | Blaheta, Radim [editor.] | Š�istek, Jakub [editor.] | Rozložn�ik, Miroslav [editor.] | Čerm�ak, Martin [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
|
|
|
Mathematical Problems in Data Science [electronic resource] : Theoretical and Practical Methods / by Li M. Chen, Zhixun Su, Bo Jiang.
by Chen, Li M [author.] | Su, Zhixun [author.] | Jiang, Bo [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
|
|
|
Data Analytics for Renewable Energy Integration [electronic resource] : Third ECML PKDD Workshop, DARE 2015, Porto, Portugal, September 11, 2015. Revised Selected Papers / edited by Wei Lee Woon, Zeyar Aung, Stuart Madnick.
by Woon, Wei Lee [editor.] | Aung, Zeyar [editor.] | Madnick, Stuart [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
|
|
|
Theory and Applications of Satisfiability Testing -- SAT 2015 [electronic resource] : 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings / edited by Marijn Heule, Sean Weaver.
by Heule, Marijn [editor.] | Weaver, Sean [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 Neural Networks - ISNN 2016 [electronic resource] : 13th International Symposium on Neural Networks, ISNN 2016, St. Petersburg, Russia, July 6-8, 2016, Proceedings / edited by Long Cheng, Qingshan Liu, Andrey Ronzhin.
by Cheng, Long [editor.] | Liu, Qingshan [editor.] | Ronzhin, Andrey [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
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2014 [electronic resource] : 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings / edited by Carsten Sinz, Uwe Egly.
by Sinz, Carsten [editor.] | Egly, Uwe [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
|
|
|
Parallel Processing and Applied Mathematics [electronic resource] : 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II / edited by Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr.
by Wyrzykowski, Roman [editor.] | Deelman, Ewa [editor.] | Dongarra, Jack [editor.] | Karczewski, Konrad [editor.] | Kitowski, Jacek [editor.] | Wiatr, Kazimierz [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 Trends in Algebraic Development Techniques [electronic resource] : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers / edited by Narciso Mart�i-Oliet, Miguel Palomino.
by Mart�i-Oliet, Narciso [editor.] | Palomino, Miguel [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
|
|
|
Applications of Evolutionary Computation [electronic resource] : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I / edited by Giovanni Squillero, Paolo Burelli.
by Squillero, Giovanni [editor.] | Burelli, Paolo [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
|
|
|
Analytical and Stochastic Modelling Techniques and Applications [electronic resource] : 23rd International Conference, ASMTA 2016, Cardiff, UK, August 24-26, 2016, Proceedings / edited by Sabine Wittevrongel, Tuan Phung-Duc.
by Wittevrongel, Sabine [editor.] | Phung-Duc, Tuan [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
|
|
|
The Foundations of Computability Theory [electronic resource] / by Borut Robič.
by Robič, Borut [author.] | SpringerLink (Online service). Edition: 1st ed. 2015.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
|
|
|
People, Problems, and Proofs [electronic resource] : Essays from G�odel's Lost Letter: 2010 / by Richard J. Lipton, Kenneth W. Regan.
by Lipton, Richard J [author.] | Regan, Kenneth W [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
|
|
|
Theory and Applications of Satisfiability Testing - SAT 2016 [electronic resource] : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings / edited by Nadia Creignou, Daniel Le Berre.
by Creignou, Nadia [editor.] | Le Berre, Daniel [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
|
|
|
Index-aware Model Order Reduction Methods [electronic resource] : Applications to Differential-Algebraic Equations / by N. Banagaaya, G. Al�i, W.H.A. Schilders.
by Banagaaya, N [author.] | Al�i, G [author.] | Schilders, W.H.A [author.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Paris : Atlantis Press : Imprint: Atlantis Press, 2016Online access: Click here to access online Availability: No items available
|