Automata, Logics, and Infinite Games A Guide to Current Research /

Automata, Logics, and Infinite Games A Guide to Current Research /

A central aim and ever-lasting dream of computer science is to put the development of hardware and software systems on a mathematical basis which is both firm and practical. Such a scientific foundation is needed especially for the construction of reactive programs, like communication protocols or c...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Grädel, Erich (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Thomas, Wolfgang (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Wilke, Thomas (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2002.
Έκδοση:	1st ed. 2002.
Σειρά:	Lecture Notes in Computer Science, 2500
Θέματα:	Computers. Computer science. Theory of Computation. Computer Science, general.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Architecting Dependable Systems
Έκδοση: (2003)

STACS 2003 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003. Proceedings /
Έκδοση: (2003)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 13th International Conference, ALT 2002, Lübeck, Germany, November 24-26, 2002, Proceedings /
Έκδοση: (2002)

OpenMP Shared Memory Parallel Programming International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003. Proceedings /
Έκδοση: (2003)

Dependable Computing EDCC-4 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings /
Έκδοση: (2002)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers /
Έκδοση: (2002)

Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings /
Έκδοση: (2003)

Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part I /
Έκδοση: (2018)

Smart and Innovative Trends in Next Generation Computing Technologies Third International Conference, NGCT 2017, Dehradun, India, October 30-31, 2017, Revised Selected Papers, Part II /
Έκδοση: (2018)

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic /
ανά: Dau, Frithjof, κ.ά.
Έκδοση: (2003)

Beginning PHP and MySQL From Novice to Professional /
ανά: Kromann, Frank M., κ.ά.
Έκδοση: (2018)

Smart Technologies and Innovation for a Sustainable Future Proceedings of the 1st American University in the Emirates International Research Conference - Dubai, UAE 2017 /
Έκδοση: (2019)

Automata, Languages and Programming 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings /
Έκδοση: (2001)

Java APIs, Extensions and Libraries With JavaFX, JDBC, jmod, jlink, Networking, and the Process API /
ανά: Sharan, Kishori, κ.ά.
Έκδοση: (2018)

Automata, Languages and Programming 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings /
Έκδοση: (2003)

Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
Έκδοση: (2002)

Automata, Languages and Programming 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings /
Έκδοση: (1997)

Automata, Languages and Programming 25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings /
Έκδοση: (1998)

Program the Internet of Things with Swift for iOS Learn How to Program Apps for the Internet of Things /
ανά: Bakir, Ahmed, κ.ά.
Έκδοση: (2018)

Computers and Games Second International Conference, CG 2001, Hamamatsu, Japan, October 26-28, 2000 Revised Papers /
Έκδοση: (2001)

Automata, Languages and Programming 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 Proceedings /
Έκδοση: (2000)

Advances in Cryptology - EUROCRYPT '97 International Conference on the Theory and Application of Cryptographic Techniques Konstanz, Germany, May 11-15, 1997 Proceedings /
Έκδοση: (1997)

Data Warehousing and Knowledge Discovery 5th International Conference, DaWaK 2003, Prague, Czech Republic, September 3-5,2003, Proceedings /
Έκδοση: (2003)

Inductive Logic Programming 13th International Conference, ILP 2003, Szeged, Hungary, September 29 - October 1, 2003, Proceedings /
Έκδοση: (2003)

Petri Net Technology for Communication-Based Systems Advances in Petri Nets /
Έκδοση: (2003)

Future Directions in Distributed Computing Research and Position Papers /
Έκδοση: (2003)

Inductive Logic Programming 12th International Conference, ILP 2002, Sydney, Australia, July 9-11, 2002. Revised Papers /
Έκδοση: (2003)

Progress in Cryptology - INDOCRYPT 2002 Third International Conference on Cryptology in India Hyderabad, India, December 16-18, 2002 /
Έκδοση: (2002)

Recent Advances in Intrusion Detection 6th International Symposium, RAID 2003, Pittsburgh, PA, USA, September 8-10, 2003, Proceedings /
Έκδοση: (2003)

Graph Based Representations in Pattern Recognition 4th IAPR International Workshop, GbRPR 2003, York, UK, June 30 - July 2, 2003. Proceedings /
Έκδοση: (2003)

Public Key Cryptography - PKC 2003 6th International Workshop on Theory and Practice in Public Key Cryptography, Miami, FL, USA, January 6-8, 2003, Proceedings /
Έκδοση: (2002)

Selected Areas in Cryptography 6th Annual International Workshop, SAC'99 Kingston, Ontario, Canada, August 9-10, 1999 Proceedings /
Έκδοση: (2000)

Recent Advances in Intrusion Detection 5th International Symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002, Proceedings /
Έκδοση: (2002)

Multi-Agent Systems and Applications III 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003, Prague, Czech Republic, June 2003, Proceedings /
Έκδοση: (2003)

CASL Reference Manual The Complete Documentation of the Common Algebraic Specification Language /
Έκδοση: (2004)

Rewriting Techniques and Applications 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings /
Έκδοση: (2003)

Cryptography and Coding 9th IMA International Conference, Cirencester, UK, December 16-18, 2003, Proceedings /
Έκδοση: (2003)

Experimental Algorithmics From Algorithm Design to Robust and Efficient Software /
Έκδοση: (2002)

Automata, Languages and Programming 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 Proceedings /
Έκδοση: (1999)

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