Theoretical Aspects of Computing β€“ ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing β ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Bibliographic Details
Main Author:	Cavalcanti, Ana
Corporate Author:	SpringerLink (Online service)
Other Authors:	Deharbe, David, Gaudel, Marie-Claude, Woodcock, Jim
Format:	Electronic Kit Book
Language:	English
Published:	Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2010
Series:	Lecture Notes in Computer Science 6255
Subjects:	Computer science Computer Science Computation by Abstract Devices
Online Access:	http://dx.doi.org/10.1007/978-3-642-14808-8

Similar Items

Theoretical Aspects of Computing – ICTAC 2010 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings /
Published: (2010)

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010. Proceedings
by: LΓ³pez-Ortiz, Alejandro
Published: (2010)

Principles and Practice of Constraint Programming β CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
by: Cohen, David
Published: (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
by: Calude, Cristian S
Published: (2010)

Grammatical Inference: Theoretical Results and Applications 10th International Colloquium, ICGI 2010, Valencia, Spain, September 13-16, 2010. Proceedings
by: Sempere, JosΓ© M
Published: (2010)

Computer Science β Theory and Applications 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings
by: Ablayev, Farid
Published: (2010)

Algorithm Theory - SWAT 2010 12th Scandinavian Symposium and Workshops on Algorithm Theory, Bergen, Norway, June 21-23, 2010. Proceedings
by: Kaplan, Haim
Published: (2010)

Time for Verification Essays in Memory of Amir Pnueli
by: Manna, Zohar
Published: (2010)

Membrane Computing 10th International Workshop, WMC 2009, Curtea de Arges, Romania, August 24-27, 2009. Revised Selected and Invited Papers
by: PΔun, Gheorghe
Published: (2010)

Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings
by: HlinΔnΓ½, Petr
Published: (2010)

Cellular Automata 9th International Conference on Cellular Automata for Research and Industry, ACRI 2010, Ascoli Piceno, Italy, September 21-24, 2010. Proceedings
by: Bandini, Stefania
Published: (2010)

Theoretical Introduction to Programming
by: Mills, Bruce
Published: (2006)

Artificial Neural Networks β ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part II
by: Diamantaras, Konstantinos
Published: (2010)

Artificial Neural Networks β ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part I
by: Diamantaras, Konstantinos
Published: (2010)

Artificial Neural Networks β ICANN 2010 20th International Conference, Thessaloniki, Greece, September 15-18, 2010, Proceedings, Part III
by: Diamantaras, Konstantinos
Published: (2010)

Fuzzy-Neuro Approach to Agent Applications From the AI Perspective to Modern Ontology
by: Lee, Raymond S. T.
Published: (2006)

Advances in Bioinformatics and Computational Biology 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings
by: Ferreira, Carlos E
Published: (2010)

Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
by: Ong, Luke
Published: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
by: Abramsky, Samson, 1953-
Published: (2010)

Beyond Loop Level Parallelism in OpenMP: Accelerators, Tasking and More 6th Internationan Workshop on OpenMP, IWOMP 2010, Tsukuba, Japan, June 14-16, 2010 Proceedings
by: Sato, Mitsuhisa
Published: (2010)

Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part I
by: Zhang, Liqing
Published: (2010)

Advances in Neural Networks - ISNN 2010 7th International Symposium on Neural Networks, ISNN 2010, Shanghai, China, June 6-9, 2010, Proceedings, Part II
by: Zhang, Liqing
Published: (2010)

Reconfigurable Computing: Architectures, Tools and Applications 6th International Symposium, ARC 2010, Bangkok, Thailand, March 17-19, 2010. Proceedings
by: Sirisuk, Phaophak
Published: (2010)

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
by: Abramsky, Samson, 1953-
Published: (2010)

Intelligent Data Engineering and Automated Learning β IDEAL 2010 11th International Conference, Paisley, UK, September 1-3, 2010. Proceedings
by: Fyfe, Colin
Published: (2010)

Evolutionary Computation in Combinatorial Optimization 10th European Conference, EvoCOP 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings
by: Cowling, Peter
Published: (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
by: Bonanno, Giacomo
Published: (2010)

Evolutionary Computation in Combinatorial Optimization 7th European Conference, EvoCOP 2007, Valencia, Spain, April 11-13, 2007. Proceedings
by: Cotta, Carlos
Published: (2007)

Game of Life Cellular Automata
by: Adamatzky, Andrew
Published: (2010)

Complexity Theory and Cryptology An Introduction to Cryptocomplexity
by: Rothe, JΓΆrg
Published: (2005)

Coordination of Large-Scale Multiagent Systems
by: Scerri, Paul
Published: (2006)

Abstract State Machines, Alloy, B and Z Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings
by: Frappier, Marc
Published: (2010)

Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
by: Governatori, Guido
Published: (2010)

Parameterized Complexity Theory
by: Flum, JΓΆrg
Published: (2006)

Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
by: Lilius, Johan
Published: (2010)

Artificial General Intelligence
by: Goertzel, Ben
Published: (2007)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Barcelona, Spain, September 1-3, 2010. Proceedings
by: Serna, Maria, 1959-
Published: (2010)

Parameterized and Exact Computation 5th International Symposium, IPEC 2010, Chennai, India, December 13-15, 2010. Proceedings
by: Raman, Venkatesh
Published: (2010)

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings
by: Dawar, Anuj
Published: (2010)

Simulation, Modeling, and Programming for Autonomous Robots Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings
by: Ando, Noriaki
Published: (2010)

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