Domain nets24.de kaufen?
Wir ziehen mit dem Projekt nets24.de um. Sind Sie am Kauf der Domain nets24.de interessiert?
Schicken Sie uns bitte eine Email an
domain@kv-gmbh.de oder rufen uns an: 0541-76012653.
Produkte zum Begriff Kartoniert:

Petri Nets - Guanjun Liu  Kartoniert (TB)
Petri Nets - Guanjun Liu Kartoniert (TB)

This book provides essential information on Petri net theory and Petri net-based model checking methods. As for the Petri net theory it involves the interleaving semantics and concurrency semantics of elementary net systems some important net structures (e.g. invariant repetitive vector siphon and trap) some classical net subclasses with special structures (e.g. state machine marked graph free-choice net asymmetric-choice net normal net and weakly persistent net) and some basic properties (e.g. reachability liveness deadlock and soundness). It also involves four high-level Petri nets: knowledge-oriented Petri nets Petri nets with insecure places time Petri nets and plain time Petri nets with priorities focusing on different fields of application. As for the model checking methods this book introduces readers to computation tree logic (CTL) computation tree logic of knowledge (CTLK) and timed computation tree logic (TCTL) as well as Petri net-based methods for checking them. The basic principle of the reduced ordered binary decision diagram (ROBDD) is employed to compress the state space used in these model checking procedures. The book also covers time-soundness for time Petri nets and secure bisimulation for Petri nets with insecure places both of which are based on the bisimulation theory. As such it offers an introduction to basic information on bisimulation theory.

Preis: 181.89 € | Versand*: 0.00 €
Neural Nets And Surroundings  Kartoniert (TB)
Neural Nets And Surroundings Kartoniert (TB)

Collecting contributions to the 22nd Italian Workshop on Neural Networks and the yearly meeting of the Italian Society for Neural Networks (SIREN) this book covers the latest research on artificial neural networks and natural intelligence.

Preis: 160.49 € | Versand*: 0.00 €
Access Nets - Chonggang Wang  Kartoniert (TB)
Access Nets - Chonggang Wang Kartoniert (TB)

The annual International Conference on Access Networks (AccessNets) aims to provide a forum that brings together researchers and scientists from academia as well as man- ers and engineers from industry to meet and exchange ideas and recent work on all aspects of access networks. AccessNets 2008 was the third edition of this event which was successfully held in Las Vegas Nevada USA during October 15-17 2008. The conference consisted of two keynote addresses five invited talks seven technical sessions and two panel sessions. Leonid Kazovsky from Stanford University and Kevin Schneider Chief Technology Officer of ADTRAN delivered their exciting keynote - dresses on Future Evolution of Broadband Access and Carrier Ethernet and the Evo- ing Access Networks respectively. Maurice Gagnaire Martin Reisslein Martin Maier Paolo Giacomazzi and John M. Cioffi gave interesting invited talks on different research topics on access networks. The technical papers presented original and fundamental - search advances in the area of access networks while the panels focused on the interesting topics of Fiber Assisted Wireless for Broadband Access Networks and Dynamic Spectrum Management (DSM) Successes. These conference proceedings include all the technical papers that were presented at AccessNets 2008. We hope that it will become a useful reference for researchers and practitioners working in the area of access networks.

Preis: 53.49 € | Versand*: 0.00 €
Neural Nets Wirn Vietri-98  Kartoniert (TB)
Neural Nets Wirn Vietri-98 Kartoniert (TB)

From its early beginnings in the fifties and sixties the field of neural networks has been steadily developing to become one of the most interdisciplinary areas of research within computer science. This volume contains selected papers from WIRN Vietri-98 the 10th Italian Workshop on Neural Nets 21-23 May 1998 Vietri sul Mare Salerno Italy. This annual event sponsored amongst others by the IEEE Neural Network Council and the INNS/SIG Italy brings together the best of research from all over the world. The papers cover a range of key topics within neural networks including pattern recognition signal processing hybrid systems mathematical models hardware and software design and fuzzy techniques. It also includes two review talks on a Morpho-Functional Model to Describe Variability Found at Hippocampal Synapses and Neural Networks and Speech Processing. By providing the reader with a comprehensive overview of recent research in this area the volume makes a valuable contribution to the Perspectives in Neural Computing Series.

Preis: 106.99 € | Versand*: 0.00 €

Was bedeutet kartoniert bei einem Buch?

"Was bedeutet kartoniert bei einem Buch?" Kartoniert bedeutet, dass das Buch einen festen Einband aus Karton hat, der mit einem Pa...

