Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Appliquer les mathematiques / di Audureau, De Gandt,Hock et altri
| Appliquer les mathematiques / di Audureau, De Gandt,Hock et altri |
| Autore | Audureau, Eric |
| Pubbl/distr/stampa | Paris : C.N.R.S., 1984 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001123170403321 |
Audureau, Eric
|
||
| Paris : C.N.R.S., 1984 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen
| Kurt Gödel Philosopher-Scientist / / Gabriella Crocco, Eva-Maria Engelen |
| Autore | Audureau Éric |
| Pubbl/distr/stampa | Aix-en-Provence, : Presses universitaires de Provence, 2021 |
| Descrizione fisica | 1 online resource (525 p.) |
| Altri autori (Persone) |
BernardJulien
CantùPaola CroccoGabriella DawsonJohn W EngelenEva-Maria FloydJuliet HaringSilvia Jr KanamoriAkihiro KnoblochEberhard LinkMontgomery MagalOran MertensAmélie MugnaiMassimo TernulloClaudio TieszenRichard van AttenMark WeingartnerPaul |
| Collana | Épistémè |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| Soggetto non controllato | philosophy |
| ISBN | 979-1-03-657685-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910502603303321 |
|
Audureau Éric
|
||
| Aix-en-Provence, : Presses universitaires de Provence, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
| Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler |
| Autore | Audureau, Éric |
| Pubbl/distr/stampa | Paris [etc.] : Masson, 1990 |
| Descrizione fisica | VI, 232 p. ; 25 cm. |
| Altri autori (Persone) |
Enjalbert, Patrice
Fariñas Del Cerro, Luis |
| Soggetto topico | Logica temporale |
| ISBN | 22-258-1967-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-SUN0105915 |
|
Audureau, Éric
|
||
| Paris [etc.] : Masson, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
| Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler |
| Autore | Audureau, Éric |
| Pubbl/distr/stampa | Paris [etc.], : Masson, 1990 |
| Descrizione fisica | VI, 232 p. ; 25 cm. |
| Altri autori (Persone) |
Enjalbert, Patrice
Fariñas Del Cerro, Luis |
| Soggetto topico | Logica temporale |
| ISBN | 22-258-1967-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-VAN0105915 |
|
Audureau, Éric
|
||
| Paris [etc.], : Masson, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler
| Logique temporelle : Semantique et validation de programmes paralleles / Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro ; preface de Erwin Engeler |
| Autore | Audureau, Éric |
| Pubbl/distr/stampa | Paris [etc.], : Masson, 1990 |
| Descrizione fisica | VI, 232 p. ; 25 cm. |
| Altri autori (Persone) |
Enjalbert, Patrice
Fariñas Del Cerro, Luis |
| Soggetto topico | Logica temporale |
| ISBN | 22-258-1967-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNICAMPANIA-VAN00105915 |
|
Audureau, Éric
|
||
| Paris [etc.], : Masson, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Sciences et Humanités : Décloisonner les savoirs pour reconstruire l’Université / / Éric Audureau
| Sciences et Humanités : Décloisonner les savoirs pour reconstruire l’Université / / Éric Audureau |
| Autore | Audureau Éric |
| Pubbl/distr/stampa | Aix-en-Provence, : Presses universitaires de Provence, 2021 |
| Descrizione fisica | 1 online resource (274 p.) |
| Altri autori (Persone) |
Boulc’hFlorence
BriendJean-Yves BrunetMathieu ChandelierCédric CroccoGabriella DonaggioEnrico HagelGaëtan KochIsabelle MagniontGilles MontantMarie MorizotBaptiste MorizotOlivier NèveGabriel Ploquin-DonzenacSara PoulinIsabelle QuinioMartine AudureauÉric |
| Collana | Épistémè |
| Soggetto topico |
Education
anthropologie physique sociologie enseignement université histoire philosophie lettres chimie histoire de l’art mathématiques neurosciences biologie sciences et humanités linguistiques |
| Soggetto non controllato |
anthropologie
physique sociologie enseignement université histoire philosophie lettres chimie histoire de l’art mathématiques neurosciences biologie sciences et humanités linguistiques |
| ISBN | 979-1-03-657688-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | fre |
| Record Nr. | UNINA-9910502601203321 |
|
Audureau Éric
|
||
| Aix-en-Provence, : Presses universitaires de Provence, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||