anca muscholl (10 Ergebnisse)

Taschenbuch. Zustand: Neu. Über die Erkennbarkeit unendlicher Spuren | Anca Muscholl | Taschenbuch | iv | Deutsch | 1995 | Vieweg & Teubner | EAN 9783815420676 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 476 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, which took place in Grenoble, France, in April 2014. The 28 papers included in this book, together with one invited talk, were selected from 106 full-paper submissions. The following topical areas are covered: probabilistic systems, semantics of programming languages, networks, program analysis, games and synthesis, compositional reasoning, bisimulation, categorical and algebraic models and logics of programming.

Zustand: New. In.

Paperback. Zustand: Brand New. 116 pages. German language. 9.70x6.70x0.32 inches. In Stock.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 800 | Sprache: Englisch | Produktart: Sonstiges.

Taschenbuch. Zustand: Neu. Neuware -This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23¿29,2010 in the Hotel Bed richov, Spindler uv Mlyn, ¿ of the Krkono se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects,suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: ¿ Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) ¿ Principles of Software Construction (Chair: Bernhard Rumpe) ¿ Data, Knowledge, and Intelligent Systems (Chair: Jaroslav Pokorn¿ y) ¿ Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma ¿ria Bielikov¿ a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti c results and on their work in progress. 800 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the invited and contributed papers selected for presen- tion at SOFSEM 2010, the 36th Conference on Current Trends in Theory and Practiceof Computer Science, held January23 29,2010 in the Hotel Bed richov, Spindler uv Mlyn, of the Krkono se Mountains of the Czech Republic. SOFSEM(originally:SOFtwareSEMinar)isdevotedtoleadingresearch,and fosters the cooperation among researchers and professionals from academia and industry in all areas of computer science. As a well-established and fully int- national conference, SOFSEM maintains the best of its original Winter School aspects,suchasa highnumber of invitedtalksandanin-depth coverageofnovel research results in selected areas within computer science. SOFSEM 2010 was organized around the following four tracks: Foundations of Computer Science (Chairs: David Peleg, Anca Muscholl) Principles of Software Construction (Chair: Bernhard Rumpe) Data, Knowledge, and Intelligent Systems (Chair: Jaroslav Pokorn y) Web Science (Chair: Jan van Leeuwen) With these tracks, SOFSEM 2010 covered the latest advances in research, both theoretical and applied, in leading areas of computer science. The SOFSEM 2010 Program Committee consisted of 78 international experts from 20 di erent countries, representing the track areas with outstanding expertise. An integral part of SOFSEM 2010 was the traditional Student Research - rum (SRF, Chair: Ma ria Bielikov a), organized with the aim to present student projects in the theory and practice of computer science and to give students feedback on both the originality of their scienti c results and on their work in progress.

Zustand: New. In.

Paperback. Zustand: Brand New. 1st edition. 780 pages. 9.00x6.00x1.00 inches. In Stock.