Fundamentals of Computation Theory 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings /

Fundamentals of Computation Theory 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Freivalds, Rusins (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2001.
Έκδοση:	1st ed. 2001.
Σειρά:	Lecture Notes in Computer Science, 2138
Θέματα:	Computers. Computer programming. Algorithms. Mathematical logic. Computer graphics. Theory of Computation. Programming Techniques. Computation by Abstract Devices. Algorithm Analysis and Problem Complexity. Mathematical Logic and Formal Languages. Computer Graphics.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Algorithms - ESA 2001 9th Annual European Symposium, Aarhus, Denmark, August 28-31, 2001, Proceedings /
Έκδοση: (2001)

Fundamentals of Computation Theory 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings /
Έκδοση: (2003)

Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
Έκδοση: (1997)

Machines, Computations, and Universality Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings /
Έκδοση: (2001)

Randomness and Completeness in Computational Complexity
ανά: Melkebeek, Dieter van, κ.ά.
Έκδοση: (2000)

Computing and Combinatorics 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 Proceedings /
Έκδοση: (2000)

Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
Έκδοση: (2001)

Algorithms and Data Structures 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings /
Έκδοση: (2001)

Computability and Complexity in Analysis 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000. Selected Papers /
Έκδοση: (2001)

Computing and Combinatorics 5th Annual International Conference, COCOON'99, Tokyo, Japan, July 26-28, 1999, Proceedings /
Έκδοση: (1999)

Algorithmic Learning Theory 12th International Conference, ALT 2001, Washington, DC, USA, November 25-28, 2001. Proceedings. /
Έκδοση: (2001)

Algorithms and Data Structures 5th International Workshop, WADS '97, Halifax, Nova Scotia, Canada, August 6-8, 1997. Proceedings /
Έκδοση: (1997)

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
Έκδοση: (2002)

Developments in Language Theory 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers /
Έκδοση: (2002)

DNA Computing 6th International Workshop on DNA-Based Computers, DNA 2000, Leiden, The Netherlands, June 13-17, 2000. Revised Papers /
Έκδοση: (2001)

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

FST TCS 2000: Foundations of Software Technology and Theoretical Science 20th Conference, New Delhi, India, December13-15, 2000 Proceedings /
Έκδοση: (2000)

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Έκδοση: (2001)

Algorithms and Complexity 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings /
ανά: Petreschi, Rosella, κ.ά.
Έκδοση: (2003)

Graph-Theoretic Concepts in Computer Science 22nd International Workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, Proceedings /
Έκδοση: (1997)

Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /
Έκδοση: (1997)

Typed Lambda Calculi and Applications 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings /
Έκδοση: (1999)

Computational Discrete Mathematics Advanced Lectures /
Έκδοση: (2001)

Algorithmic Learning Theory 11th International Conference, ALT 2000 Sydney, Australia, December 11-13, 2000 Proceedings /
Έκδοση: (2000)

Graph-Theoretic Concepts in Computer Science 25th International Workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 Proceedings /
Έκδοση: (1999)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Έκδοση: (2003)

Computational Intelligence. Theory and Applications International Conference, 7th Fuzzy Days Dortmund, Germany, October 1-3, 2001 Proceedings /
Έκδοση: (2001)

Foundations of Software Science and Computation Structures First International Conference, FoSSaCS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings /
Έκδοση: (1998)

Automated Deduction in Geometry Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings /
Έκδοση: (1999)

Formal Methods: Foundations and Applications 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings /
Έκδοση: (2018)

Computational Learning Theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings /
Έκδοση: (2001)

Logic Program Synthesis and Transformation 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
Έκδοση: (1997)

Algorithm Engineering and Experiments 4th International Workshop, ALENEX 2002, San Francicsco, CA, USA, January 4-5, 2002, Revised Papers /
Έκδοση: (2002)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
Έκδοση: (2018)

Algorithms and Computation 12th International Symposium, ISAAC 2001, Christchurch, New Zealand, December 19-21, 2001. Proceedings /
Έκδοση: (2001)

Algorithm Theory - SWAT 2002 8th Scandinavian Workshop on Algorithm Theory, Turku, Finland, July 3-5, 2002 Proceedings /
Έκδοση: (2002)

Graph Transformation, Specifications, and Nets In Memory of Hartmut Ehrig /
Έκδοση: (2018)

Inductive Logic Programming 11th International Conference, ILP 2001, Strasbourg, France, September 9-11, 2001. Proceedings /
Έκδοση: (2001)

Algorithms - ESA 2002 10th Annual European Symposium, Rome, Italy, September 17-21, 2002, Proceedings /
Έκδοση: (2002)

Algorithms and Data Structures 8th International Workshop, WADS 2003, Ottawa, Ontario, Canada, July 30 - August 1, 2003, Proceedings /
Έκδοση: (2003)

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