Martina Seidl – författare
Visar alla böcker från författaren Martina Seidl.
5 produkter
Theory and Applications of Satisfiability Testing – SAT 2020
23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Häftad, 2020
719 kr
Lägg i varukorg
Intelligent Computer Mathematics
19th International Conference, CICM 2026, Ljubljana, Slovenia, September 21–25, 2026, Proceedings
Av Adam Naumowicz, Martina Seidl
Häftad, 2026
1029 kr
Lägg i varukorg
Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Av Martina Seidl, Nikolai Tillmann
Häftad, 2014
709 kr
Lägg i varukorg
UML @ Classroom
An Introduction to Object-Oriented Modeling
Av Martina Seidl, Marion Scholz m. fl.
Häftad, 2015
999 kr
Lägg i varukorg
Software Technologies: Applications and Foundations
STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Av Martina Seidl, Steffen Zschaler
Häftad, 2018
739 kr
Lägg i varukorg