Coloured Petri Nets: Monographs in Theoretical Computer Science. An EATCS Series
Autor Kurt Jensenen Limba Engleză Paperback – 16 sep 2011
Din seria Monographs in Theoretical Computer Science. An EATCS Series
- 20%
Preț: 1122.58 lei - 20%
Preț: 649.21 lei - 20%
Preț: 652.86 lei - 20%
Preț: 774.71 lei - 20%
Preț: 955.62 lei - 20%
Preț: 317.05 lei - 20%
Preț: 621.01 lei - 20%
Preț: 448.90 lei - 20%
Preț: 1465.53 lei - 20%
Preț: 927.82 lei - 20%
Preț: 648.33 lei - 33%
Preț: 768.11 lei - 20%
Preț: 331.88 lei - 20%
Preț: 639.07 lei - 20%
Preț: 512.12 lei - 20%
Preț: 1130.95 lei - 20%
Preț: 1060.23 lei - 20%
Preț: 961.95 lei - 18%
Preț: 917.27 lei - 20%
Preț: 633.70 lei - 20%
Preț: 511.25 lei - 20%
Preț: 318.30 lei - 20%
Preț: 321.03 lei - 20%
Preț: 319.13 lei - 20%
Preț: 651.84 lei - 20%
Preț: 623.52 lei -
Preț: 393.22 lei - 20%
Preț: 630.01 lei - 20%
Preț: 625.75 lei - 20%
Preț: 330.07 lei - 20%
Preț: 653.70 lei - 20%
Preț: 312.92 lei - 20%
Preț: 328.86 lei
Preț: 648.12 lei
Preț vechi: 810.14 lei
-20%
Puncte Express: 972
Carte tipărită la comandă
Livrare economică 10-24 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783642645563
ISBN-10: 3642645569
Pagini: 284
Ilustrații: XI, 265 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer
Colecția Monographs in Theoretical Computer Science. An EATCS Series
Seria Monographs in Theoretical Computer Science. An EATCS Series
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642645569
Pagini: 284
Ilustrații: XI, 265 p.
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.44 kg
Ediția:Softcover reprint of the original 1st ed. 1997
Editura: Springer
Colecția Monographs in Theoretical Computer Science. An EATCS Series
Seria Monographs in Theoretical Computer Science. An EATCS Series
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
1 Security System.- 1.1 Introduction to Security System.- 1.2 CPN Model of Security System.- 1.3 Simulation of Security System.- 1.4 Occurrence Graph Analysis of Security System.- 1.5 Implementation of Security System.- 1.6 Conclusions for Security System Project.- 2 UPC Algorithms in ATM Networks.- 2.1 Introduction to UPC Algorithms.- 2.2 CPN Model of UPC Algorithms.- 2.3 CPN Model of Traffic Sources.- 2.4 Simulation of UPC Algorithms.- 2.5 Conclusions for UPC Algorithms Project.- 3 Audio/Video System.- 3.1 Introduction to Audio/Video System.- 3.2 CPN Model of Audio/Video System.- 3.3 Simulation of Audio/Video System.- 3.4 Occurrence Graph Analysis of Audio/Video System.- 3.5 Conclusions for Audio/Video Project.- 4 Transaction Processing and Interconnect Fabric.- 4.1 Introduction to Transaction Processing.- 4.2 CPN Model of Transaction Processing.- 4.3 Introduction to Interconnect Fabric.- 4.4 CPN Model of Interconnect Fabric.- 4.5 Conclusions for Transactions and Interconnect Project.- 5 Mutual Exclusion Algorithm.- 5.1 Introduction to Mutual Exclusion Algorithm.- 5.2 CPN Model of Mutual Exclusion Algorithm.- 5.3 Occurrence Graph Analysis of Mutual Exclusion Algorithm.- 5.4 Conclusions for Mutual Exclusion Algorithm Project.- 6 ISDN Supplementary Services.- 6.1 Introduction to ISDN Supplementary Services.- 6.2 CPN Model of ISDN Supplementary Services.- 6.3 Validation of ISDN Supplementary Services.- 6.4 Conclusions for ISDN Supplementary Services Project.- 7 Intelligent Network.- 7.1 Introduction to Intelligent Network.- 7.2 CPN Model of Intelligent Network.- 7.3 Conclusions for Intelligent Network Project.- 8 Communications Gateway.- 8.1 Introduction to Communications Gateway.- 8.2 CPN Model of Communications Gateway.- 8.3 Conclusions for Communications Gateway Project.- 9 BRI Protocol in ISDN Networks.- 9.1 Introduction to BRI Protocol.- 9.2 CPN Model of BRI Protocol.- 9.3 Conclusions for BRI Protocol Project.- 10 VLSI Chip.- 10.1 Introduction to VLSI Chip.- 10.2 CPN Model of VLSI Chip.- 10.3 Conclusions for VLSI Chip Project.- 11 Arbiter Cascade.- 11.1 Introduction to Arbiter Cascade.- 11.2 CPN Model of Arbiter Cascade.- 11.3 Conclusions for Arbiter Cascade Project.- 12 Document Storage System.- 12.1 Introduction to Document Storage System.- 12.2 CPN Model of Document Storage System.- 12.3 Simulation of Document Storage System.- 12.4 Conclusions for Document Storage Project.- 13 Distributed Program Execution.- 13.1 Introduction to Distributed Program Execution.- 13.2 CPN Model of Distributed Program Execution.- 13.3 Verification of Distributed Program Execution.- 13.4 Conclusions for Distributed Program Execution Project.- 14 Electronic Funds Transfer System.- 14.1 Introduction to SADT.- 14.2 Introduction to Electronic Funds Transfer System.- 14.3 CPN Model of Electronic Funds Transfer System.- 14.4 Conclusions for Electronic Funds Transfer Project.- 15 Bank Courier Network.- 15.1 Introduction to Bank Courier Network.- 15.2 CPN Model of Bank Courier Network.- 15.3 Conclusions for Bank Courier Network Project.- 16 Network Management System.- 16.1 Introduction to Network Management System.- 16.2 CPN Model of Network Management System.- 16.3 Validation of Network Management System.- 16.4 Conclusions for Network Management Project.- 17 Naval Vessel.- 17.1 Introduction to Naval Vessel.- 17.2 CPN Model of Naval Vessel.- 17.3 Simulation of Naval Vessel.- 17.4 Conclusions for Naval Vessel Project.- 18 Chemical Production System.- 18.1 Introduction to Chemical Production System.- 18.2 CPN Model of Chemical Production System.- 18.3 Validation of Chemical Production System.- 18.4 Conclusions for Chemical Production Project.- 19 Nuclear Waste Management Programme.- 19.1 Introduction to Nuclear Waste Management Programme.- 19.2 CPN Model of Nuclear Waste Management Programme.- 19.3 Simulation of Nuclear Waste Management Programme.- 19.4 Conclusions for Nuclear Waste Management Project.- References.