Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Litovsky, Igor, Schmitz, Sylvain, FarrÃ©, Jacques
Format:	eBook
Language:	English
Series:	Lecture Notes in Computer Science, 3845
Subjects:	Computer science Computer software Logic design
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Implementation and application of automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
Published: (2007)

Implementation and application of automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
Published: (2009)

Implementation and application of automata (vol. # 3317) 9th international conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, revised selected papers
by: Domaratzki, Michael
Published: (2005)

Computational logic in multi-agent systems (vol. # 3900) : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /
Published: (2006)

Implementation and application of automata 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings /
Published: (2012)

Implementation and application of automata : 19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014. Proceedings /
Published: (2014)

Implementation and application of automata : 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings /
Published: (2013)

Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Published: (2005)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Published: (2005)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Distributed applications and interoperable systems (vol. # 3543) / 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Argumentation in multi-agent systems (vol. # 4049) : Second International Workshop, ArgMAS 2005, Utrecht, Netherlands, July 26, 2005, Revised Selected and Invited Papers /
Published: (2006)

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Published: (2007)

Computer science logic (vol. # 4207) : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings /

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Published: (2005)

Theory and applications of satisfiability testing (vol. # 3569) / 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings
Published: (2005)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Language and automata theory and applications 4th international conference, LATA 2010, Trier, Germany, May 24-28, 2010. Proceedings /
Published: (2010)

Logic based program synthesis and transformation (vol. # 3901) : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /
Published: (2006)

Practical aspects of declarative languages (vol. # 3350) 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
by: Cabeza, Daniel
Published: (2005)

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Published: (2005)

Language and Automata theory and applications : 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
Published: (2013)

Job scheduling strategies for parallel processing (vol. # 3277) 10th international workshop, JSSPP 2004, New York, NY, USA, June 13, 2004, revised selected papers
by: Feitelson, Dror
Published: (2005)

Recent advances in constraints (vol. # 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers /
Published: (2006)

Language and automata theory and applications : 6th International conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /
Published: (2012)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
by: Sassone, Vladimiro
Published: (2005)

Automata, languages and programming (vol. # 3580) : 32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings /

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April
by: Cerioli, Maura
Published: (2005)

Hybrid systems: computation and control (vol. # 3414) 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Published: (2005)

Extreme programming and agile processes in software engineering (vol. # 3556) / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

Programming multi-agent systems (vol. # 3862) : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
by: Bordini, Rafael H.
Published: (2006)

Theory and applications of satisfiability testing (vol. # 3542) / 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Handbook of weighted automata
Published: (2009)

Formal modeling and analysis of timed systems (vol. # 3829) / third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Published: (2013)

Automata, logics, and infinite games /
Published: (2002)

Construction and analysis of safe, secure, and interoperable smart devices (vol. # 3362) international workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, revised selected papers
by: Barthe, Gilles
Published: (2005)

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
by: Halbwachs, Nicolas
Published: (2005)