2 résultat(s) recherche sur le mot-clé 'sets theory'

a Theory of sets / Morse, Anthony P.

Public ISBD Titre : a Theory of sets Type de document : texte imprimé Auteurs : Morse, Anthony P. Editeur : Academic Press, Inc. Année de publication : 1965 Collection : PURE AND APPLIED MATHEMATICS num. 18 Importance : xxxi - 130 p. Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theories Mots-clés : theory of notation  kelley-morse set theory  axiomatic theory of sets  sets theory Index. décimale : 03C Monographie a Theory of sets [texte imprimé] / Morse, Anthony P. . - [S.l.] : Academic Press, Inc., 1965 . - xxxi - 130 p.. - (PURE AND APPLIED MATHEMATICS; 18) . Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03EXX Set theory:03E70 Nonclassical and second-order set theories Mots-clés : theory of notation  kelley-morse set theory  axiomatic theory of sets  sets theory Index. décimale : 03C Monographie

Exemplaires

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

Structures de données et méthodes formelles / Marc Guyomard

Public ISBD Titre : Structures de données et méthodes formelles Type de document : texte imprimé Auteurs : Marc Guyomard, Auteur Editeur : Paris : Springer Année de publication : 2011 Collection : Collection Télécom Importance : xvi - 438 p. Format : 24 cm ISBN/ISSN/EAN : 978-2-8178-0199-5 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68-XX Computer science :68PXX Theory of data:68P05 Data structures Mots-clés : sets theory  lists  queues  heaps  trees  complexity of algorithms Index. décimale : 68C Monographie Structures de données et méthodes formelles [texte imprimé] / Marc Guyomard, Auteur . - Paris : Springer, 2011 . - xvi - 438 p. ; 24 cm. - (Collection Télécom) . ISBN : 978-2-8178-0199-5 Langues : Français Catégories : 68-XX Computer science :68-01 Instructional exposition (textbooks, tutorial papers, etc.) 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68-XX Computer science :68PXX Theory of data:68P05 Data structures Mots-clés : sets theory  lists  queues  heaps  trees  complexity of algorithms Index. décimale : 68C Monographie

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
21222	LINA/68C405	imprimé / autre	CRDM	68/INFORMATIQUE	Disponible