mallet frederic (67 Ergebnisse)

14 x 19, 58 pp., broché, bon état. 1 portrait et autographe, document pour l'histoire de la littérature française.

Taschenbuch. Zustand: Neu. Neuware VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 116 pp. Deutsch.

Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 152 | Sprache: Englisch | Produktart: Bücher.

Soft cover. Zustand: Very Good. Quarto Size [approx 24cm x 30.5cm]. Very Good condition - Card Covers. Illustrated with Colour and Black & White Photographs and Plates. Text in English and French 217 pages. An international exhibition of contemporary art produced to celebrate the 50th anniversary of the World Health Organization.

Taschenbuch. Zustand: Neu. Neuware -Logische tijd is een ontspannen vorm van tijd die wordt bevorderd door synchrone talen die functioneel, elastisch (kan worden geabstraheerd of verfijnd) en veelvormig zijn. Al deze eigenschappen maken de logische tijd ook in de ontwerptijd adequaat, terwijl precieze fysieke tijdsaantekeningen alleen in latere na-synthesestadia van belang zouden moeten zijn. De Clock Constraint Specification Language (CCSL) is een concrete taal gewijd aan het modelleren en analyseren van logische tijdseigenschappen. CCSL werd in eerste instantie gedefinieerd als een begeleider van het tijdsmodel van het UML-profiel voor MARTE. Het is nu een volwaardige domeinspecifieke modelleertaal geworden voor het vastleggen van causale, chronologische en tijdsgebonden relaties. Het zou een aanvulling moeten zijn op andere syntactische modellen om hun onderliggende rekenmodel vast te leggen. Dit boek begint met het beschrijven van de historische modellen van gelijktijdigheid die de bouw van CCSL hebben geïnspireerd. Vervolgens wordt CCSL geïntroduceerd en gebruikt om bibliotheken te bouwen die gewijd zijn aan twee opkomende standaardmodellen uit de automotive (East-ADL) en de avionic (AADL) domeinen. Tot slot wordt een op waarnemers gebaseerde techniek gepresenteerd om Esterel- en VHDL-implementaties te verifiëren aan de hand van CCSL-specificaties.Books on Demand GmbH, Überseering 33, 22297 Hamburg 116 pp. Niederländisch.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.4.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -El tiempo lógico es una forma relajada de tiempo promovida por lenguajes sincrónicos que es funcional, elástica (puede ser abstraída o refinada) y multiforme. Todas estas propiedades hacen que el tiempo lógico sea adecuado también en el tiempo de diseño, mientras que las anotaciones precisas de tiempo físico sólo deberían importar en las etapas posteriores a la síntesis. El Lenguaje de Especificación de Restricciones del Reloj (CCSL) es un lenguaje concreto dedicado a la modelización y análisis de las propiedades del tiempo lógico. El CCSL se definió inicialmente como un compañero para el modelo de tiempo del perfil UML para MARTE. Ahora se ha convertido en un lenguaje de modelado de dominio específico para capturar relaciones causales, cronológicas y temporales. Debe complementar otros modelos sintácticos para capturar su modelo de cálculo subyacente. Este libro comienza describiendo los modelos históricos de concurrencia que han inspirado la construcción de CCSL. Luego, CCSL se introduce y se utiliza para construir bibliotecas dedicadas a dos modelos estándar emergentes de los dominios automotriz (East-ADL) y aviónico (AADL). Por último, se presenta una técnica basada en la observación para verificar las implementaciones de Esterel y VHDL con respecto a las especificaciones del CCSL.Books on Demand GmbH, Überseering 33, 22297 Hamburg 116 pp. Spanisch.

Taschenbuch. Zustand: Neu. Neuware -Il tempo logico è una forma di tempo rilassata promossa dai linguaggi sincroni che è funzionale, elastico (può essere astratto o raffinato) e multiforme. Tutte queste proprietà rendono il tempo logico adeguato anche al momento della progettazione, mentre le annotazioni precise del tempo fisico dovrebbero avere importanza solo nelle fasi successive della post-sintesi. Il Clock Constraint Specification Language (CCSL) è un linguaggio concreto dedicato alla modellazione e all'analisi delle proprietà del tempo logico. Il CCSL è stato inizialmente definito come un compagno per il modello temporale del profilo UML per MARTE. Ora è diventato un vero e proprio linguaggio di modellazione specifico del dominio per l'acquisizione di relazioni causali, cronologiche e temporali. Dovrebbe completare altri modelli sintattici per catturare il loro modello di calcolo sottostante. Questo libro inizia con la descrizione dei modelli storici della concomitanza che hanno ispirato la costruzione del CCSL. Poi, il CCSL viene introdotto e utilizzato per costruire librerie dedicate a due modelli standard emergenti del settore automobilistico (East-ADL) e dell'avionica (AADL). Infine, viene presentata una tecnica basata sull'osservazione per verificare le implementazioni Esterel e VHDL rispetto alle specifiche CCSL.Books on Demand GmbH, Überseering 33, 22297 Hamburg 112 pp. Italienisch.

