Filliâtre: in Z-Library suchen

Spende 15. September, 2024 – 1. Oktober, 2024 Über Spenden

Ihr Zugang zu Kenntnissen und Kultur.

Spende 15. September, 2024 – 1. Oktober, 2024

Z-Library ist eine der größten Online-Bibliotheken in der Welt, die mehr als 17,000,000 Bücher und 84,837,000 Artikel erhält. Wir wollen die Literatur für alle zugänglich machen. Heute (15. September, 2024) starten wir eine zusätzliche Spendenaktion für die Unterstützung und Entwicklung der Projekts.

Auch UNBEGRENZTE Downloads (für 31 Tage nach dem Tag der Spende) sind verfügbar für ALLE Benutzer, die während der Spendenaktion bis 1. Oktober, 2024 spenden werden.

Über SpendenWeitere Informationen erhalten

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (7)
Meistgefragt
Liste
- Liste
- Tabelle

1

Informatique - MP2I/MPI - CPGE 1re et 2e années

Informatique - MP2I/MPI - CPGE 1re et 2e années

Thibaut Balabonski & Sylvain Conchon & Jean-Christophe Filliâtre & Kim Nguyen & Laurent Sartre

Jahr:

2022

Sprache:

french

Datei:

PDF, 4.20 MB

5.0 / 5.0

french, 2022

2

Numérique et sciences informatiques

Numérique et sciences informatiques

Thibaut Balabonski, Sylvain Conchon, Jean-Christophe Filliâtre, Kim Nguyen

Jahr:

2019

Sprache:

french

Datei:

DJVU, 8.24 MB

4.0 / 3.0

french, 2019

3

Apprendre à programmer avec Ocaml: Algorithmes et structures de données. (Noire) (French Edition)

Apprendre à programmer avec Ocaml: Algorithmes et structures de données. (Noire) (French Edition)

Conchon, Sylvain, Filliâtre, Jean-Christophe

Jahr:

2014

Sprache:

french

Datei:

PDF, 95.62 MB

0 / 0

french, 2014

4

Apprendre à programmer avec Ocaml

Apprendre à programmer avec Ocaml

Editions Eyrolles

Sylvain Conchon & Jean-Christophe Filliâtre

Jahr:

2014

Sprache:

french

Datei:

EPUB, 6.58 MB

0 / 5.0

french, 2014

5

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

Jahr:

2006

Sprache:

english

Datei:

PDF, 2.35 MB

0 / 0

english, 2006

6

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Robin Adams (auth.), Jean-Christophe Filliâtre, Christine Paulin-Mohring, Benjamin Werner (eds.)

Jahr:

2006

Sprache:

english

Datei:

PDF, 2.07 MB

0 / 0

english, 2006

7

Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Automated Deduction – CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Jean-Christophe Filliâtre (auth.), Maria Paola Bonacina (eds.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 5.52 MB

0 / 0

english, 2013