Author books / Книги автора Peter O’Hearn John Reynolds Hongseok Yang (auth.) Laurent Fribourg (eds.) » Page 142 » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Peter O’Hearn John Reynolds Hongseok Yang (auth.) Laurent Fribourg (eds.) » Page 142

book Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

pdf

Author: Peter O’Hearn John Reynolds Hongseok Yang (auth.) Laurent Fribourg (eds.)
Language: English
Year: 2001

00

26.01.2024

0

0

book Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

djvu

Author: David A. Basin (auth.) Laurent Fribourg Franco Turini (eds.)
Language: English
Year: 1994

00

26.01.2024

0

0

book Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings

pdf

Author: Thomas Kropf (auth.) Yves Bertot Gilles Dowek Laurent Théry André Hirschowitz Christine Paulin (eds.)
Language: English
Year: 1999

00

26.01.2024

0

0

book Theorie des Fonctions Holomorphes de Plusieurs Variables, Une Introduction

Theorie des Fonctions Holomorphes de Plusieurs Variables, Une Introduction

djvu

Author: C. Laurent-Thiébaut
Language: French
Year: 1997

00

26.01.2024

0

0

book Theorie des distributions

Theorie des distributions

djvu

Author: Laurent Schwartz
Language: French
Year: 1997

00

26.01.2024

0

0

book Séminaire de Probabilités XXVIII

Séminaire de Probabilités XXVIII

djvu

Author: Laurent Schwartz (auth.) Jacques Azéma Marc Yor Paul André Meyer (eds.)
Language: English-French
Year: 1994

00

26.01.2024

0

0

book Séminaire de Probabilités XXVIII

Séminaire de Probabilités XXVIII

djvu

Author: Laurent Schwartz (auth.) Jacques Azéma Marc Yor Paul André Meyer (eds.)
Language: English-French
Year: 1994

00

26.01.2024

0

0

book World War II Infantry in Colour Photographs

World War II Infantry in Colour Photographs

pdf

Author: Laurent Mirouze
Language: English
Year: 1999

00

26.01.2024

0

0

book Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

Languages for Embedded Systems and their Applications: Selected Contributions on Specification, Design, and Verification from FDL’08

pdf

Author: Eric Senn Saadia Douhib Dominique Blouin Johann Laurent Skander Turki (auth.) Prof. Dr. Martin Radetzki (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Théorie des fonctions holomorphes de plusieurs variables

Théorie des fonctions holomorphes de plusieurs variables

pdf

Author: C. Laurent-Thiébaut
Language: French
Year: 1997

00

26.01.2024

0

0