Search Results - "System analysis"

1

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / Roberto Amadio (ed.).

Foundations of software science and computational structures : 11th international conference, FOSSACS 2008, held as part of the Joint European Conferences on Theory and Practice of...

Published 2008

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

2

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 / Luca de Alfaro (ed.).

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...

Published 2009

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

3

Foundations of software science and computation structures : 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 / Luca Aceto, Anna Ingólfsdottir (eds.).

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of So...

Published 2006

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

4

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Vladimiro Sassone (ed.).

Foundations of software science and computation structures : 8th international conference, FOSSACS 2005, held as part of the Joint European Conferences on Theory and Practice of So...

Published 2005

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

5

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009 : proceedings / Stefan Kowalewski, Anna Philippou (eds.).

Tools and algorithms for the construction and analysis of systems : 15th international conference, TACAS 2009, held as part of the Joint European Conferences on Theory and Practice...

Published 2009

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

6

Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 : proceedings / Parosh Aziz Abdulla, K. Rustan M. Leino (eds.).

Tools and algorithms for the construction and analysis of systems : 17th international conference, TACAS 2011, held as part of the Joint European Conferences on Theory and Practice...

Published 2011

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

7

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 / Cormac Flanagan, Barbara König (eds.).

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...

Published 2012

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

8

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings / Orna Grumberg, Michael Huth (eds.).

Tools and algorithms for the construction and analysis of systems : 13th international conference, TACAS 2007, held as part of the Joint European Conferences on Theory and Practice...

Published 2007

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

9

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings / C.R. Ramakrishnan, Jakob Rehof (eds.).

Tools and algorithms for the construction and analysis of systems : 14th International Conference, TACAS 2008, held as part of the Joint European Conferences on Theory and Practice...

Published 2008

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook

10

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, March 24 - April 1, 2007 : proceedings / Helmut Seidl (ed.).

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...

Published 2007

Subjects: “...System analysis Congresses....”

Electronic book from Springer Complete

Conference Proceeding eBook