Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Condition: New.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Seller: Anybook.com, Lincoln, United Kingdom
Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,800grams, ISBN:9783540613633.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Paperback. Condition: New.
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 50.80
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Language: English
Published by Oxford University Press, New York, New York / Oxford, England, 2000
ISBN 10: 0198662440 ISBN 13: 9780198662440
Seller: Andover Books and Antiquities, Andover, MA, U.S.A.
Hardcover. Dust Jacket Condition: Very good. Sixth Edition. viii, 1172 pp. Very good condition; name of previous owner on inside of front cover.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 272.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 296.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: As New. Unread book in perfect condition.
Language: English
Published by Springer-Verlag New York Inc, 2009
ISBN 10: 3540892869 ISBN 13: 9783540892861
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 251 pages. 9.00x6.00x0.50 inches. In Stock.
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642048544 ISBN 13: 9783642048548
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 1st edition. 274 pages. 9.25x6.00x0.75 inches. In Stock.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two stage refereeing process. ToPNoC contains: Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences; special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series); other papers invited for publication in ToPNoC; papers submitted directly to ToPNoC by their authors.This is the first volume of ToPNoC. It contains revised and extended versions of a selection of the best papers from the workshops held at the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, which took place in Siedlce, Poland, June 25-29, 2007. The material has been selected and evaluated by the two Workshop and Tutorial Chairs, Wil van der Aalst and Jonathan Billington, in close cooperation with the chairs of the individual workshops. The 13 papers in this volume cover a wide range of concurrency-related topics, including: teaching concurrency; process languages; process mining; software engineering; state space visualization techniques; timed Petri nets; unfolding techniques and hardware systems. Thus, this volume gives a good overview of the state of the art in concurrency research.
Taschenbuch. Condition: Neu. Transactions on Petri Nets and Other Models of Concurrency III | Kurt Jensen | Taschenbuch | xvii | Englisch | 2009 | Springer | EAN 9783642048548 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Application of Petri Nets to Communication Networks | Advances in Petri Nets | Jonathan Billington (u. a.) | Taschenbuch | x | Englisch | 1999 | Springer | EAN 9783540658702 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - AccordingtoHolzmann [14], protocol speci cationscomprise veelements: the service the protocol provides toits users; the set of messages that are exchanged between protocol entities; the format of each message; the rules governingm- sage exchange (procedures); and the assumptionsabout the environment in which the protocol is intended tooperate. In protocol standards documents, information related to the operatingenvironment isusually writteninformally andmayoccur in several di erentplaces [37]. This informal speci cation style canlead to misunderstandings andpossibly incompatible implementations. In contrast,executableformalmodelsrequireprecisespeci cations oftheoperating environment. Ofparticularsigni canceisthecommunicationmediumorchannel over which the protocol operates. Channelscan havedi erent characteristics depending on the physical media (e. g. optical bre, copper, cable orunguided media (radio)) they employ. The characteristics also depend on the levelof the protocol inacomputer protocol architecture. Forexample, the link-leveloperates over a singlemedium,whereas the network, transport andapplication levelsmayoperate over a network,or network of networks such as the Internet,which couldemploy several di erent physical media. Channels (such as satellite links) can be noisy resulting in bit errors in packets. To correct biterrors in packets, many importantprotocols (such the Internet s TransmissionControl Protocol [27]) use CyclicRedundancy Checks (CRCs)[28] to detect errors. On detectingan error,the receiver discards the packet andrelies on the sender to retransmit itforrecovery,known as Au- maticRepeatreQuest(ARQ)[28]. Thisisachievedbythereceiveracknowledging the receipt of good packets, andby the transmitter maintainingatimer. When the timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Petri nets offer a mathematically defined technique for the specification, design, analysis, verification and performance evaluation of concurrent distributed systems. They offer not only precise semantics and a theoretical foundation, but also a graphical form that facilitates the understanding of both information and control flow within the same formalism. As an intuitively appealing graphical form of presentation, Petri nets are the model of choice in various applications.Communications networks, ranging from traditional telecommunication systems to advanced Internet-based information services, are inherently distributed and comprise systems with concurrently operating components. This volume presents a selection of the latest advances in the use of Petri nets for the modeling, analysis and management of communication networks and systems in the broadest sense of these terms.
Taschenbuch. Condition: Neu. Transactions on Petri Nets and Other Models of Concurrency I | Wil M. P. van der Aalst (u. a.) | Taschenbuch | xviii | Englisch | 2008 | Springer | EAN 9783540892861 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 296 | Sprache: Englisch | Produktart: Bücher | timer expires before an acknowledgementhasbeen received, the transmitter retransmits packets that havebeen sent but are as yet notacknowledged. It may also be possibleforpacketsto be lost due to routers in networks discarding packets when congested.