wyszukanych pozycji: 7
Computer Aided Verification: 20th International Conference, Cav 2008 Princeton, Nj, Usa, July 7-14, 2008, Proceedings
ISBN: 9783540705437 / Angielski / Miękka / 2008 / 558 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, USA, in July 2008. The 33 revised full papers presented together with 14 tool papers and 2 invited papers and 4 invited tutorials were carefully reviewed and selected from 104 regular paper and 27 tool paper submissions. The papers are organized in topical sections on concurrency, memory consistency, abstraction/refinement, hybrid systems, dynamic verification, modeling and specification formalisms, decision procedures, program verification,...
This book constitutes the refereed proceedings of the 20th International Conference on Computer Aided Verification, CAV 2008, held in Princeton, NJ, U...
|
|
cena:
389,09 zł |
Transparency in Global Environmental Governance: Critical Perspectives
ISBN: 9780262526180 / Angielski / Miękka / 2014 / 368 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Transparency -- openness, secured through greater availability of information -- is increasingly seen as part of the solution to a complex array of economic, political, and ethical problems in an interconnected world. The "transparency turn" in global environmental governance in particular is seen in a range of international agreements, voluntary disclosure initiatives, and public-private partnerships. This is the first book to investigate whether transparency in global environmental governance is in fact a broadly transformative force or plays a more limited, instrumental... Transparency -- openness, secured through greater availability of information -- is increasingly seen as part of the solution to a complex array of... |
|
cena:
217,25 zł |
Grossing Techniques in Oral and Maxillofacial Pathology
ISBN: 9783659106323 / Angielski / Miękka / 2012 / 68 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. Gross pathology refers to the macroscopic manifestations of disease in organs, tissues, and body cavities. Grossing is a very important step in surgical pathology and inadequate sampling of the gross specimen can lead to misinterpretation of the slides. For oral and maxillofacial specimens, a careful gross examination and description are infinitely superior to the examination of a random microscopic section. This book provides a highly visual step by step guide to grossing procedure like inital handling of the specimen, from where to take sections, how to do reporting etc. Contains high...
Gross pathology refers to the macroscopic manifestations of disease in organs, tissues, and body cavities. Grossing is a very important step in surgic...
|
|
cena:
255,16 zł |
Bi-Tandem Priority Queue System
ISBN: 9789999313438 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
182,96 zł |
Mod?le de file d'attente prioritaire
ISBN: 9786207023158 / Francuski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
274,83 zł |
Priorit?ts-Warteschlangen-Modell
ISBN: 9786207023134 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
274,83 zł |
Modelo de fila de espera priorit?ria
ISBN: 9786207023233 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
|
cena:
274,83 zł |