Marti oliet (29 Ergebnisse)

Zustand: New. Idioma/Language: Español. *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. In English.

Zustand: New. Idioma/Language: Español. "Para que la industria química pueda transformar una materia prima en productos que permitan satisfacer las necesidades de las personas mejorando su calidad de vida, es necesario realizar una serie de procesos. La realización de estos procesos, que pueden ser químicos o físicos, requiere del suministro de energía. Además, para conseguir el rendimiento económico de la instalación de producción y el cumplimiento de las normas medioambientales es necesario recuperar y reutilizar la energía en diferentes partes del proceso productivo. En casi todas las plantas de producción química el agua juega un papel primordial, no solo desde el punto de vista de la generación y transmisión de energía, sino como materia prima en el proceso productivo. El tratamiento del agua de entrada en la instalación, agua afluente, como del agua de salida contaminada, agua efluente, es fundamental para garantizar el buen funcionamiento de los equipos. " *** Nota: Los envíos a España peninsular, Baleares y Canarias se realizan a través de mensajería urgente. No aceptamos pedidos con destino a Ceuta y Melilla.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: Nuevo. Estructuras de datos y m algoritmicos 213 ejercicios editado por Garceta.

Paperback. Zustand: Brand New. 2015 edition. 192 pages. 9.30x6.20x0.60 inches. In Stock.

Zustand: New. In English.

Zustand: New. In English.

Paperback. Zustand: Brand New. 250 pages. 9.25x6.10x0.48 inches. In Stock.

Paperback. Zustand: Brand New. revised edition. 296 pages. 9.25x6.10x0.67 inches. In Stock.

Zustand: New.

Zustand: New.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.…

Paperback. Zustand: Brand New. 648 pages. 9.30x6.20x1.46 inches. In Stock.

Paperback. Zustand: Brand New. 219 pages. 9.25x6.10x9.21 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. The 16 revised papers presented were carefully reviewed and selected from 25 presentations. The workshop deals with the following topics: foundations of algebraic specification; other approaches to formal specification including process calculi and models of concurrent, distributed and mobile computing; specification languages, methods, and environments; semantics of conceptual modeling methods and techniques; model-driven development; graph transformations, term rewriting and proof systems; integration of formal specification techniques; formal testing and quality assurance; validation, and verification.…

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education. …

Taschenbuch. Zustand: Neu. Recent Trends in Algebraic Development Techniques | 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers | Narciso Martí-Oliet (u. a.) | Taschenbuch | x | Englisch | 2013 | Springer | EAN 9783642376344 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Rewriting Logic and Its Applications | 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers | Santiago Escobar (u. a.) | Taschenbuch | Lecture Notes in Computer Science | vii | Englisch | 2020 | Springer | EAN 9783030635947 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Rewriting Logic and Its Applications | 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers | Kazuhiro Ogata (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031659409 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6¿7, 2024.The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.…

Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the workshop took place virtually.The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.…

Bundle. Zustand: New. Offers a comprehensive account of Maude, a language and system based on rewriting logicProvides examples to illustrate key concepts, features, and practical applicationsIncludes supplementary material: sn.pub/extrasMaude is a.

Paperback. Zustand: Brand New. paperback/cd-rom edition. 794 pages. 9.00x6.00x1.25 inches. In Stock.

Zustand: leido. Rústica. Impecable 531.