Taschenbuch. Zustand: Neu. Neuware -O tempo lógico é uma forma relaxada de tempo promovida por linguagens síncronas que é funcional, elástica (pode ser abstraída ou refinada), e multiforme. Todas estas propriedades tornam o tempo lógico adequado também no tempo de concepção, enquanto que as anotações de tempo físico precisas só devem ter importância em fases posteriores de pós-síntese. A Clock Constraint Specification Language (CCSL) é uma linguagem concreta dedicada à modelação e análise das propriedades lógicas do tempo. A CCSL foi inicialmente definida como uma companheira para o modelo temporal do perfil UML para a MARTE. Tornou-se agora uma linguagem de modelação de domínio específico para a captura de relações causais, cronológicas e temporais. Deve complementar outros modelos sintácticos para captar o seu modelo de cálculo subjacente. Este livro começa por descrever os modelos históricos de concurrência que inspiraram a construção do CCSL. Em seguida, o CCSL é introduzido e utilizado para construir bibliotecas dedicadas a dois modelos padrão emergentes dos domínios automóvel (East-ADL) e aviónico (AADL). Finalmente, é apresentada uma técnica baseada em observadores para verificar as implementações de Esterel e VHDL em relação às especificações CCSL.Books on Demand GmbH, Überseering 33, 22297 Hamburg 116 pp. Portugiesisch.

Taschenbuch. Zustand: Neu. Neuware -Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic (can be abstracted or refined), and multiform. All these properties make logical time adequate also at design time, whereas precise physical time annotations should only matter in later post-synthesis stages. The Clock Constraint Specification Language (CCSL) is a concrete language dedicated to the modeling and analysis of logical time properties. CCSL was initially defined as a companion for the time model of the UML profile for MARTE. It has now become a full-fledged domain-specific modeling language for capturing causal, chronological and timed relationships. It should complement other syntactic models to capture their underlying model of computation. This book starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSL is introduced and used to build libraries dedicated to two emerging standard models from the automotive (East-ADL) and the avionic (AADL) domains. Finally, an observer-based technique to verify Esterel and VHDL implementations against CCSL specifications is presented.Books on Demand GmbH, Überseering 33, 22297 Hamburg 124 pp. Englisch.

Zustand: Neuf. FUMAT, Carole (illustrator).

LeatheBound. Zustand: New. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 74. A perfect gift for your loved ones. Reprinted from 1923 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: French Pages: 74.

LeatherBound. Zustand: New. LeatherBound edition. Condition: New. Reprinted from 1923 edition. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. A perfect gift for your loved ones. Pages: 78 NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Pages: 78 Mallet, Frédéric.

LeatherBound. Zustand: New. Leatherbound edition. Condition: New. Leather Binding on Spine and Corners with Golden leaf printing on spine. Bound in genuine leather with Satin ribbon page markers and Spine with raised gilt bands. Pages: 386. A perfect gift for your loved ones. Reprinted from 1923 edition. NO changes have been made to the original text. This is NOT a retyped or an ocr'd reprint. Illustrations, Index, if any, are included in black and white. Each page is checked manually before printing. As this print on demand book is reprinted from a very old book, there could be some missing or flawed pages, but we always try to make the book as complete as possible. Fold-outs, if any, are not part of the book. If the original book was published in multiple volumes then this reprint is of only one volume, not the whole set. IF YOU WISH TO ORDER PARTICULAR VOLUME OR ALL THE VOLUMES YOU CAN CONTACT US. Resized as per current standards. Sewing binding for longer life, where the book block is actually sewn (smythe sewn/section sewn) with thread before binding which results in a more durable type of binding. Language: French Pages: 386.

Partem primam (allt som utkom). Stockholm, Grefing 1752, (2),30 sidor. Liten 4:o. Tagen ur band. Skuren. [#220681].

Leather Bound. Zustand: New. Language: French. Presenting an Exquisite Leather-Bound Edition, expertly crafted with Original Natural Leather that gracefully adorns the spine and corners. The allure continues with Golden Leaf Printing that adds a touch of elegance, while Hand Embossing on the rounded spine lends an artistic flair. This masterpiece has been meticulously reprinted in 2024, utilizing the invaluable guidance of the original edition published many years ago in 1923. The contents of this book are presented in classic black and white. Its durability is ensured through a meticulous sewing binding technique, enhancing its longevity. Imprinted on top-tier quality paper. A team of professionals has expertly processed each page, delicately preserving its content without alteration. Due to the vintage nature of these books, every page has been manually restored for legibility. However, in certain instances, occasional blurriness, missing segments, or faint black spots might persist. We sincerely hope for your understanding of the challenges we faced with these books. Recognizing their significance for readers seeking insight into our historical treasure, we've diligently restored and reissued them. Our intention is to offer this valuable resource once again. We eagerly await your feedback, hoping that you'll find it appealing and will generously share your thoughts and recommendations. Lang: - French, Pages: - 78, Print on Demand. If it is a multi-volume set, then it is only a single volume. We are specialised in Customisation of books, if you wish to opt different color leather binding, you may contact us. This service is chargeable. Product Disclaimer: Kindly be informed that, owing to the inherent nature of leather as a natural material, minor discolorations or textural variations may be perceptible. Explore the FOLIO EDITION (12x19 Inches): Available Upon Request. 78.