Implementation and application of automata [electronic resource]: 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers/

Implementation and application of automata [electronic resource]: 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers/

PSZJBL

Bibliographic Details
Main Authors:	CIAA 2007 (2007 : Prague, Czech Republic), Holub, Jan, Zdarek, Jan, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Machine theory
Online Access:	http://dx.doi.org/10.1007/978-3-540-76336-9

Similar Items

Natural phenomena 2007 : Eurographics workshop on natural phenomena, Prague, Czech Republic, September 4, 2007 /
by: Eurographics Workshop on Natural Phenomena (3rd : 2007 : Prague, Czech Republic), et al.
Published: (2007)

SOFSEM 2007 [electronic resource]: theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedings/
by: SOFSEM (Conference) (2007 : Harrachov, Liberecky kraj, Czech Republic), et al.
Published: (2007)

SOFSEM 2007 [electronic resource]: theory and practice of computer science : 33rd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007 : proceedings/
by: SOFSEM (Conference) (2007 : Harrachov, Liberecky kraj, Czech Republic), et al.
Published: (2007)

Underground space : the 4th dimension of metropolises : Proceedings of the World Tunnel Congress Prague, Czech Republic, 5-10 May 2007 /
by: AITES-ITA World Tunnel Congress (33rd : 2007 : Prague, Czech Republic), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Multimedia content analysis and mining [electronic resources]: international workshop, MCAM 2007, Weihai, China, June 30-July 1, 2007 : proceedings/
by: MCAM 2007 (2007 : Weihai, China), et al.
Published: (2007)

Computing and Combinatorics [electronic resource] : 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007: Proceedings /
by: COCOON 2007 (2007 : Banff, Alta.), et al.
Published: (2007)

ECOOP 2007 -- Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007: Proceedings /
by: ECOOP 2007 (2007 : Berlin, Germany), et al.
Published: (2007)

Ergonomics and Health Aspects of Work with Computers [electronic resource] : International Conference, EHAWC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: EHAWC 2007 (2007 : Beijing, China), et al.
Published: (2007)

Underground space [electronic resource] : the 4th dimension of metropolises : Proceedings of the World Tunnel Congress Prague, Czech Republic, 5-10 May 2007 /
by: AITES-ITA World Tunnel Congress (33rd : 2007 : Prague, Czech Republic), et al.
Published: (2007)

Web Engineering [electronic resource] : 7th International Conference, ICWE 2007 Como, Italy, July 16-20, 2007 Proceedings /
by: ICWE 2007 (2007 : Como, Italy), et al.
Published: (2007)

Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007: Proceedings /
by: MLDM 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings /
by: ATC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Mathematical Foundations of Computer Science 2007 [electronic resource] : 32nd International Symposium, MFCS 2007 Cesky Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
by: Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : esky Krumlov, Czech Republic), et al.
Published: (2007)

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007: Proceedings /
by: CBSE 2007 (2007 : Medford, Mass.), et al.
Published: (2007)

Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /
by: SARA 2007 (2007 : Whistler, B.C.), et al.
Published: (c200)

Product-Focused Software Process Improvement [electronic resource] : 8th International Conference, PROFES 2007, Riga, Latvia, July 2-4, 2007: Proceedings /
by: PROFES 2007 (2007 : Riga, Latvia), et al.
Published: (2007)

Point-Based Graphics 2007 : Eurographics/IEEE VGTC Symposium Proceedings, Prague, Czech Republic, September, 2-3, 2007 /
by: Symposium on Point-Based Graphics (3rd : 2007 : Prague, Czech Republic), et al.
Published: (2007)

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 4th International Conference, DIMVA 2007 Lucerne, Switzerland, July 12-13, 2007 Proceedings /
by: DIMVA 2007 (2007 : Lucerne, Switzerland), et al.
Published: (2007)

Algebraic Biology [electronic resource] : Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007: Proceedings /
by: AB 2007 (2007 : Castle of Hagenberg, Austria), et al.
Published: (2007)

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007: Proceedings /
by: TABLEAUX 2007 (2007 : Aix en Provence, France), et al.
Published: (2007)

Information security and privacy [electronic resource]: 12th Australasian conference, ACISP 2007, Townsville, Australia, July 2-4, 2007 : proceedings/
by: ACISP 2007 (2007 : Townsville, Qld.), et al.
Published: (2007)

Dependable and Adaptable Networks and Services [electronic resource] : 13th Open European Summer School and IFIP TC6.6 Workshop, EUNICE 2007, Enschede, The Netherlands, July 18-20, 2007: Proceedings /
by: EUNICE 2007 (2007 : Enschede, Netherlands), et al.
Published: (2007)

Embedded Computer Systems: Architectures, Modeling, and Simulation [electronic resource] : 7th International Workshop, SAMOS 2007, Samos, Greece, July 16-19, 2007: Proceedings /
by: SAMOS 2007 (2007 : Samos, Greece), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Polymers in medicine : invited lectures presented at the 40th Microsymposium of the Prague Meetings on Macromolecules held in Prague, Czech Republic, July 17-20, 2000 /
by: Prague Meetings on Macromolecules (2000 : Prague, Czech Republic), et al.
Published: (2001)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Distributed Computing [electronic resource]: 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007: Proceedings/
by: DISC 2007 (2007 : Limassol, Cyprus), et al.
Published: (2007)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), et al.
Published: (2007)

Electronic phenomena in organic solids : Prague, Czech Republic, July 14-18, 2002 /
by: International conference on electrical and related properties of organic solids (9th : 2002 : Prague, Czech Republic), et al.
Published: (2004)

Coordination Models and Languages [electronic resource] : 9th International Conference, COORDINATION 2007, Paphos, Cyprus, June 6-8, 2007: Proceedings /
by: Coordination 2007 (2007 : Paphos, Cyprus), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
by: APLAS 2007 (2007 : Singapore), et al.
Published: (2007)

High Performance Computing and Communications [electronic resource] : Third International Conference, HPCC 2007, Houston, USA, September 26-28, 2007: Proceedings /
by: HPCC 2007 (2007 : Houston, Tex.), et al.
Published: (2007)

Intelligent Virtual Agents [electronic resource] : 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings /
by: IVA 2007 (2007 : Paris, France), et al.
Published: (2007)

Multiagent System Technologies [electronic resource] : 5th German Conference, MATES 2007, Leipzig, Germany, September 24-26, 2007: Proceedings /
by: MATES 2007 (2007 : Leipzig, Germany), et al.
Published: (2007)

Spatial Information Theory [electronic resource] : 8th International Conference, COSIT 2007, Melbourne, Australiia, September 19-23, 2007: Proceedings /
by: COSIT 2007 (2007 : Melbourne, Vic.), et al.
Published: (2007)

Pairing-Based Cryptography : Pairing 2007: First International Conference, Tokyo, Japan, July 2-4, 2007: Proceedings [electronic resource] /
by: International Conference on Pairing-Based Cryptography (1st : 2007 : Tokyo, Japan), et al.
Published: (2007)

Advanced parallel processing technologies [electronic resources]: 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings/
by: APPT 2007 (2007 : Guangzhou, China), et al.
Published: (2007)

Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007: Proceedings /
by: SAGA 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Cooperative Design, Visualization, and Engineering [electronic resource] : 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007: Proceedings /
by: CDVE 2007 (2007 : Shanghai, China), et al.
Published: (2007)