Discrete mathematics :: SCD d'Orléans

Discrete mathematics

Discrete mathematics

Na minha lista:

Detalhes bibliográficos
Autor principal:	Biggs, Norman, 1941-
Formato:	Livre papier
Idioma:	Anglais
Publicado em:	Oxford [England] : New York : Clarendon Press ; Oxford University Press C 1989.
Edição:	Revised edition.
Colecção:	Oxford science publications
Assuntos:	Algèbre abstraite Informatique > Mathématiques Algorithmes Logique symbolique et mathématique Recherche opérationnelle
Nota:	Autres tirages : 1990, 1991, 1992, 1993, 1994, 1995, 1996, 2000
Autres localisations:	Voir dans le Sudoc

Registos relacionados

Algebraic systems
Por: Mal'cev, Anatolii Ivanovič, 1909-1967
Publicado em: (1973)

Introduction to model theory and to the metamathematics of algebra
Por: Robinson, Abraham, 1918-1974, mathématicien
Publicado em: (1965)

Mathématiques discrètes : cours et problèmes
Por: Lipschutz, Seymour Saul, 1931-
Publicado em: (1990)

Discrete mathematics : applied algebra for computer and information science
Por: Bobrow, Leonard S., 1940-, et autres
Publicado em: (1974)

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
Por: Bergman, Clifford H.

Éléments de mathématiques discrètes
Por: Frécon, Louis, 1940-
Publicado em: (2002)

Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings

Eurocal '87 : [6th] European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987 : proceedings

Advances in case-based reasoning : 6th European Conference, ECCBR 2002 Aberdeen, Scotland, UK, September 4 7, 2002 Proceedings

Case-based reasoning research and development : 5th International Conference on Case-Based Reasoning, ICCBR 2003, Trondheim, Norway, June 23 26, 2003 : proceedings

Mathematics of program construction : 375th anniversary of the Groningen university, international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings

Modeling Decisions for Artificial Intelligence : First International Conference, MDAI 2004, Barcelona, Spain, August 2-4, 2004. Proceedings

Mathematics of program construction : second international conference, Oxford, U.K., June 29 July 3, 1992 : proceedings

Logical foundations of computer science - Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 proceedings

Algebraic and coalgebraic methods in the mathematics of program construction : international Summer school and workshop, Oxford, UK, April 10-14, 2000 : revised lectures

Recent trends in algebraic development techniques : 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002 : revised selected papers

Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers

Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

Algebraic methodology and software technology : 6th international conference, AMAST ±97, Sydney, Australia, December 13-17, 1997 : proceedings

Logique et modélisation : modèles consistants, données compatibles
Por: Gondran, Michel, et autres
Publicado em: (1995)

A methodology for uncertainty in knowledge-based systems
Por: Weichselberger, Kurt, et autres

Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24 26, 1989 : proceedings
Por: Bläsius, Karl Hans, 1952-

Systems of reductions
Por: Benninghofen, Benjamin, 1958-, et autres

Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11 14, 1994 : proceedings

Algebraic methodology and software technology : 7th International Conference, AMAST 98, Amazonia, Brazil, January 4 8, 1999 : proceedings

Algebraic methodology and software technology : 5th International Conference, AMAST '96, Munich, Germany, July 1 5, 1996 : proceedings

Principles of Mathematics in Operations Research
Por: Kandiller, Levent

À la découverte des graphes et des algorithmes de graphes
Por: Laforest, Christian, 19..-
Publicado em: (2016)

À la découverte des graphes et des algorithmes de graphes
Por: Laforest, Christian, 19..-
Publicado em: (2017)

Theoretical computer science : 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4 6, 2001 : proceedings
Por: Restivo, Antonio, et autres

Algebraic methodology and software technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings

Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings

STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22 24, 1990 : proceedings

STACS 84 : Symposium of Theoretical Aspects of Computer Science, Paris [April] 11 13, 1984 : sponsored by AFCET (Association Francaise pour la Cybernétique Economique et Technique) and GI (Gesellschaft für Informatik)

STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science Orsay, France, January 16 18, 1986

Essays in mathematics and its applications : in honor of Stephen Smale s 80th birthday
Por: Pardalos, Panos M., 1954-
Publicado em: (2012)

Proofs and fundamentals : a first course in abstract mathematics
Por: Bloch, Ethan D., 1956-

Computational discrete mathematics : advanced lectures
Por: Alt, Helmut, 1950-

Logics for concurrency : structure versus automata
Por: Moller, Faron, 1962-...., informaticien

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales