Jordi cortadella (45 resultados)

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

Condición: New.

Paperback. Condición: New.

Condición: New.

Condición: New.

TAPA DURA. 160 PÁGINAS. ILUSTRADO. ESTADO CORRECTO. Size: 29,5 X 23.

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

Condición: Good. 2002nd Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. …

Condición: New.

Cartoné (tapa dura cartón). Condición: New. Estado de la sobrecubierta: Nuevo. 01. LIBRO.

Condición: New.

Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail.…

Condición: New.

Condición: New.

Condición: New. pp. 360.

Condición: leido. Colección Historiadores, 7. 1ª ed., 1ª imp. edición. cartoné. Las 711 páginas y 542 figuras de Etnologia de la Península Ibèrica, representan la consagración definitiva de Bosch Gimpera y su escuela. Escrita con el objetivo de sistematizar la evolución de la prehistoria peninsular dándole un sentido histórico desde el neolítico, en ella Bosch identifica los pueblos primitivos de la península con pueblos conocidos a través de los autores clásicos y los relaciona con los del resto de Europa. Con su publicación cerraba su primera gran etapa de producción científica. La obra, atacada y vilipendiada por algunos prehistoriadores después de la guerra civil, fue convertida en un símbolo por parte de otros y sólo mucho más tarde superada metodológicamente. 925.…

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - As CMOS semiconductor technology strides towards billions of transistors on a single die new problems arise on the way. They are concerned with the - minishing fabrication process features, which a ect for example the gate-to-wire delay ratio. They manifest themselves in greater variations of size and operating parameters of devices, which put the overall reliability of systems at risk. And, most of all, they have tremendous impact on design productivity, where the costs of utilizing the growing silicon 'real estate' rocket to billions of dollars that have to be spent on design, veri cation, and testing. All such problems call for new - sign approaches and models for digital systems. Furthermore, new developments in non-CMOS technologies, such as single-electron transistors, rapid single- - quantum devices, quantum dot cells, molecular devices, etc. , add extra demand for new research in system design methodologies. What kind of models and design methodologies will be required to build systems in all these new technologies Answering this question, even for each particular type of new technology generation, is not easy, especially because sometimes it is not even clear what kind of elementary devices are feasible there. This problem is of an interdisciplinary nature. It requires an bridges between di erent scienti c communities. The bridges must be built very quickly, and be maximally exible to accommodate changes taking place in a logarithmic timescale.…

Condición: Bueno. Ediciones Edilibro, S.L., Club Internacional del Libro, 1999, Tudela (Navarra). Dura. 150p. 27X20 cm. Como nuevo y profusamente ilustrado en color. Español.

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

Paperback. Condición: New.

Condición: New.

Condición: New.

Condición: New.

Cartoné. Condición: New. Estado de la sobrecubierta: Nuevo. 01. Las 711 páginas y 542 figuras de Etnología., representan la consagración definitiva de Bosch Gimpera y su escuela. Escrita con el objetivo de sistematizar la evolución de la prehistoria peninsular dándole un sentido histórico desde el neolítico, en ella. LIBRO.…

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

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

Condición: New. pp. 292.

Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited papers.- Positive Non-interference in Elementary and Trace Nets.- Reachability Set Generation for Petri Nets: Can Brute Force Be Smart .- Embedded Software: Better Models, Better Code.- Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata.- Formal Tools for Modular System Development.- Stochastic Methods for Dependability, Performability, and Security Evaluation.- Full papers.- Composition of Temporal Logic Specifications.- On the Use of Coloured Petri Nets for Object-Oriented Design.- Qualitative Modelling of Genetic Networks: From Logical Regulatory Graphs to Standard Petri Nets.- Finite Unfoldings of Unbounded Petri Nets.- Compositional Modeling of Complex Systems: Contact Center Scenarios in OsMoSys.- Generalised Soundness of Workflow Nets Is Decidable.- Petri Net Based Model Validation in Systems Biology.- Synthesis of Controlled Behavior with Modules of Signal Nets.- New Canonical Representative Marking Algorithms for Place/Transition-Nets.- Properties of Object Petri Nets.- LTL Model Checking for Modular Petri Nets.- Covering Fairness against Conspiracies.- Modeling and Analysis of Margolus Quantum Cellular Automata Using Net-Theoretical Methods.- A Framework for the Modelling and Simulation of Distributed Transaction Processing Systems Using Coloured Petri Nets.- Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.- Transit Case Study.- Eliminating Internal Behaviour in Petri Nets.- Infinity of Intermediate States Is Decidable for Petri Nets.- Operation Net System: A Formal Design Representation Model for High-Level Synthesis of Asynchronous Systems Based on Transformations.- Tool Papers.- EMiT: A Process Mining Tool.- 3D-Visualization of Petri Net Models: Concept and Realization.- An Approach to Distributed State Space Exploration for Coloured Petri Nets.- An Extensible Editor and Simulation Engine for Petri Nets: Renew.- Web Supported Enactment of Petri-Net Based Workflows with XRL/Flower.…

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