000 | 02865nam a22005895i 4500 | ||
---|---|---|---|
001 | 978-3-642-31131-4 | ||
003 | DE-He213 | ||
005 | 20240730191500.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 |
_aUYA _2bicssc |
|
072 | 7 |
_aCOM014000 _2bisacsh |
|
072 | 7 |
_aUYA _2thema |
|
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. |
250 | _a1st ed. 2012. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aXI, 419 p. 139 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _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. _99832 |
|
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer science _xMathematics. _93866 |
|
650 | 0 |
_aMathematical statistics. _99597 |
|
650 | 0 |
_aArtificial intelligence _xData processing. _921787 |
|
650 | 1 | 4 |
_aTheory of Computation. _9146246 |
650 | 2 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aProbability and Statistics in Computer Science. _931857 |
650 | 2 | 4 |
_aData Science. _934092 |
700 | 1 |
_aHaddad, Serge. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9146247 |
|
700 | 1 |
_aPomello, Lucia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9146248 |
|
710 | 2 |
_aSpringerLink (Online service) _9146249 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642311307 |
776 | 0 | 8 |
_iPrinted edition: _z9783642311321 |
830 | 0 |
_aTheoretical Computer Science and General Issues, _x2512-2029 ; _v7347 _9146250 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-31131-4 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c93760 _d93760 |