1
0
0
(1 - 18 von 18
)
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th ...
books.google.co.jp
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin Paolo Arcaini, Pavel Jezek, and Jan Kofron(B) Charles University, Faculty of Mathematics and ...
Software Engineering Research, Management and Applications 2009
books.google.co.jp
... Pavel Jezek Charles University, Czech Republic ...
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 6th International...
books.google.de
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in...
ECOOP Object-Oriented Programming: 22nd European Conference...
books.google.de
Pavel Jezek Lingxiao Jiang Milan Jovic Jaakko J ̈arvi Thomas K ̈uhne Tomas Kalibera Lennart Kats Shmuel Katz Andrew Kennedy Ron Kersic Raffi ...
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central...
books.google.com.ua
This book constitutes the thoroughly refereed post-conference proceedings of the 4th IFIP TC2 Central and East European Conference on Software Engineering...
FM 2009: Formal Methods: Second World Congress, Eindhoven, The...
books.google.de
... Horvath Chung-Hao Huang Guo-Chiao Huang Marieke Huisman Juliano Iyoda Mohammad-Javad Izadi Bart Jacobs Tomasz Janowski Pavel Jezek Sun Jun ...
Formal Techniques for Networked and Distributed Systems - FORTE 2006:...
books.google.de
This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems,...
Research into Practice - Reality and Gaps: 6th International...
books.google.de
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic...
SOFSEM 2007: Theory and Practice of Computer Science: 33nd Conference...
books.google.de
This book constitutes the refereed proceedings of the 33rd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2007, held in...
Software Architecture: 4th European Conference , ECSA 2010,...
books.google.de
... Rik Eshuis Sören Frey Gregor Gabrysiak Jean-Marie Gilliot Qing Gu Stephan Hildebrandt Anthony Hock-koon Thomas Hubbard Pavel Jezek Lucia Kapova Ali ...
Formal Aspects of Component Software: 7th International Workshop,...
books.google.de
This book constitutes revised selected papers of the 7th International Workshop on Formal Aspects of Component Software, FACS 2010, held in Guimarães,...
ECOOP Object-Oriented Programming: 22nd European Conference ...books.google.com › books
books.google.de
... Zef Hemel Robert Hirschfeld Martin Hirzel Petr Hnetynka Jippe Holwerda Ali Ibrahim Pavel Jezek Lingxiao Jiang Milan Jovic Jaakko Järvi Thomas Kühne.
The Common Component Modeling Example: Comparing Software Component...
books.google.de
Based on the Dagstuhl Research Seminar CoCoME, this book defines a common example for modeling approaches of component-based systems. The book makes it...
The Common Component Modeling Example: Comparing Software ...
books.google.co.jp
... Prague 1Czech Republic {lubomir.bulej,tomas.bures,martin.decky,pavel.jezek, pavel.parizek,frantisek.plasil,tomas.poch,ondrej.sery, ...
The Legend of Bohemian Glass: A Thousand Years of ...
books.google.co.jp
Jan Exnar and Pavel Ježek formed their objects by pouring glass into simple molds. Since the mid s, František Janák has used poured glass casting to ...
Tschechisches Glas: Künstlerische Gestaltung im Sozialismus
books.google.co.jp
Pavel Ježek wurde zum neuen Direktor der Schule ernannt und blieb es für die nächsten neun Jahre. Während seiner Amtszeit erhielt das Institut, ...
Tschechisches Glas: Künstlerische Gestaltung im Sozialismusbooks.google.com › books
books.google.de
Oftmals schickte Skloexport Künstler-Graveure, wie Pavel Ježek, zu diesen Präsentationen | Glasindustrie und Formgestaltung.
Verwandte Suchanfragen zu Pavel Jezek
| Milan Jovic |
Personen Vorname "Pavel" (3243) Name "Jezek" (102) |
sortiert nach Relevanz / Datum