"Was bedeutet kartoniert bei einem Buch?" Kartoniert bedeutet, dass das Buch einen festen Einband aus Karton hat, der mit einem Papier- oder Kunststoffüberzug versehen ist. Im Gegensatz zu einem Hardcover-Buch ist ein kartoniertes Buch in der Regel leichter und flexibler. Diese Art von Einband wird häufig bei Taschenbüchern verwendet, da sie kostengünstiger herzustellen ist. Trotzdem bietet ein kartoniertes Buch eine gute Stabilität und Schutz für die Seiten.

Quelle: KI generiert von FAQ.de

Schlagwörter: Einband Paperback Buchdeckel Flexcover Taschenbuch Broschur Softcover Einbandart Buchhülle Umschlag

Was ist der Unterschied zwischen kartoniert und fester Einband?

Der Unterschied zwischen kartoniert und fester Einband liegt in der Art und Stärke des Materials, das für den Einband eines Buches...

Der Unterschied zwischen kartoniert und fester Einband liegt in der Art und Stärke des Materials, das für den Einband eines Buches verwendet wird. Bei einem kartonierten Buch wird ein dünnerer Karton für den Einband verwendet, der flexibler ist und sich leichter biegen lässt. Ein Buch mit festem Einband hingegen hat einen Einband aus einem dickeren und stabileren Material, wie beispielsweise Leinen oder Kunstleder, das dem Buch mehr Stabilität und Langlebigkeit verleiht. Bücher mit festem Einband sind in der Regel hochwertiger und langlebiger als kartonierte Bücher.

Quelle: KI generiert von FAQ.de

Schlagwörter: Fester Einband Leinenbindung Ledereinband Schmuckeinband Ganzleder Halbleder Klappentitel Deckel Schuber

Scientific Applications Of Neural Nets  Kartoniert (TB)
Scientific Applications Of Neural Nets Kartoniert (TB)

Neural-network models for event analysis are widely used in experimental high-energy physics star/galaxy discrimination control of adaptive optical systems prediction of nuclear properties fast interpolation of potential energy surfaces in chemistry classification of mass spectra of organic compounds protein-structure prediction analysis of DNA sequences and design of pharmaceuticals. This book devoted to this highly interdisciplinary research area addresses scientists and graduate students. The pedagogically written review articles range over a variety of fields including astronomy nuclear physics experimental particle physics bioinformatics linguistics and information processing.

Preis: 53.49 € | Versand*: 0.00 €
Neural Nets Wirn Vietri-99  Kartoniert (TB)
Neural Nets Wirn Vietri-99 Kartoniert (TB)

From its early beginnings in the fifties and sixties the field of neural networks has been steadily developing to become one of the most interdisciplinary areas of research within computer science. This volume contains a selection of papers from WIRN Vietri-99 the 11th Italian Workshop on Neural Nets. This annual event sponsored amongst others by the IEEE Neural Networks Council and the INNS/SIG Italy brings together the best of research from all over the world. The papers cover a range of topics within neural networks including pattern recognition signal and image processing mathematical models neuro-fuzzy models and economics applications.

Preis: 106.99 € | Versand*: 0.00 €
Neural Nets Wirn Vietri-97  Kartoniert (TB)
Neural Nets Wirn Vietri-97 Kartoniert (TB)

