Broschiertes Buch
4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
2014
21. Mai 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-43651-6
Broschiertes Buch
26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings
2014
4. August 2014
Springer / Springer International Publishing / Springer, Berlin
978-3-319-08866-2
Broschiertes Buch
12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings
2014
29. September 2014
Springer / Springer International Publishing / Springer, Berlin
86382662,978-3-319-11935-9
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45230-1
Broschiertes Buch
6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I
2014
7. Oktober 2014
Springer / Springer Berlin Heidelberg / Springer, Berlin
978-3-662-45233-2
Broschiertes Buch
Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
2015
23. April 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-17580-5
Broschiertes Buch
8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings
2015
7. Juli 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-21144-2
Broschiertes Buch
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
1st ed. 2015
27. Oktober 2015
Springer / Springer International Publishing / Springer, Berlin
978-3-319-26286-4
Broschiertes Buch
COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers
1st ed. 2016
14. Juli 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-42690-7
Broschiertes Buch
9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
1st ed. 2016
12. Juli 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-42546-7
Broschiertes Buch
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
1st ed. 2016
14. September 2016
Springer / Springer International Publishing / Springer, Berlin
978-3-319-45942-4
Gebundenes Buch
2012
9. Oktober 2012
Springer / Springer Berlin Heidelberg / Springer, Berlin
12823642,978-3-642-29144-9
Broschiertes Buch
19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers
1st ed. 2024
13. Januar 2024
Springer / Springer Nature Switzerland / Springer, Berlin
978-3-031-52182-9
Broschiertes Buch
12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11¿15, 2020, Proceedings
1st ed. 2020
9. August 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-55753-9
Broschiertes Buch
17th International Conference, QEST 2020, Vienna, Austria, August 31 ¿ September 3, 2020, Proceedings
1st ed. 2020
3. November 2020
Springer / Springer International Publishing / Springer, Berlin
978-3-030-59853-2
Ähnlichkeitssuche: Fact®Finder von OMIKRON