Wies thomas (92 risultati)

Cloth. Condizione: Fine. No Jacket. First Edition, First Printing. First Edition, First Printing. Hard cover 8vo in embossed red cloth w/gold spine titles. Fine and unmarked; no DJ but in mylar cover. 634pp inc. Glossary; illustrated in drawings, color frontis. Wies, Kurt (illustratore). Book.

Hardcover. Condizione: Very Good. --------Red cloth covers with gilt, book is near 9" tall, thick book. 634 pages, with color frontispiece and 9 other illustrations.VERY GOOD CONDITION- - - no dust jacket.- - - -SIGNED BY LOWELL THOMAS, ON FLYLEAF - - - -. Signed by Author(s).

Condizione: New.

Condizione: New.

Paperback or Softback. Condizione: New. On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday. Book.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 2224, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. The scope of the conference covers all aspects related to the design and the development of these systems, including, e.g., cloud systems, formal verification, concurrent and distributed algorithms, data management, data science, parallel/concurrent/distributed programming, machine learning, multi-core architectures, networks, and security. This book constitutes the refereed proceedings of the 11th International Conference on Networked Systems, NETYS 2023, held in Benguerir, Morocco, during May 2224, 2023.The 9 full papers and 3 short papers presented were carefully reviewed and selected from 31 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: New. 1st ed. 2023 edition NO-PA16APR2015-KAP.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Paperback. Condizione: Brand New. 166 pages. 6.14x0.36x9.21 inches. In Stock.

Condizione: New.

Paperback. Condizione: Brand New. revised edition. 228 pages. 9.25x6.10x0.55 inches. In Stock.

Paperback. Condizione: Brand New. 578 pages. 9.25x6.10x1.17 inches. In Stock.

Condizione: New.

Condizione: New. 1st edition NO-PA16APR2015-KAP.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques. Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor.…

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelberg, Germany, in July 2017.The 12 full papers presented were carefully revised and selected from 20 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.…