Search

You searched for: Auteur van Leeuwen, Jan Remove constraint Auteur: van Leeuwen, Jan
1 - 8 of 8
Number of results to display per page

Search Results

1. Languages and Compilers for Parallel Computing
thumbnail
Full text!
Author:
Pugh, Bill; Hartmanis, Juris; Pugh, William; Tseng, Chau-Wen; van Leeuwen, Jan
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
2. Mechanizing Mathematical Reasoning
thumbnail
Full text!
Author:
Goos, Gerhard; Hartmanis, Juris; Hutter, Dieter; Siekmann, Jörg H.; Stephan, Werner; van Leeuwen, Jan
Publisher:
Springer Berlin / Heidelberg 2005
Format:
e-book
3. SOFSEM 2018: Theory and Practice of Computer Science
thumbnail
Full text!
Author:
Tjoa; Jan van Leeuwen; Jiří Wiedermann; Ladjel Bellatreche; Stefan Biffl; Bellatreche, Ladjel; Biffl, Stefan; van Leeuwen, Jan; Wiedermann, Jiří
Publisher:
Springer International Publishing 2018
Format:
e-book
4. Treewidth, Kernels, and Algorithms
thumbnail
Full text!
Author:
Fomin; Kratsch, Stefan; van Leeuwen, Erik Jan
Publisher:
Springer International Publishing 2020
Format:
e-book
5. Data Assimilation Fundamentals
thumbnail
Full text!
Author:
Evensen; van Leeuwen, Peter Jan; Vossepoel, Femke C.
Publisher:
Springer International Publishing 2022
Format:
e-book
6. Nonlinear Data Assimilation
thumbnail
Full text!
Author:
Van Leeuwen, Peter Jan; Cheng, Yuan; Reich, Sebastian; Cheng, Yuan; Reich, Sebastian
Publisher:
Springer International Publishing 2015
Format:
e-book
7. Alan Turing : his work and impact
thumbnail
Full text!
Author:
S. Barry Cooper; Cooper, S. Barry; Leeuwen, Jan; Turing, Alan Mathison; van Leeuwen, J.; J. van Leeuwen
Publisher:
Elsevier 2013
Format:
e-book
8. SOFSEM 2007: Theory and Practice of Computer Science
thumbnail
Full text!
Author:
Leeuwen, Jan; Hoek, Wiebe; Italiano, Giuseppe F.; Meinel, Christoph; Plášil, František; Sack, Harald; Hoek, Wiebe van der; van der Hoek, Wiebe
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book