Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
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
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Mathematical Foundations of Co...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Mathematical Foundations of Computer Science 1986 12th Symposium held at Bratislava, Czechoslovakia, August 25-29, 1986. Proceedings / edited by Jozef Gruska, Branislav Rovan, Juraj Wiedermann.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Gruska, Jozef
(Editor)
,
Rovan, Branislav
(Editor)
,
Wiedermann, Juraj
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1986.
Edition:
1st ed. 1986.
Series:
Lecture Notes in Computer Science,
233
Springer eBook Collection.
Subjects:
Computer programming.
Algorithms.
Computer logic.
Mathematical logic.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Similar Items
Mathematical Foundations of Computer Science 1995 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings
Published: (1995)
Mathematical Foundations of Computer Science 1992 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings
Published: (1992)
Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Published: (1990)
Mathematical Foundations of Computer Science 1994 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings
Published: (1994)
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings
Published: (2009)
Mathematical Foundations of Computer Science 1989 Porabka-Kozubnik, Poland, August 28 - September 1, 1989. Proceedings
Published: (1989)
Mathematical Foundations of Computer Science 2011 36th International Symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011, Proceedings
Published: (2011)
Mathematical Foundations of Programming Semantics 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989. Proceedings
Published: (1990)
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
Published: (2007)
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Published: (2017)
Logical Foundations of Computer Science Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994. Proceedings
Published: (1994)
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
Published: (2006)
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings
Published: (2005)
Logical Foundations of Computer Science International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009, Proceedings
Published: (2009)
STACS 95 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995. Proceedings
Published: (1995)
Logical Foundations of Computer Science - Tver '92 Second International Symposium, Tver, Russia, July 20-24, 1992. Proceedings
Published: (1992)
Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Published: (1990)
Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings
Published: (2012)
Mathematical Foundations of Computer Science 2004 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings
Published: (2004)
Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings
Published: (2005)
Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Published: (2018)
Advances in Computer Science, Information Security and Privacy 13th Asian Computing Science Conference, Seoul, Korea, December 14-16, 2009, Proceedings
Published: (2009)
Mathematical Foundations of Computer Science 1991 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
by: Tarlecki, Andrzej
Published: (1991)
Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Published: (1995)
STACS 94 11th Annual Symposium on Theoretical Aspects of Computer Science Caen, France, February 24–26, 1994 Proceedings
Published: (1994)
STACS 96 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996. Proceedings
Published: (1996)
Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings
Published: (2018)
Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Published: (2001)
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
Published: (2013)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Published: (2005)
FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings
Published: (2000)
Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings
Published: (2010)
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings
Published: (2013)
Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
Published: (2013)
Mathematics of Program Construction 375th Anniversary of the Groningen University. International Conference, Groningen, The Netherlands, June 26-30, 1989 Proceedings
Published: (1989)
Baltic Computer Science Selected Papers
Published: (1991)
Foundations of Software Technology and Theoretical Computer Science 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Published: (1996)
FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings
Published: (2002)
Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings
Published: (2007)
Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, Proceedings
Published: (2006)
Prev
Next
Similar Items
Mathematical Foundations of Computer Science 1995 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings
Published: (1995)
Mathematical Foundations of Computer Science 1992 17th International Symposium, Prague, Czechoslovakia, August 24-28, 1992. Proceedings
Published: (1992)
Mathematical Foundations of Computer Science 1990 Banska Bystrica, Czechoslovakia, August 27-31, 1990 Proceedings
Published: (1990)
Mathematical Foundations of Computer Science 1994 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994. Proceedings
Published: (1994)
Mathematical Foundations of Computer Science 2009 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009, Proceedings
Published: (2009)