Igarashi atsushi (67 resultados)

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Condición: New.

Tankobon Hardcover. Condición: Brand New. Japanese language. 8.39x5.94x0.59 inches. In Stock.

Condición: New.

Condición: New.

Condición: New.

Condición: As New. Unread book in perfect condition.

Condición: New. In English.

Condición: New. In English.

Condición: New. In English.

Condición: New.

Condición: New.

Condición: New.

Condición: New. In English.

Condición: New. pp. 439.

Paperback. Condición: Brand New. 2012 edition. 397 pages. 9.50x6.25x0.75 inches. In Stock.

Paperback. Condición: Brand New. 2014 edition. 484 pages. 9.25x6.10x1.20 inches. In Stock.

Condición: As New. Unread book in perfect condition.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th Asian Symposium on Programming Languages and Systems, APLAS 2016, held in Hanoi, Vietnam, in November 2016.The papers cover a variety of topics such as semantics, logics, and foundational theory; design of languages type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; tools for programming and implementation.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume includes a collection of papers written in honor of the accomplishments of Professor Yonezawa on the occasion of his 65th birthday in 2012. With a few exceptions, the papers in this Festschrift were presented at an international symposium celebrating this occasion. Also included are reprints of two of Professor Yonezawa's most influential papers on the programming language ABCL. The volume is a testament strong and lasting impact Professor Yonezawa's research accomplishments as well as the inspiration he has been to colleagues and students alike.…

Condición: New. 1st ed. 2022 edition NO-PA16APR2015-KAP.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the 16th International Symposium on Functional and Logic Programming, FLOPS 2022, held in Kyoto, Japan, in May 2022.The 12 papers presented in this volume were carefully reviewed and selected from 30 submissions. Additionally, the volume includes two system descriptions and a declarative pearl paper. The papers cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional programming, logic programming, declarative programming, constraint programming, formal method, model checking, program transformation, program refinement, and type theory.…

Taschenbuch. Condición: Neu. Programming Languages and Systems | 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings | Ranjit Jhala (u. a.) | Taschenbuch | xii | Englisch | 2012 | Springer | EAN 9783642351815 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Programming Languages and Systems | 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings | Atsushi Igarashi | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319479576 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Concurrent Objects and Beyond | Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday | Gul Agha (u. a.) | Taschenbuch | xxxvi | Englisch | 2014 | Springer | EAN 9783662444702 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Paperback. Condición: Brand New. 484 pages. 9.25x6.10x1.09 inches. In Stock.

Taschenbuch. Condición: Neu. Functional and Logic Programming | 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings | Michael Hanus (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2022 | Springer | EAN 9783030994600 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…