Your search returned 3019 results. Subscribe to this search

|
More Math Into LaTeX [electronic resource] / by George Gr�atzer.

by Gr�atzer, George [author.] | SpringerLink (Online service).

Edition: 5th ed. 2016.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Theoretical Aspects of Computing - ICTAC 2015 [electronic resource] : 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings / edited by Martin Leucker, Camilo Rueda, Frank D. Valencia.

by Leucker, Martin [editor.] | Rueda, Camilo [editor.] | Valencia, Frank D [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Advanced Parallel Processing Technologies [electronic resource] : 11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings / edited by Yunji Chen, Paolo Ienne, Qing Ji.

by Chen, Yunji [editor.] | Ienne, Paolo [editor.] | Ji, Qing [editor.] | SpringerLink (Online service).

Edition: 1st ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Software Developers as Users [electronic resource] : Semiotic Investigations in Human-Centered Software Development / by Clarisse Sieckenius de Souza, Renato Fontoura de Gusm�ao Cerqueira, Luiz Marques Afonso, Rafael Rossi de Mello Brand�ao, Juliana Soares Jansen Ferreira.

by Sieckenius de Souza, Clarisse [author.] | Fontoura de Gusm�ao Cerqueira, Renato [author.] | Marques Afonso, Luiz [author.] | Rossi de Mello Brand�ao, Rafael [author.] | Soares Jansen Ferreira, Juliana [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Python Programming Fundamentals [electronic resource] / by Kent D. Lee.

by Lee, Kent D [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2014.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Guide to Fortran 2008 Programming [electronic resource] / by Walter S. Brainerd.

by Brainerd, Walter S [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available

Guide to Java [electronic resource] : A Concise Introduction to Programming / by James T. Streib, Takako Soma.

by Streib, James T [author.] | Soma, Takako [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available

Concise Guide to Databases [electronic resource] : A Practical Introduction / by Peter Lake, Paul Crowther.

by Lake, Peter [author.] | Crowther, Paul [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Autonomic Computing [electronic resource] : Principles, Design and Implementation / by Philippe Lalanda, Julie A. McCann, Ada Diaconescu.

by Lalanda, Philippe [author.] | McCann, Julie A [author.] | Diaconescu, Ada [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Guide to Cloud Computing [electronic resource] : Principles and Practice / by Richard Hill, Laurie Hirsch, Peter Lake, Siavash Moshiri.

by Hill, Richard [author.] | Hirsch, Laurie [author.] | Lake, Peter [author.] | Moshiri, Siavash [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: London : Springer London : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Numeric Computation and Statistical Data Analysis on the Java Platform [electronic resource] / by Sergei V. Chekanov.

by Chekanov, Sergei V [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

The Deductive Spreadsheet [electronic resource] / by Iliano Cervesato.

by Cervesato, Iliano [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available

Testing Software and Systems [electronic resource] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / edited by Franz Wotawa, Mihai Nica, Natalia Kushik.

by Wotawa, Franz [editor.] | Nica, Mihai [editor.] | Kushik, Natalia [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Engineering Multi-Agent Systems [electronic resource] : 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers / edited by Matteo Baldoni, J�org P. M�uller, Ingrid Nunes, Rym Zalila-Wenkstern.

by Baldoni, Matteo [editor.] | M�uller, J�org P [editor.] | Nunes, Ingrid [editor.] | Zalila-Wenkstern, Rym [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments [electronic resource] : Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz.

by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [editor.] | Mintz, Tiffany M [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications [electronic resource] : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana [editor.] | Steffen, Bernhard [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Scala: From a Functional Programming Perspective [electronic resource] : An Introduction to the Programming Language / by Vicen�c Torra.

by Torra, Vicen�c [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings / edited by Cyrille Artho, Axel Legay, Doron Peled.

by Artho, Cyrille [editor.] | Legay, Axel [editor.] | Peled, Doron [editor.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

System Architecture [electronic resource] : An Ordinary Engineering Discipline / by Wolfgang J. Paul, Christoph Baumann, Petro Lutsyk, Sabine Schmaltz.

by Paul, Wolfgang J [author.] | Baumann, Christoph [author.] | Lutsyk, Petro [author.] | Schmaltz, Sabine [author.] | SpringerLink (Online service).

Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available

Object-Oriented Analysis, Design and Implementation [electronic resource] : An Integrated Approach / by Brahma Dathan, Sarnath Ramnath.

by Dathan, Brahma [author.] | Ramnath, Sarnath [author.] | SpringerLink (Online service).

Edition: 2nd ed. 2015.Source: Springer eBooksMaterial type: book Book; Format: electronic available online remote; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available