![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/09/09227/09227192m.jpg)
Broschiertes Buch
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
1995.
23. November 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60630-7
![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/09/09227/09227146m.jpg)
Broschiertes Buch
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
1997.
20. März 1997
Springer / Springer Berlin Heidelberg / Springer, Berlin
10549404,978-3-540-62790-6
![Lectures on Formal Methods and Performance Analysis Lectures on Formal Methods and Performance Analysis](https://bilder.buecher.de/produkte/10/10117/10117401m.jpg)
Broschiertes Buch
First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
2001
29. August 2001
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-42479-6
eBook, PDF | 40,95 € |
![Computer Aided Verification Computer Aided Verification](https://bilder.buecher.de/produkte/23/23383/23383919m.jpg)
Broschiertes Buch
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
2002
19. Juli 2002
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-43997-4
eBook, PDF | 73,95 € |
![Computer Aided Verification (eBook, PDF) Computer Aided Verification (eBook, PDF)](https://bilder.buecher.de/produkte/53/53156/53156261m.jpg)
![Lectures on Formal Methods and Performance Analysis (eBook, PDF) Lectures on Formal Methods and Performance Analysis (eBook, PDF)](https://bilder.buecher.de/produkte/53/53288/53288761m.jpg)
eBook, PDF
29. Juni 2003
Springer Berlin Heidelberg
Ähnliche Artikel
![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/09/09187/09187833m.jpg)
Broschiertes Buch
4th International Conference, TACAS'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings
1998.
18. März 1998
Springer / Springer Berlin Heidelberg / Springer, Berlin
10632045,978-3-540-64356-2
![Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems](https://bilder.buecher.de/produkte/14/14780/14780512m.jpg)
Broschiertes Buch
10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
2004
18. März 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-21299-7
![Principles of Distributed Systems Principles of Distributed Systems](https://bilder.buecher.de/produkte/14/14777/14777498m.jpg)
Broschiertes Buch
7th International Conference, OPODIS 2003, La Martinique, French West Indies, December 10-13, 2003, Revised Selected Papers
2004
16. August 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11307518,978-3-540-22667-3
![Distributed Algorithms Distributed Algorithms](https://bilder.buecher.de/produkte/09/09245/09245047m.jpg)
Broschiertes Buch
8th International Workshop, WDAG 1994, Terschelling, The Netherlands, September 29 - October 1, 1994. Proceedings
1994.
14. September 1994
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-58449-0
![Distributed Algorithms Distributed Algorithms](https://bilder.buecher.de/produkte/23/23144/23144457m.jpg)
Broschiertes Buch
9th International Workshop, WDAG '95, Le Mont-Saint-Michel, France, September 13 - 15, 1995. Proceedings
1995.
30. August 1995
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-540-60274-3
![Distributed Applications and Interoperable Systems Distributed Applications and Interoperable Systems](https://bilder.buecher.de/produkte/22/22396/22396402m.jpg)
Broschiertes Buch
5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005, Proceedings
2005
1. Juni 2005
Springer / Springer Berlin Heidelberg / Springer, Berlin
11498094,978-3-540-26262-6
![Distributed Computing -- IWDC 2004 Distributed Computing -- IWDC 2004](https://bilder.buecher.de/produkte/14/14094/14094735m.jpg)
Broschiertes Buch
6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings
2005
16. Dezember 2004
Springer / Springer Berlin Heidelberg / Springer, Berlin
11366812,978-3-540-24076-1
![Tools and Algorithms for the Construction of Analysis of Systems Tools and Algorithms for the Construction of Analysis of Systems](https://bilder.buecher.de/produkte/09/09235/09235198m.jpg)
Broschiertes Buch
5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
1999.
10. März 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10703113,978-3-540-65703-3
Ähnlichkeitssuche: Fact®Finder von OMIKRON