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
Theoretical Computer Science
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
Theoretical Computer Science 5th GI-Conference Karlsruhe, March 23-25, 1981 / herausgegeben von P. Deussen.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Deussen, P.
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
1981.
Edition:
1st ed. 1981.
Series:
Lecture Notes in Computer Science,
104
Springer eBook Collection.
Subjects:
Architecture, Computer.
Computers.
Algorithms.
Computer 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
Foundations of Software Technology and Theoretical Computer Science Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Published: (1988)
Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
Published: (2003)
Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings
Published: (2001)
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
Published: (2005)
Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Published: (1993)
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
Published: (2017)
Foundations of Software Technology and Theoretical Computer Science 15th Conference; Bangalore, India, December 1995. Proceedings
Published: (1995)
Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
Published: (2014)
Mathematical Foundations of Computer Science 1991 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings
by: Tarlecki, Andrzej
Published: (1991)
Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings
Published: (2017)
Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings
Published: (2018)
Foundations of Software Technology and Theoretical Computer Science 16th Conference, Hyderabad, India, December 18 - 20, 1996, Proceedings
Published: (1996)
Theoretical Computer Science 6th IFIP WG 2.2 International Conference, TCS 2010, Held as a Part of WCC 2010, Brisbane, Australia, September 20-23, 2010, Proceedings
Published: (2010)
Theoretical Computer Science 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
Published: (2012)
STACS 88 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13,1988; Proceedings
Published: (1988)
The Calculus of Computation Decision Procedures with Applications to Verification
by: Bradley, Aaron R., et al.
Published: (2007)
Results and Trends in Theoretical Computer Science Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10 - 11, 1994. Proceedings
Published: (1994)
Theoretical Computer Science 6th GI-Conference Dortmund, January 5-7, 1983
Published: (1982)
Computer Algebra in Scientific Computing 20th International Workshop, CASC 2018, Lille, France, September 17–21, 2018, Proceedings
Published: (2018)
Fundamentals of Computation Theory International Conference FCT '87 Kazan, USSR, June 22-26, 1987. Proceedings
Published: (1987)
Foundations of Software Technology and Theoretical Computer Science Tenth Conference, Bangalore, India, December 17-19, 1990, Proceedings
Published: (1990)
Foundations of Software Technology and Theoretical Computer Science 14th Conference, Madras, India, December 15 - 17, 1994. Proceedings
Published: (1994)
Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings
Published: (1995)
Computer Science Logic 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings
Published: (1992)
Application and Theory of Petri Nets 1995 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Published: (1995)
Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings
Published: (2018)
Foundations of Software Technology and Theoretical Computer Science Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
Published: (1987)
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)
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
Published: (2005)
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007, Proceedings
Published: (2007)
Logics for Concurrency Structure versus Automata
Published: (1996)
Implementation and Application of Automata 5th International Conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000, Revised Papers
Published: (2001)
Graph-Theoretic Concepts in Computer Science 21st International Workshop, WG '95, Aachen, Germany, June 20 - 22, 1995. Proceedings
Published: (1995)
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings
Published: (2013)
Graph-Theoretic Concepts in Computer Science 18th International Workshop, WG '92, Wiesbaden-Naurod, Germany, June 18-20, 1992. Proceedings
Published: (1993)
Application and Theory of Petri Nets 1996 17th International Conference, Osaka, Japan, June 24-28, 1996. Proceedings
Published: (1996)
Theoretical Aspects of Computing -- ICTAC 2011 8th International Colloquium, Johannesburg, South Africa, August 31 -- September 2, 2011, Proceedings
Published: (2011)
Computer Science -- Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010, Proceedings
Published: (2010)
FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science 23rd Conference, Mumbai India, December 15-17, 2003, Proceedings
Published: (2003)
Prev
Next
Similar Items
Foundations of Software Technology and Theoretical Computer Science Eighth Conference, Pune, India, December 21-23, 1988. Proceedings
Published: (1988)
Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings
Published: (2003)
Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings
Published: (2001)
Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
Published: (2005)
Fundamentals of Computation Theory 9th International Conference, FCT '93, Szeged, Hungary, August 23-27, 1993. Proceedings
Published: (1993)