Martina Seidl – författare
Visar alla böcker från författaren Martina Seidl. Handla med fri frakt och snabb leverans.
11 produkter
Theory and Applications of Satisfiability Testing – SAT 2020
23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Häftad, 2020
550 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 …
Theory and Applications of Satisfiability Testing - SAT 2020
23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
E-bok, 2020
718 kr
Lägg i varukorg
This book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 …
Intelligent Computer Mathematics
19th International Conference, CICM 2026, Ljubljana, Slovenia, September 21–25, 2026, Proceedings
Av Adam Naumowicz, Martina Seidl
Häftad, 2026
790 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 19th International Conference on Intelligent Computer Mathematics, CICM 2026, held in Ljubljana, Slovenia, during September 2026.The 17 full papers and 6 short papers and 1 invited paper presented in this volume were carefully reviewed and …
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
544 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were …
Tests and Proofs
8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings
Av Nikolai Tillmann, Martina Seidl
E-bok, 2014
672 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Conference on Tests and Proofs, TAP 2014, held in York, UK, in July 2014, as part of the STAF 2014 Federated Conferences. The 10 revised full papers and 4 short papers presented together with two tutorial descriptions were …
UML @ Classroom
An Introduction to Object-Oriented Modeling
Av Martina Seidl, Marion Scholz m. fl.
Häftad, 2015
766 kr
Lägg i varukorg
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it …
UML @ Classroom
An Introduction to Object-Oriented Modeling
Av Gerti Kappel, Christian Huemer m. fl.
E-bok, 2015
903 kr
Lägg i varukorg
This textbook mainly addresses beginners and readers with a basic knowledge of object-oriented programming languages like Java or C#, but with little or no modeling or software engineering experience – thus reflecting the majority of students in introductory courses at universities. Using UML, it …
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
566 kr
Lägg i varukorg
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully …
Software Technologies: Applications and Foundations
STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers
Av Steffen Zschaler, Martina Seidl
E-bok, 2018
755 kr
Lägg i varukorg
This book contains the thoroughly refereed technical papers presented in six workshops collocated with the International Conference on Software Technologies: Applications and Foundations, STAF 2017, held in Marburg, Germany, in July 2017. The 15 full and 22 short papers presented were carefully …
UML @ Classroom
Eine Einführung in die objektorientierte Modellierung
Av Gerti Kappel, Christian Huemer m. fl.
E-bok, 2012
282 kr
Lägg i varukorg
Dieses Lehrbuch vermittelt die Grundlagen der objektorientierten Modellierung anhand von UML und bietet eine kompakte Einführung in die fünf Diagramme Klassendiagramm, Anwendungsfalldiagramm, Zustandsdiagramm, Sequenzdiagramm und Aktivitätsdiagramm. Diese decken die wesentlichen Konzepte ab, die …
UML @ Classroom
Eine Einführung in die objektorientierte Modellierung
Av Gerti Kappel, Christian Huemer m. fl.
E-bok, 2012
289 kr
Lägg i varukorg
Dieses Lehrbuch vermittelt die Grundlagen der objektorientierten Modellierung anhand von UML und bietet eine kompakte Einführung in die fünf Diagramme Klassendiagramm, Anwendungsfalldiagramm, Zustandsdiagramm, Sequenzdiagramm und Aktivitätsdiagramm. Diese decken die wesentlichen Konzepte ab, die …
