narciso martí oliet (91 Ergebnisse)

2015. 192 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchrücken und Barcode auf Vorsatz. 9783319150741 Sprache: Englisch Gewicht in Gramm: 272 Taschenbuch, Größe: 15.5 x 1.1 x 23.5 cm.

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: Hervorragend. Zustand: Hervorragend | Seiten: 228 | Sprache: Englisch | Produktart: Bücher.

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.

Taschenbuch. Zustand: Neu. Neuware -This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 648 pp. Englisch.

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.

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 220 pp. Englisch.

Tapa blanda. Zustand: Nuevo. Este libro intenta llenar un hueco en el panorama editorial en el campo de las estructuras de datos y algoritmos, ya que la cantidad de libros de problemas resueltos sobre estos temas es muy escasa. El libro se divide en dos partes: la primera se dedica a las estructuras de datos (pilas, colas, listas, árboles binarios y generales, árboles de búsqueda y tablas, colas con prioridad y grafos) y la segunda a los métodos algorítmicos (divide y vencerás, método voraz, programación dinámica, vuelta atrás y ramificación y poda), si bien es imposible separar por completo ambas materias, y esto se nota en algunos de los ejercicios que se incluyen. Cada capítulo empieza con una breve introducción al tema correspondiente, donde se fijan los conceptos y notaciones que se utilizan en el desarrollo posterior de las soluciones de los ejercicios. A continuación aparecen los enunciados de los ejercicios del tema, cada uno seguido de la solución correspondiente. En general, la solución que se ofrece no es la única posible en absoluto y, de hecho, en algunos ejercicios se presenta más de una solución cuando la variación es suficientemente interesante. Tras el éxito de la primera edición de 2003, se publica ahora esta segunda edición en la que se han corregido las erratas conocidas hasta la fecha y se han mejorado las explicaciones atendiendo a las sugerencias recibidas a lo largo de los años.

Rústica. Impecable. . Estado de conservación: new. 531 páginas.

Zustand: Usado - bueno.

paperback. Zustand: Good. Good. SHIPS FROM MULTIPLE LOCATIONS. book.