Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /

Foundational and practical aspects of resource analysis first international workshop, FOPARA 2009, Eindhoven, The Netherlands, November 6, 2009, revised selected papers /

Uloženo v:

Podrobná bibliografie
Korporativní autor:	SpringerLink (Online service)
Další autoři:	Eekelen, Marko, Shkaravska, Olha
Médium:	E-kniha
Jazyk:	English
Vydáno:	Berlin, Heidelberg Springer 2010.
Edice:	Lecture Notes in Computer Science, 6324
Témata:	Computer science Computer Communication Networks Software engineering Computer software Logic design
On-line přístup:	Click here to view the full text content
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!

Podobné jednotky

Foundational and practical aspects of resource analysis second international workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, revised selected papers /
Vydáno: (2012)

Foundational and practical aspects of resource analysis : Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers /
Vydáno: (2014)

Formal methods for components and objects 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. revised selected papers /
Vydáno: (2010)

Practical aspects of declarative languages : 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings /
Vydáno: (2010)

Practical aspects of declarative languages : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
Vydáno: (2007)

Theoretical aspects of computing - ICTAC 2004 first international colloquium guiyand, China, September 20-24, 2004, revised selected papers
Autor: Araki, Keijiro
Vydáno: (2005)

Formal aspects of component software 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers /
Vydáno: (2012)

Foundations and Practice of Security 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /
Autor: Garcia-Alfaro, Joaquin
Vydáno: (2012)

Integrated formal methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Practical aspects of declarative languages (vol. # 3819) : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

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

Generative and transformational techniques in software engineering III International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers /
Vydáno: (2011)

Fundamentals of software engineering third IPM international conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /
Autor: Arbab, Farhad
Vydáno: (2010)

Runtime verification : 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers /

Formal aspects of component software : 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers /
Vydáno: (2014)

Formal aspects in security and trust 6th international workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009,revised selected papers /
Vydáno: (2010)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Vydáno: (2013)

Model driven architecture - foundations and applications 5th European Conference, ECMDA-FA 2009, Enschede, The Netherlands, June 23-26, 2009. Proceedings /
Vydáno: (2009)

Practical aspects of declarative languages 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings /
Vydáno: (2011)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Vydáno: (2012)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Vydáno: (2010)

Foundations of information and knowledge systems 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009. Proceedings /
Vydáno: (2010)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
Vydáno: (2013)

Architectures for adaptive software systems 5th international conference on the quality of software architectures, QoSA 2009, east stroudsburg, PA, USA, June 24-26, 2009. Proceedings /
Vydáno: (2009)

Perspectives of systems informatics : 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
Vydáno: (2010)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Vydáno: (2013)

Practical analysis of algorithms /
Autor: Vrajitoru, Dana
Vydáno: (2014)

Software language engineering second international conference, SLE 2009, Denver, CO, USA, October 5-6, 2009, Revised Selected Papers /
Vydáno: (2010)

Hardware and software, verification and testing / First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers /
Autor: Ur, Shmuel
Vydáno: (2006)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Vydáno: (2012)

Runtime verification first international conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings /
Vydáno: (2010)

Task models and diagrams for user interface design 8th International Workshop, TAMODIA 2009, Brussels, Belgium, September 23-25, 2009, Revised Selected Papers /
Vydáno: (2010)

Models in software engineering workshops and symposia at MODELS 2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected Papers /
Vydáno: (2010)

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

Computation, logic, games, and quantum foundations. the many facets of Samson Abramsky : Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
Vydáno: (2013)

Logic-based program synthesis and transformation 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers /
Vydáno: (2010)

Theoretical aspects of computing - ICTAC 2014 : 11th International Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings /
Vydáno: (2014)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Vydáno: (2012)

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

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Vydáno: (2012)