Přeskočit na obsah
Library Home
Start Over
Research Databases
E-Journals
Rezervace kurzů
Library Home
Přihlásit
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
हिंदी
Հայերէն
Українська
Jazyk
Library Catalog
Vše
Název
Autor
Téma
Signatura
ISBN/ISSN
Hledat
Pokročilé vyhledávání
|
Procházet
|
Tipy pro vyhledávání
Mathematical Foundations of Co...
Vytvořit citaci
Zaslat SMS
Poslat e-mailem
Vytisknout
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Přidat do oblíbených
Trvalý odkaz
Mathematical Foundations of Computer Science Sets, Relations, and Induction / by Peter A. Fejer, Dan A. Simovici.
Uloženo v:
Podrobná bibliografie
Hlavní autoři:
Fejer, Peter A.
(Autor)
,
Simovici, Dan A.
(Autor)
Korporativní autor:
SpringerLink (Online service)
Médium:
E-kniha
Jazyk:
English
Vydáno:
New York, NY :
Springer New York : Imprint: Springer,
1991.
Vydání:
1st ed. 1991.
Edice:
Monographs in Computer Science,
Springer eBook Collection.
Témata:
Combinatorics.
Numerical analysis.
Computer logic.
Mathematical logic.
Electronic resources (E-books)
On-line přístup:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Jednotky
Popis
Obsah
Podobné jednotky
UNIMARC/MARC
Podobné jednotky
Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Vydáno: (1995)
Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics
Autor: Engeler, Erwin
Vydáno: (1993)
Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Vydáno: (1999)
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Vydáno: (2013)
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Vydáno: (2012)
Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings
Vydáno: (2014)
Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings
Vydáno: (2015)
Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
Vydáno: (2016)
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part I
Vydáno: (2014)
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I
Vydáno: (2015)
Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 26-29, 2014. Proceedings, Part II
Vydáno: (2014)
Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II
Vydáno: (2015)
A Basis for Theoretical Computer Science
Autor: Arbib, M.A, a další
Vydáno: (1981)
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Vydáno: (2014)
Problems and Exercises in Discrete Mathematics
Autor: Gavrilov, G.P, a další
Vydáno: (1996)
Fundamentals of Computation Theory 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Proceedings
Vydáno: (1995)
Relations and Graphs Discrete Mathematics for Computer Scientists
Autor: Schmidt, Gunther, a další
Vydáno: (1993)
STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992. Proceedings
Vydáno: (1992)
Abduction and Induction Essays on their Relation and Integration
Vydáno: (2000)
Relational and Algebraic Methods in Computer Science 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings
Vydáno: (2018)
Fundamentals of Computation Theory International Conference FCT '89, Szeged, Hungary, August 21-25, 1989. Proceedings
Vydáno: (1989)
Fundamentals of Computation Theory 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
Vydáno: (1991)
Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Vydáno: (1993)
STACS 91 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991. Proceedings
Vydáno: (1991)
Global Optimization and Constraint Satisfaction Second International Workshop, COCOS 2003, Lausanne, Switzerland, Nevember 18-21, 2003, Revised Selected Papers
Vydáno: (2005)
Where Mathematics, Computer Science, Linguistics and Biology Meet Essays in honour of Gheorghe Păun
Vydáno: (2001)
Artificial Intelligence and Symbolic Mathematical Computing International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Vydáno: (1993)
Theory Is Forever Essays Dedicated to Arto Salomaa on the Occasion of His 70th Birthday
Vydáno: (2004)
Banach Spaces and Descriptive Set Theory: Selected Topics
Autor: Dodos, Pandelis
Vydáno: (2010)
Foundations of Image Understanding
Vydáno: (2001)
Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
Vydáno: (1995)
Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings
Vydáno: (1995)
Automata, Languages and Programming 16th International Colloquium, Stresa, Italy, July 11-15, 1989. Proceedings
Vydáno: (1989)
A Beginner’s Guide to Discrete Mathematics
Autor: Wallis, W.D
Vydáno: (2003)
A Beginner's Guide to Discrete Mathematics
Autor: Wallis, W.D
Vydáno: (2012)
Methods and Applications of Error-Free Computation
Autor: Gregory, R. T., a další
Vydáno: (1984)
STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Vydáno: (1988)
Combinatorics and Computer Science 8th Franco-Japanese and 4th Franco-Chinese Conference, Brest, France, July 3 - 5, 1995 Selected Papers
Vydáno: (1996)
Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019, Proceedings
Vydáno: (2019)
The Mathematical Coloring Book Mathematics of Coloring and the Colorful Life of its Creators
Autor: Soifer, Alexander
Vydáno: (2009)
Předchozí
Další
Podobné jednotky
Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Vydáno: (1995)
Foundations of Mathematics Questions of Analysis, Geometry & Algorithmics
Autor: Engeler, Erwin
Vydáno: (1993)
Mathematical Foundations of Computer Science 1999 24th International Symposium, MFCS'99 Szklarska Poreba, Poland, September 6-10, 1999 Proceedings
Vydáno: (1999)
Mathematical Foundations of Computer Science 2013 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013, Proceedings
Vydáno: (2013)
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Vydáno: (2012)