Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Εμφάνιση άλλων εκδόσεων (1)

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Dawar, Anuj
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Queiroz, Ruy
Μορφή:	Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Σειρά:	Lecture Notes in Computer Science 6188
Θέματα:	Computer science Computer software Logic design Computational complexity Algebra > Data processing Computer Science Mathematical Logic and Formal Languages Logics and Meanings of Programs Algorithm Analysis and Problem Complexity Computation by Abstract Devices Discrete Mathematics in Computer Science Άλγεβρα > Ηλεκτρονικοί υπολογιστές > Προγράμματα
Διαθέσιμο Online:	http://dx.doi.org/10.1007/978-3-642-13824-9

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

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
ανά: Frappier, Marc
Έκδοση: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
ανά: Ablayev, Farid
Έκδοση: (2010)

The Mathematics of Language 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers
ανά: Ebert, Christian
Έκδοση: (2010)

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: HlinΔnΓ½, Petr
Έκδοση: (2010)

Developments in Language Theory 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings
ανά: Gao, Yuan
Έκδοση: (2010)

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings
ανά: KratochvΓl, Jan
Έκδοση: (2010)

Foundations of Information and Knowledge Systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings
ανά: Link, Sebastian
Έκδοση: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
ανά: Governatori, Guido
Έκδοση: (2010)

Logic and the Foundations of Game and Decision Theory β LOFT 8 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers
ανά: Bonanno, Giacomo
Έκδοση: (2010)

Graph Transformations 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27βOctober 2, 2010. Proceedings
ανά: Ehrig, Hartmut
Έκδοση: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
ανά: Raman, Venkatesh
Έκδοση: (2010)

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ανά: Giesl, JΓΌrgen
Έκδοση: (2010)

Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings
ανά: Dawar, Anuj
Έκδοση: (2010)

Frontiers in Algorithmics 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
ανά: Lee, Der-Tsai
Έκδοση: (2010)

Theoretical Computer Science 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
ανά: Calude, Cristian S
Έκδοση: (2010)

Reachability Problems 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ανά: KuΔera, AntonΓn
Έκδοση: (2010)

Discrete Mathematics Using a Computer
ανά: OβDonnell, John
Έκδοση: (2006)

Algorithmic Learning Theory 21st International Conference, ALT 2010, Canberra, Australia, October 6-8, 2010. Proceedings
ανά: Hutter, Marcus
Έκδοση: (2010)

Principles and Practice of Constraint Programming β CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
ανά: Cohen, David
Έκδοση: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
ανά: Abramsky, Samson, 1953-
Έκδοση: (2010)

Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever
ανά: Dams, Dennis
Έκδοση: (2010)

Unconventional Computation 9th International Conference, US 2010, Tokyo, Japan, June 21-25, 2010. Proceedings
ανά: Calude, Cristian S
Έκδοση: (2010)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
ανά: Kaplan, Haim
Έκδοση: (2010)

Language and Automata Theory and Applications 4th International Conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings
ανά: Dediu, Adrian-Horia
Έκδοση: (2010)

Programs, Proofs, Processes 6th Conference on Computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 β July 4, 2010. Proceedings
ανά: Ferreira, Fernando
Έκδοση: (2010)

Advances in Computer Games 12th International Conference, ACG 2009, Pamplona Spain, May 11-13, 2009. Revised Papers
ανά: Herik, H. Jaap
Έκδοση: (2010)

WALCOM: Algorithms and Computation 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings
ανά: Rahman, Md. Saidur
Έκδοση: (2010)

Theory and Applications of Satisfiability Testing β SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ανά: Strichman, Ofer
Έκδοση: (2010)

Graph-Theoretic Concepts in Computer Science 35th International Workshop, WG 2009, Montpellier, France, June 24-26, 2009. Revised Papers
ανά: Paul, Christophe
Έκδοση: (2010)

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part I
ανά: Wu, Weili
Έκδοση: (2010)

Combinatorial Optimization and Applications 4th International Conference, COCOA 2010, Kailua-Kona, HI, USA, December 18-20, 2010, Proceedings, Part II
ανά: Wu, Weili
Έκδοση: (2010)

Logic, Language and Meaning 17th Amsterdam Colloquium, Amsterdam, The Netherlands, December 16-18, 2009, Revised Selected Papers
ανά: Aloni, Maria
Έκδοση: (2010)

Logics in Artificial Intelligence 12th European Conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010. Proceedings
ανά: Janhunen, Tomi
Έκδοση: (2010)

Algorithmic Number Theory 9th International Symposium, ANTS-IX, Nancy, France, July 19-23, 2010. Proceedings
ανά: Hanrot, Guillaume
Έκδοση: (2010)

Graph Drawing 17th International Symposium, GD 2009, Chicago, IL, USA, September 22-25, 2009. Revised Papers
ανά: Eppstein, David
Έκδοση: (2010)

Computer Algebra in Scientific Computing 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings
ανά: Gerdt, Vladimir P
Έκδοση: (2010)

Complexity Theory Exploring the Limits of Efficient Algorithms
ανά: Wegener, Ingo
Έκδοση: (2005)

Principles of Distributed Systems 14th International Conference, OPODIS 2010, Tozeur, Tunisia, December 14-17, 2010. Proceedings
ανά: Lu, Chenyang
Έκδοση: (2010)

Theoretical Introduction to Programming
ανά: Mills, Bruce
Έκδοση: (2006)

Fields of Logic and Computation Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday
ανά: Blass, Andreas
Έκδοση: (2010)

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

Cannot write session to /tmp/vufind_sessions/sess_dgik7qu6ugcgd6s42b9gabe66r