Neidio i'r cynnwys
Library Home
Start Over
Research Databases
E-Journals
Cronfeydd y Cwrs
Library Home
Mewngofnodi
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Iaith
Library Catalog
Pob Maes
Teitl
Awdur
Pwnc
Rhif Galw
ISBN/ISSN
Canfod
Chwiliad Uwch
|
Pori
|
Awgrymiadau Chwilio
Mathematical Foundations of Co...
Dyfynnu hwn
Anfonwch hwn fel neges destun
E-bostio hwn
Argraffu
Allforio Cofnod
Allforio i RefWorks
Allforio i EndNoteWeb
Allforio i EndNote
Ychwanegu at ffefrynnau
Permanent link
Mathematical Foundations of Computer Science Sets, Relations, and Induction / by Peter A. Fejer, Dan A. Simovici.
Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron:
Fejer, Peter A.
(Awdur)
,
Simovici, Dan A.
(Awdur)
Awdur Corfforaethol:
SpringerLink (Online service)
Fformat:
eLyfr
Iaith:
English
Cyhoeddwyd:
New York, NY :
Springer New York : Imprint: Springer,
1991.
Rhifyn:
1st ed. 1991.
Cyfres:
Monographs in Computer Science,
Springer eBook Collection.
Pynciau:
Combinatorics.
Numerical analysis.
Computer logic.
Mathematical logic.
Electronic resources (E-books)
Mynediad Ar-lein:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Daliadau
Disgrifiad
Tabl Cynhwysion
Eitemau Tebyg
Dangos Staff
Eitemau Tebyg
Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Cyhoeddwyd: (1995)
Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics
gan: Engeler, Erwin
Cyhoeddwyd: (1993)
Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Cyhoeddwyd: (1999)
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Cyhoeddwyd: (2013)
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Cyhoeddwyd: (2012)
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Cyhoeddwyd: (2014)
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Cyhoeddwyd: (2015)
Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Cyhoeddwyd: (2016)
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Cyhoeddwyd: (2014)
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Cyhoeddwyd: (2015)
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Cyhoeddwyd: (2014)
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Cyhoeddwyd: (2015)
A Basis for Theoretical Computer Science
gan: Arbib, M.A, et al.
Cyhoeddwyd: (1981)
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Cyhoeddwyd: (2014)
Problems and Exercises in Discrete Mathematics
gan: Gavrilov, G.P, et al.
Cyhoeddwyd: (1996)
Fundamentals of Computation Theory 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Cyhoeddwyd: (1995)
Relations and Graphs Discrete Mathematics for Computer Scientists
gan: Schmidt, Gunther, et al.
Cyhoeddwyd: (1993)
STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
Cyhoeddwyd: (1992)
Abduction and Induction Essays on their Relation and Integration
Cyhoeddwyd: (2000)
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Cyhoeddwyd: (2018)
Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Cyhoeddwyd: (1989)
Fundamentals of Computation Theory 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
Cyhoeddwyd: (1991)
Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Cyhoeddwyd: (1993)
STACS 91 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
Cyhoeddwyd: (1991)
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Cyhoeddwyd: (2005)
Where Mathematics, Computer Science, Linguistics and Biology Meet Essays in honour of Gheorghe Păun
Cyhoeddwyd: (2001)
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Cyhoeddwyd: (1993)
Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Cyhoeddwyd: (2004)
Banach Spaces and Descriptive Set Theory: Selected Topics
gan: Dodos, Pandelis
Cyhoeddwyd: (2010)
Foundations of Image Understanding
Cyhoeddwyd: (2001)
Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Cyhoeddwyd: (1995)
Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings
Cyhoeddwyd: (1995)
Automata, Languages and Programming 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Cyhoeddwyd: (1989)
A Beginner’s Guide to Discrete Mathematics
gan: Wallis, W.D
Cyhoeddwyd: (2003)
A Beginner's Guide to Discrete Mathematics
gan: Wallis, W.D
Cyhoeddwyd: (2012)
Methods and Applications of Error-Free Computation
gan: Gregory, R. T., et al.
Cyhoeddwyd: (1984)
STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Cyhoeddwyd: (1988)
Combinatorics and Computer Science 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers
Cyhoeddwyd: (1996)
Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Cyhoeddwyd: (2019)
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
gan: Soifer, Alexander
Cyhoeddwyd: (2009)
Blaenorol
Nesaf
Eitemau Tebyg
Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Cyhoeddwyd: (1995)
Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics
gan: Engeler, Erwin
Cyhoeddwyd: (1993)
Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Cyhoeddwyd: (1999)
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Cyhoeddwyd: (2013)
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Cyhoeddwyd: (2012)