This volume contains the Proceedings of the 9th Italian Workshop on Neural Nets WIRN VIETRI-97 organised by the International Institute for Advanced Scientific Studies ((Eduardo R. Caianiello (IIASS) the Societa Italiana Reti Neuroniche (SIREN) and the IEEE NNC Italian RIG. As in the previous editions some invited and reviewed talks on updated subjects are presented in addition to the original contributions selected by the Refereeing Committee. Also included is Professor C.M. Bishop's Invited paper on: Latent Variables Topographic Mappings and Data Visualization; and two review talks that deal with updated topics: Fuzzy Neural Networks for Pattern Recognition; A Unifying View of Gradient Calculations and Learning for Locally Recurrent Neural Networks; For publication the original contributions have been assembled into 4 sections: Applications Architectures and Algorithms Mathematical Models Pattern Recognition and Robotics. The Editors thank the invited speaker and all the participants for having contributed to the success of the Workshop by submitting high quality manuscripts and also express gratitude to the Refereeing Committee for the high quality of the selection process. Maria Marinaro Roberto Tagliaferri VI Organizing -Scientific Committee: B. Apolloni (Univ. Milano) A. Bertoni (Univ. Milano) D.O. Caviglia (Univ. Genova) P. Campadelli (Univ. Milano) A. Colla (ELSAG BAILEY -Genova) M. Frixione (1IASS) C. Furlanello (IRST -Trento) A. Esposito (1IASS) G.M. Guazzo (1IASS) M. Gori (Univ. Firenze) F. Lauria (Univ. Napoli) M. Marinaro (Univ. Salerno - IIASS) F.

Preis: 106.99 € | Versand*: 0.00 €
Timed Petri Nets - Jiacun Wang  Kartoniert (TB)
Timed Petri Nets - Jiacun Wang Kartoniert (TB)

Driven by the request for increased productivity flexibility and competitiveness modern civilization increasingly has created high-performance discrete event dynamic systems (DEDSs). These systems exhibit concurrent sequential competitive activities among their components. They are often complex and large in scale and necessarily flexible and thus highly capital-intensive. Examples of systems are manufacturing systems communication networks traffic and logistic systems and military command and control systems. Modeling and performance evaluation play a vital role in the design and operation of such high-performance DEDSs and thus have received widespread attention from researchers over the past two decades. One methodology resulting from this effort is based on timed Petri nets and related graphical and mathematical tools. The popularity that Petri nets have been gaining in modeling of DEDSs is due to their powerful representational ability of concurrency and synchronization; however these properties of DEDSs cannot be expressed easily in traditional formalisms developed for analysis of `classical' systems with sequential behaviors. This book introduces the theories and applications of timed Petri nets systematically. Moreover it also presents many practical applications in addition to theoretical developments together with the latest research results and industrial applications of timed Petri nets. Timed Petri Nets: Theory and Application is intended for use by researchers and practitioners in the area of Discrete Event Dynamic Systems.

Preis: 213.99 € | Versand*: 0.00 €
Coloured Petri Nets - Kurt Jensen  Kartoniert (TB)
Coloured Petri Nets - Kurt Jensen Kartoniert (TB)

The contents of this volume are application oriented. The volume contains a de tailed presentation of 19 applications of CP-nets covering a broad range of ap plication areas. Most of the projects have been carried out in an industrial set ting. The volume presents the most important ideas and experiences from the projects in a way which is useful also for readers who do not yet have personal experience with the construction and analysis of large CPN models. The volume demonstrates the feasibility of using CP-nets and the CPN tools for industrial projects. The presentation of the projects is based upon material provided by the per sons who have accomplished the individual projects. At the beginning of each chapter we list their names and we say where the original material has been published. The original material often contains more elaborate information e.g. about details of the modelled system and related work. I have edited the material provided by the original authors. I have modified some of the CP-nets e.g. to improve the layout and use more mnemonic names. In some cases I have also changed a few net components e.g. merged two tran sitions or introduced a Standard ML function for operations that are used in many arc expressions. These modifications make the CP-nets more appropriate as study material but they do not change the essential behaviour of the CPN models.

Preis: 106.99 € | Versand*: 0.00 €
Hardware Design And Petri Nets  Kartoniert (TB)
Hardware Design And Petri Nets Kartoniert (TB)

Hardware Design and Petri Nets presents a summary of the state of the art in the applications of Petri nets to designing digital systems and circuits. The area of hardware design has traditionally been a fertile field for research in concurrency and Petri nets. Many new ideas about modelling and analysis of concurrent systems and Petri nets in particular originated in theory of asynchronous digital circuits. Similarly the theory and practice of digital circuit design have always recognized Petri nets as a powerful and easy-to-understand modelling tool. The ever-growing demand in the electronic industry for design automation to build various types of computer-based systems creates many opportunities for Petri nets to establish their role of a formal backbone in future tools for constructing systems that are increasingly becoming distributed concurrent and asynchronous. Petri nets have already proved very effective in supporting algorithms for solving key problems in synthesis of hardware control circuits. However since the front end to any realistic design flow in the future is likely to rely on more pragmatic Hardware Description Languages (HDLs) such as VHDL and Verilog it is crucial that Petri nets are well interfaced to such languages. Hardware Design and Petri Nets is divided into five parts which cover aspects of behavioral modelling analysis and verification synthesis from Petri nets and STGs design environments based on high-level Petri nets and HDLs and finally performance analysis using Petri nets. Hardware Design and Petri Nets serves as an excellent reference source and may be used as a text for advanced courses on the subject.

Preis: 160.49 € | Versand*: 0.00 €
Understanding Petri Nets - Wolfgang Reisig  Kartoniert (TB)
Understanding Petri Nets - Wolfgang Reisig Kartoniert (TB)

This book offers a clear thorough introduction to Petri nets. The explanations are supported throughout with fully integrated graphical illustrations with only the analysis and verification presented in a formal manner.

Preis: 53.49 € | Versand*: 0.00 €
Graph Transformation  Specifications  And Nets  Kartoniert (TB)
Graph Transformation Specifications And Nets Kartoniert (TB)

This volume pays tribute to the scientific achievements of Hartmut Ehrig who passed away in March 2016. The contributions represent a selection from a symposium held in October 2016 at TU Berlin commemorating Hartmut' s life and work as well as other invited papers in the areas he was active in. These areas include Graph Transformation Model Transformation Concurrency Theory in particular Petri Nets Algebraic Specification and Category Theory in Computer Science.

Preis: 53.49 € | Versand*: 0.00 €

* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann.