Furia a (84 risultati)

Condizione: Poor. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In poor condition, suitable as a reading copy. No publication date Please note the Image in this listing is a stock photo and may not match the covers of the actual item,850grams, ISBN.…

Condizione: gut. 13 S., Abb., 24 cm, Ecke geknickt. Sprache: Italienisch.

XVI, 423 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Monographs in Theoretical Computer Science. Sprache: Englisch.…

Condizione: New. 2025. 1st Edition. hardcover. . . . . . Furia (illustratore).

Condizione: Gut. 424 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. 9783642323317 Sprache: Englisch Gewicht in Gramm: 990.

Condizione: New.

Condizione: New.

Hardback or Cased Book. Condizione: New. The Foreign Aid Regime: Gift-Giving, States and Global Dis/Order. Book.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Paperback. Condizione: new. Paperback. This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. The 24 revised full papers presented were carefully reviewed and selected from 77 submissions. The papers discuss all aspects of object technology and related fields and demonstrate practical applications backed up by formal analysis and thorough experimental evaluation. In particular, every topic in advanced software technology is adressed the scope of TOOLS. This book constitutes the refereed proceedings of the 50th International Conference on Objects, Models, Components, Patterns, TOOLS Europe 2012, held in Prague, Czech Republic, during May 29-31,2012. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.…

Condizione: OTTIMO USATO. IED. Da revisionare ITALIANO Brossura illustrata presentante minimi segni di usura. Pagine in buono stato anche se già sfogliate. Numero pagine 223.

Condizione: BUONO USATO. IED. Da revisionare ITALIANO Brossura commerciale, copertina ben preservata con solo densi aloni di polvere e tracce da uso, immagini in rotocalco completano i fogli velati da lieve ossidazione bruna come i tagli. N. pag. 224.

Condizione: New.

Condizione: New.

Condizione: As New. Unread book in perfect condition.

Condizione: As New. Unread book in perfect condition.

Condizione: New. 144.

Condizione: New. pp. 193.

paperback. Condizione: As New. "Quaderni del Dipartimento di Filosofia" - Brossura editoriale di 210 pagine. Copia in condizioni pari al nuovo. Book.

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

Condizione: New.

Condizione: New. pp. 440.

Paperback. Condizione: Brand New. 2012 edition. 383 pages. 9.10x6.10x0.90 inches. In Stock.

Paperback. Condizione: Brand New. 400 pages. 9.25x6.10x0.99 inches. In Stock.

Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results of several decades of research on developing, analyzing, and applying time models to computing and engineering.After an opening motivation introducing the topics, structure and goals, the authors introduce the notions of formalism and model in general terms along with some of their fundamental classification criteria. In doing so they present the fundamentals of propositional and predicate logic, and essential issues that arise when modeling time across all types of system. Part I is a summary of the models that are traditional in engineering and the natural sciences, including fundamental computer science: dynamical systems and control theory; hardware design; and software algorithmic and complexity analysis. Part II covers advanced and specialized formalisms dealing with time modeling in heterogeneous software-intensive systems: formalisms that share finite state machines as common 'ancestors'; Petri nets in many variants; notations based on mathematical logic, such as temporal logic; process algebras; and 'dual-language approaches' combining two notations with different characteristics to model and verify complex systems, e.g., model-checking frameworks. Finally, the book concludes with summarizing remarks and hints towards future developments and open challenges. The presentation uses a rigorous, yet not overly technical, style, appropriate for readers with heterogeneous backgrounds, and each chapter is supplemented with detailed bibliographic remarks and carefully chosen exercises of varying difficulty and scope. The book is aimed at graduate students and researchers in computer science, whileresearchers and practitioners in other scientific and engineering disciplines interested in time modeling with a computational flavor will also find the book of value, and the comparative and conceptual approach makes this a valuable introduction for non-experts. The authors assume a basic knowledge of calculus, probability theory, algorithms, and programming, while a more advanced knowledge of automata, formal languages, and mathematical logic is useful.…