1
0
0
(1 - 17 von 23
)
Albany Books
bookmanager.com
Local independent book, game and toy stores since 1985, serving Tsawwassen, South Delta, and Langley since
Applications and Theory of Petri Nets: 31st International Conference,...
books.google.de
... Kunihiko Hiraishi Steve Hostettler Kathrin Kaschner Kais Klai Jetty Kleijn Michael Koehler-Bussmeier Fabrice Kordon Christian Krause Ivan Lanese Slawomir ...
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on...
books.google.de
... MariaGarciade laBanda Roberto Guanciale Gopal Gupta Dan Hirsch Eero Hyvonen Barbara K ̈onig Ivan Lanese Diego Latella Francesca Levi Alberto Lluch ...
Coordination Models and Languages: 12th International Conference
books.google.de
... Hvid Hansen Hossein Hojjat K. R. Jayaram Niels Joncheere Jeroen J. A. Keiren Narges Khakpour Ramtin Khosravi Nicholas Kidd Ivan Lanese Michele Loreti ...
Formal Aspects of Component Software von Ivan Lanese | ISBN...
www.lehmanns.de
Formal Aspects of Component Software von Ivan Lanese, Eric Madelaine (ISBN ) versandkostenfrei bestellen. Schnelle Lieferung, auch auf Rechnung ...
bokus.com: Theoretical Computer Science - E-bok - Josep Diaz, Ivan Lanese,...
Pris: 819 kr. E-bok, Laddas ned direkt. Köp Theoretical Computer Science av Josep Diaz, Ivan Lanese, Davide Sangiorgi på Bokus.com.
Formal Aspects of Component Software: 11th International by Ivan...
thecalamarisisters.com
By Ivan Lanese,Eric Madelaine. This ebook constitutes revised chosen papers from the foreign Symposium on Formal features of part software program, FACS 2014, held in Bertinoro, Italy, in September The 20 complete papers awarded during this quantity have been rigorously reviewed and chosen ...
Exploring New Frontiers of Theoretical Informatics: IFIP 18th World...
books.google.de
1In [Cardelli and Ghelli, 2001], the authors considered additionally the New Insights on Architectural Connectors Roberto Bruni, José Luiz Fiadeiro, Ivan Lanese, ...
CONCUR Concurrency Theory: 20th International Conference,...
books.google.de
Mario Bravetti (Co-chair) Cinzia Di Giusto Ivan Lanese (Workshops Chair) Fabrizio Montesi Jorge A. Perez Sylvain Pradalier Cristian Versari Antonio Vitale ...
Algebra and Coalgebra in Computer Science: First International...
books.google.de
Complete Axioms for Stateless Connectors⋆ Roberto Bruni, Ivan Lanese, and Ugo Montanari Computer Science Department, University of Pisa, Italy {bruni, ...
Constraints Meet Concurrency - Jacopo Mauro - Google Books
books.google.de
This book describes the benefits that emerge when the fields of constraint programming and concurrency meet. On the one hand, constraints can be used in...
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...
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International...
books.google.de
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September The 26 revised...
Web Services and Formal Methods: 6th International Workshop, WS-FM...
books.google.de
Alberto Lluch Lafuente Fabio Patrizi Giuseppe De Giacomo Ivan Lanese Kathrin Kaschner Luca Padovani Lucian Wischik Luis Cruz Filipe Manuel Mazzara ...
Formal Aspects of Component Software: 11th International Symposium,...
books.google.de
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in...
Formal Techniques for Distributed Objects, Components, and Systems:...
books.google.de
This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems,...
Present and Ulterior Software Engineering - Google Books
books.google.de
This book provides an effective overview of the state-of-the art in software engineering, with a projection of the future of the discipline. It includes
Verwandte Suchanfragen zu Ivan Lanese
| Kathrin Kaschner |
Personen Vorname "Ivan" (11349) Name "Lanese" (6) |
sortiert nach Relevanz / Datum