Boolean models and methods in mathematics, computer science, and engineering / Yves Crama ; Peter L. Hammer

Public ISBD Titre : Boolean models and methods in mathematics, computer science, and engineering Type de document : texte imprimé Auteurs : Yves Crama, Editeur scientifique ; Peter L. Hammer, Editeur scientifique Editeur : Cambridge : Cambridge University Press Année de publication : 2010 Collection : Encyclopedia of Mathematics and Its Applications num. 134 Importance : xviii - 759 p. Format : 25 cm ISBN/ISSN/EAN : 978-0-521-84752-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 06-XX Order, lattices, ordered algebraic structures :06-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 94-XX Information and communication, circuits:94-06 Proceedings, conferences, collections, etc. Mots-clés : ordered structures  mathematical logic Index. décimale : 06B Publication collective Boolean models and methods in mathematics, computer science, and engineering [texte imprimé] / Yves Crama, Editeur scientifique ; Peter L. Hammer, Editeur scientifique . - Cambridge : Cambridge University Press, 2010 . - xviii - 759 p. ; 25 cm. - (Encyclopedia of Mathematics and Its Applications; 134) . ISBN : 978-0-521-84752-0 Langues : Anglais Catégories : 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 06-XX Order, lattices, ordered algebraic structures :06-06 Proceedings, conferences, collections, etc. 68-XX Computer science :68-06 Proceedings, conferences, collections, etc. 94-XX Information and communication, circuits:94-06 Proceedings, conferences, collections, etc. Mots-clés : ordered structures  mathematical logic Index. décimale : 06B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
20770	06B03	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Continuous lattices and domains

Public ISBD Titre : Continuous lattices and domains Type de document : texte imprimé Auteurs : Gerhard Gierz, Editeur scientifique ; Hofmann, Karl H. ; Keimel, Klaus ; J. D. Lawson ; M. Mislove ; Dana S. Scott Editeur : Cambridge : Cambridge University Press Année de publication : 2003 Collection : Encyclopedia of Mathematics and Its Applications num. 93 Importance : xxxvi, 591 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-0-521-80338-0 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B30 Topological lattices, order topologies 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B35 Continuous lattices and posets, applications Mots-clés : continuous lattice  domain  ordered set  Heyting algebra  continuous semilattice  Scott topology  Scott-continuous function  Lawson topology  continuous domain  quasicontinuous domain  Lawson duality of domain Index. décimale : 06B Publication collective Continuous lattices and domains [texte imprimé] / Gerhard Gierz, Editeur scientifique ; Hofmann, Karl H. ; Keimel, Klaus ; J. D. Lawson ; M. Mislove ; Dana S. Scott . - Cambridge : Cambridge University Press, 2003 . - xxxvi, 591 p. : ill. ; 24 cm. - (Encyclopedia of Mathematics and Its Applications; 93) . ISBN : 978-0-521-80338-0 Langues : Anglais Catégories : 06-XX Order, lattices, ordered algebraic structures :06-02 Research exposition (monographs, survey articles) 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B30 Topological lattices, order topologies 06-XX Order, lattices, ordered algebraic structures :06BXX Lattices :06B35 Continuous lattices and posets, applications Mots-clés : continuous lattice  domain  ordered set  Heyting algebra  continuous semilattice  Scott topology  Scott-continuous function  Lawson topology  continuous domain  quasicontinuous domain  Lawson duality of domain Index. décimale : 06B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
18436	06B02	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

Orders / D. Richard ; Pouzet, M.

Public ISBD Titre : Orders : description and roles in set theory, lattices, ordered groups, topology theory of models and relations, combinatorics, effectiveness, social sciences Titre original : proceedings of the Conference of Ordered Sets and their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 Type de document : texte imprimé Auteurs : D. Richard, Editeur scientifique ; Pouzet, M., Editeur scientifique Editeur : North-Holland Année de publication : 1984 Collection : Mathematics Studies - Annals of Discrete Mathematics num. 99 - 23 Importance : xxvii - 548 p. ISBN/ISSN/EAN : 978-0-444-87601-0 Langues : Français Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 05-XX Combinatorics :05-06 Proceedings, conferences, collections, etc. Mots-clés : l'arbresle (france)  conference  proceedings  ordered sets  orders Index. décimale : 06B Publication collective Orders = proceedings of the Conference of Ordered Sets and their Applications, Château de la Tourette, l'Arbresle, July 5-11, 1982 : description and roles in set theory, lattices, ordered groups, topology theory of models and relations, combinatorics, effectiveness, social sciences [texte imprimé] / D. Richard, Editeur scientifique ; Pouzet, M., Editeur scientifique . - [S.l.] : North-Holland, 1984 . - xxvii - 548 p.. - (Mathematics Studies - Annals of Discrete Mathematics; 99 - 23) . ISBN : 978-0-444-87601-0 Langues : Français Catégories : 00-XX General:00BXX Conference proceedings and collections of papers 03-XX Mathematical logic and foundations:03-06 Proceedings, conferences, collections, etc. 05-XX Combinatorics :05-06 Proceedings, conferences, collections, etc. Mots-clés : l'arbresle (france)  conference  proceedings  ordered sets  orders Index. décimale : 06B Publication collective

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9389	06B01	imprimé / autre	CRDM	06/ORDRE,TREILLIS, STRUCTURES ALGEBRIQUES ORDONNEES	Disponible

---

page 1/1