topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 13
 |
Concur 2012- Concurrency Theory: 23rd International Conference, Concur 2012, Newcastle Upon Tyne, September 4-7, 2012. Proceedings
ISBN: 9783642329395 / Angielski / Miękka / 2012 / 582 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential...
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle u...
|
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency IX
ISBN: 9783662457290 / Angielski / Miękka / 2014 / 179 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool supp...
|
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XI
ISBN: 9783662534007 / Angielski / Miękka / 2016 / 319 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC. The 16 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis; foundational work on specific classes of Petri nets; and innovative applications of... The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Con... |
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency X
ISBN: 9783662486498 / Angielski / Miękka / 2015 / 177 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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... These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool supp...
|
cena:
191,40 zł |
 |
Applications and Theory of Petri Nets 2001: 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
ISBN: 9783540422525 / Angielski / Miękka / 2001 / 408 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 100{150 participants { one third of these coming from industry while the rest are from universities and research institutions. The conferences always take place in the last week of June. This year the conference was organized jointly with the 2nd International Conference on Application of Concurrency to System Design...
This volume contains the proceedings of the 22nd International Conference on Application and Theory of Petri Nets. The aim of the Petri net conference...
|
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency VIII
ISBN: 9783642404641 / Angielski / Miękka / 2013 / 203 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business...
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Confere...
|
cena:
191,40 zł |
 |
Petri Net Algebra
ISBN: 9783642086779 / Angielski / Miękka / 2010 / 378 str. Termin realizacji zamówienia: ok. 20 dni roboczych. In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the way people conduct their business. Moreover, it has become apparent that among the great variety of computer technologies available to potential users a crucial role will be played by concurrent systems. The reason is that many commonly occurring phenomena and computer applications are highly con current: typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems. Such systems are...
In modern society services and support provided by computer-based systems have become ubiquitous and indeed have started to fund amentally alter the w...
|
cena:
574,29 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XII
ISBN: 9783662558614 / Angielski / Miękka / 2017 / 217 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016.
The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Confer...
|
cena:
253,00 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency IV
ISBN: 9783642182211 / Angielski / Miękka / 2011 / 225 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool supp...
|
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XV
ISBN: 9783662630785 / Angielski / Miękka / 2021 / 185 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XIV
ISBN: 9783662606506 / Angielski / Miękka / 2019 / 255 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency XIII
ISBN: 9783662583807 / Angielski / Miękka / 2018 / 211 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
191,40 zł |
 |
Transactions on Petri Nets and Other Models of Concurrency VII
ISBN: 9783642381423 / Angielski / Miękka / 2013 / 423 str. Termin realizacji zamówienia: ok. 20 dni roboczych. 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...
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool supp...
|
cena:
191,40 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
