| 000 | 02425nam a22005295i 4500 | ||
|---|---|---|---|
| 001 | 978-3-642-31131-4 | ||
| 003 | DE-He213 | ||
| 005 | 20160624102213.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 120605s2012 gw | s |||| 0|eng d | ||
| 020 |
_a9783642311314 _9978-3-642-31131-4 |
||
| 024 | 7 |
_a10.1007/978-3-642-31131-4 _2doi |
|
| 050 | 4 | _aQA75.5-76.95 | |
| 072 | 7 |
_aUYZG _2bicssc |
|
| 072 | 7 |
_aCOM037000 _2bisacsh |
|
| 082 | 0 | 4 |
_a004.0151 _223 |
| 245 | 1 | 0 |
_aApplication and Theory of Petri Nets _h[electronic resource] : _b33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings / _cedited by Serge Haddad, Lucia Pomello. |
| 260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c2012. |
|
| 300 |
_aXI, 419p. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 347 |
_atext file _bPDF _2rda |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7347 |
|
| 520 | _aThis book constitutes the refereed proceedings of the 33rd International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2012, held in Hamburg, Germany, in June 2012. The 18 regular papers and 3 tool papers presented were carefully reviewed and selected from 55 submissions. The book also contains 2 invited talks. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed. | ||
| 650 | 0 | _aComputer science. | |
| 650 | 0 | _aSoftware engineering. | |
| 650 | 0 | _aData structures (Computer science). | |
| 650 | 0 | _aLogic design. | |
| 650 | 1 | 4 | _aComputer Science. |
| 650 | 2 | 4 | _aComputation by Abstract Devices. |
| 650 | 2 | 4 | _aSoftware Engineering. |
| 650 | 2 | 4 | _aLogics and Meanings of Programs. |
| 650 | 2 | 4 | _aProbability and Statistics in Computer Science. |
| 650 | 2 | 4 | _aData Structures. |
| 700 | 1 |
_aHaddad, Serge. _eeditor. |
|
| 700 | 1 |
_aPomello, Lucia. _eeditor. |
|
| 710 | 2 | _aSpringerLink (Online service) | |
| 773 | 0 | _tSpringer eBooks | |
| 776 | 0 | 8 |
_iPrinted edition: _z9783642311307 |
| 786 | _dSpringer | ||
| 830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v7347 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-642-31131-4 |
| 942 |
_2EBK10285 _cEBK |
||
| 999 |
_c39579 _d39579 |
||