Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /

Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, Held as Part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /

This book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April...

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Birkedal, Lars
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg Springer Berlin Heidelberg 2012.
Σειρά:	Lecture Notes in Computer Science 7213
Θέματα:	Computer science. Software engineering. Logic design. Artificial intelligence.
Διαθέσιμο Online:	Click here to view the full text content
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Fundamental approaches to software engineering : 15th International Conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Έκδοση: (2012)

Tools and algorithms for the construction and analysis of systems : 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Έκδοση: (2012)

Foundations of software science and computation structures : 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Έκδοση: (2013)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
ανά: Seidl, Helmut
Έκδοση: (2007)

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 /
Έκδοση: (2010)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Έκδοση: (2014)

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
ανά: Sassone, Vladimiro
Έκδοση: (2005)

Foundations of software science and computational structures 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Έκδοση: (2009)

Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Έκδοση: (2012)

Coalgebraic methods in computer science 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, revised selected papers /
Έκδοση: (2012)

Principles of security and trust : First international conference, POST 2012,held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /
Έκδοση: (2012)

Compiler construction: 21st International Conference, CC 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Έκδοση: (2012)

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /
Έκδοση: (2012)

Verified software: theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
Έκδοση: (2012)

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
Έκδοση: (2005)

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Έκδοση: (2012)

Foundations of information and knowledge systems : 7th International symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012. Proceedings /
Έκδοση: (2012)

Hardware and software : verification and testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /
Έκδοση: (2013)

Fundamental approaches to software engineering : 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Έκδοση: (2013)

Foundations of software science and computational structures (vol. # 3921) : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006: proceedings /
Έκδοση: (2006)

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Έκδοση: (2014)

Automated deduction - CADE-20 20th International Conference on automated deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
ανά: Nieuwenhuis, Robert
Έκδοση: (2005)

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
ανά: Cerioli, Maura
Έκδοση: (2005)

Programming languages and systems 19th european symposium on programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Έκδοση: (2010)

Deontic logic in computer science 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012. Proceedings /
Έκδοση: (2012)

Business process management 10th International Conference, BPM 2012, Tallinn, Estonia, September 3-6, 2012. Proceedings /
Έκδοση: (2012)

Theory and applications of satisfiability testing - SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings /
Έκδοση: (2012)

Tools and algorithms for the construction and analysis of systems 16th international conference, TACAS 2010, held as part of the joint european conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Έκδοση: (2010)

Modelling foundations and applications : 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings /
Έκδοση: (2012)

Logic for programming, artificial intelligence, and reasoning : 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
Έκδοση: (2012)

Automated reasoning : 6th International joint conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings /
Έκδοση: (2012)

Fundamental approaches to software engineering 12th international conference, FASE 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. proceedings /
Έκδοση: (2009)

Computer aided verification : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /
Έκδοση: (2012)

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
Έκδοση: (2012)

Intelligent computer mathematics : 11th International conference, AISC 2012, 19th symposium, calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings /
Έκδοση: (2012)

Software composition : 11th International Conference, SC 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings /
Έκδοση: (2012)

Logics in artificial intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings /
Έκδοση: (2012)

Interactive theorem proving third international conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. proceedings /
ανά: Beringer, Lennart
Έκδοση: (2012)

Fundamental approaches to software engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
ανά: Rosenblum, David S.
Έκδοση: (2010)

Inductive logic programming : 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers /
Έκδοση: (2013)