Documents disponibles dans la collection

Temporal logic of programs / Kröger, Fred

Public ISBD Titre : Temporal logic of programs Type de document : texte imprimé Auteurs : Kröger, Fred Editeur : Springer-Verlag Année de publication : 1987 Collection : EATCS Monographs on Theoretical Computer Science num. 08 Importance : viii - 148 p. ISBN/ISSN/EAN : 978-3-540-17030-3 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property Index. décimale : 03C Monographie Temporal logic of programs [texte imprimé] / Kröger, Fred . - Springer-Verlag, 1987 . - viii - 148 p.. - (EATCS Monographs on Theoretical Computer Science; 08) . ISBN : 978-3-540-17030-3 Langues : Anglais (eng) Catégories : 03-XX Mathematical logic and foundations:03BXX General logic:03B70 Logic in computer science 68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.) 68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification Mots-clés : sequential programs  eventuality properties of programs  reasoning about the behavior of programs  precedence property  invariance property Index. décimale : 03C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
15823	03C154	imprimé / autre	CRDM	03/MATHEMATICAL LOGIC AND FOUNDATIONS	Disponible

Algorithms in combinatorial geometry / Edelsbrunner, Herbert

Public ISBD Titre : Algorithms in combinatorial geometry Type de document : texte imprimé Auteurs : Edelsbrunner, Herbert Editeur : Springer-Verlag Année de publication : 1987 Collection : EATCS Monographs on Theoretical Computer Science num. 10 Importance : xv - 423 p. ISBN/ISSN/EAN : 978-3-540-13722-1 Langues : Anglais (eng) Catégories : 52-XX Convex and discrete geometry:52-02 Research exposition (monographs, survey articles) 52-XX Convex and discrete geometry:52AXX General convexity:52A35 Helly-type theorems and geometric transversal theory 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity Mots-clés : voronoi diagrams  sorting  time-complexity  arrangements of hyperplanes in euclidean spaces  algorithms in computational geometry  combinatorial geometry  searching helly theorem  radon theorem Index. décimale : 52C Monographie Algorithms in combinatorial geometry [texte imprimé] / Edelsbrunner, Herbert . - Springer-Verlag, 1987 . - xv - 423 p.. - (EATCS Monographs on Theoretical Computer Science; 10) . ISBN : 978-3-540-13722-1 Langues : Anglais (eng) Catégories : 52-XX Convex and discrete geometry:52-02 Research exposition (monographs, survey articles) 52-XX Convex and discrete geometry:52AXX General convexity:52A35 Helly-type theorems and geometric transversal theory 68-XX Computer science :68QXX Theory of computing:68Q25 Analysis of algorithms and problem complexity Mots-clés : voronoi diagrams  sorting  time-complexity  arrangements of hyperplanes in euclidean spaces  algorithms in computational geometry  combinatorial geometry  searching helly theorem  radon theorem Index. décimale : 52C Monographie

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
13110	52C27	imprimé / autre	CRDM	52/ENSEMBLES CONVEXES, INEGALITES GEOMETRIQUES	Disponible