Skip to content
VuFind
  • Language
    • English
    • Ελληνικά
Advanced
  • Search
  • Theory and Applications of Mod...
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to EndNoteWeb
    • Export to BibTeX
    • Export to RIS
  • Permanent link
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Show other versions (1)
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Kratochvíl, Jan (Editor), Li, Angsheng (Editor), Fiala, Jiří (Editor), Kolman, Petr (Editor)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Series:Lecture Notes in Computer Science, 6108
Subjects:
Computer science.
Computer programming.
Programming languages (Electronic computers).
Computers.
Algorithms.
Computer logic.
Computer science > Mathematics.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Theory of Computation.
Mathematics of Computing.
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Online Access:Full Text via HEAL-Link
  • Holdings
  • Description
  • Table of Contents
  • Other Versions (1)
  • Similar Items
  • Staff View
Showing 1 - 1 results of 1
Show all versions (2)
Search Result 1
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
by KratochvΓ­l, Jan
Published 2010
Call Number: Loading…
Located: Loading…
Get full text
Electronic Kit Book
Show all versions (2)

Similar Items

  • Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings /
    Published: (2010)
  • Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
    Published: (2009)
  • Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
    Published: (2008)
  • Formal Modeling and Analysis of Timed Systems 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings /
    Published: (2011)
  • Formal Modeling and Analysis of Timed Systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
    Published: (2012)

Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels

Need Help?

  • Search Tips
  • Ask a Librarian
Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Εικονίδιο Facebook Εικονίδιο Twitter Εικονίδιο Soundcloud