UB FFM: Suchergebnisse - Algorithmic differentiation of Java programs

1
2
3
weiter
[3]

Algorithmic differentiation of Java programs

Slusanschi, Emil-Ioan (Verfasser)

2008

E-Book

Digital image processing : an algorithmic introduction using Java

Burger, Wilhelm (Verfasser)

1. edition

New York : Springer, 2010

Buch

Digital Image Processing : An Algorithmic Introduction Using Java

Burger, Wilhelm (Verfasser)

1st ed. 2008

London : Springer London, 2008

E-Book

Automatic differentiation of algorithms : theory, implementation, and application ; [proceedings of the First SIAM Workshop on Automatic Differentiation, held in Breckenridge, Colorado, January 6 - 8, 1991]

Griewank, Andreas (Herausgeber)

Philadelphia : Soc. for Industrial and Applied Mathematics, 1991

Buch

Why programs fail : a guide to systematic debugging

Zeller, Andreas (Verfasser)

Amsterdam : Elsevier, Morgan Kaufmann Publ., 2006

Buch

Data mining : practical machine learning tools and techniques with Java implementations

Witten, Ian H.

San Francisco, CA. [u.a.] : Morgan Kaufmann, 2000

Buch

Program reversal schedules for single and multi-processor machines

Walther, Andrea (Verfasser)

1999

E-Book

A first course in scientific computing : symbolic, graphic, and numeric modeling using Maple, Java, Mathematica, and Fortran90

Landau, Rubin H. (Verfasser)

Princeton, NJ: Princeton University Press, 2005

Buch

Types for Proofs and Programs : International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers

Miculan, Marino (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

Principles of Digital Image Processing : Advanced Methods

Burger, Wilhelm (Verfasser)

1st ed. 2013

London : Springer London, 2013

E-Book

Elementary numerical analysis : an algorithmic approach

Conte, Samuel Daniel

2. ed.

New York [u.a.] : McGraw-Hill, 1972

Buch

Principles of Digital Image Processing : Fundamental Techniques

Burger, Wilhelm (Verfasser)

1st ed. 2009

London : Springer London, 2009

E-Book

Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation : July 29 - 31, 1999, Simon Fraser University, Vancouver, BC, Canada

Dooley, Sam (Herausgeber)

New York, NY : ACM Pr., 1999

Buch

Principles of Digital Image Processing : Core Algorithms

Burger, Wilhelm (Verfasser)

1st ed. 2009

London : Springer London, 2009

E-Book

Tools and Algorithms for the Construction and Analysis of Systems : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings

Halbwachs, Nicolas (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

E-Book

Computational physics : simulation of classical and quantum systems

Scherer, Philipp O. J. (Verfasser)

2. ed.

Cham : Springer, 2013

Buch

Perspectives of system informatics : revised papers

Bjørner, Dines (Herausgeber)

Berlin : Springer, 2001

Buch

Representation and management of narrative information : theoretical principles and implementation

Zarri, Gian Piero

London : Springer, c 2009

Buch

Computer Algebra in Scientific Computing : 15th International Workshop, CASC 2013, Berlin, Germany, September 9-13, 2013, Proceedings

Gerdt, Vladimir P (Herausgeber)

1st ed. 2013

Cham : Springer International Publishing, 2013

E-Book

Model Checking Software : 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings

Havelund, Klaus (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

E-Book

1
2
3
weiter
[3]

Treffer 1 - 20 von 54

Seite in der Trefferliste auswählen

Seite in der Trefferliste auswählen

Suche einschränken