Wyniki wyszukiwania:
wyszukanych pozycji: 9
 |
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:
390,87 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 (Dostawa przed świętami) 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:
220,33 zł |
 |
Priority Queue Model
ISBN: 9786207450077 / Angielski / Miękka / 60 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. This book is an attempt to analyze the bi-serial queue network models with Priority discipline. The proposed Queuing Models have been analyzed in Stochastic Environment. The Chapman- Kolmogorov equations (CKE) are used to define the joint probability distributions with associated probabilities and satisfied all required conditions for the existence of time - independent solutions in stochastic process. The present study is useful to reduce congestions and idle period of service systems. The applicability of the study finds in banking sectors, medical, registrations and administrations and...
This book is an attempt to analyze the bi-serial queue network models with Priority discipline. The proposed Queuing Models have been analyzed in Stoc...
|
cena:
201,89 zł |
| |
Modello di coda di priorità
ISBN: 9786207023226 / Włoski / Miękka / 2024 / 56 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
201,89 zł |
 |
Grossing Techniques in Oral and Maxillofacial Pathology
ISBN: 9783659106323 / Angielski / Miękka / 2012 / 68 str. Termin realizacji zamówienia: ok. 10-14 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:
225,35 zł |
| |
Bi-Tandem Priority Queue System
ISBN: 9789999313438 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych (Dostawa przed świętami) |
cena:
185,64 zł |
| |
Mod?le de file d'attente prioritaire
ISBN: 9786207023158 / Francuski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
201,89 zł |
| |
Priorit?ts-Warteschlangen-Modell
ISBN: 9786207023134 / Niemiecki Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
201,89 zł |
 |
Modelo de fila de espera priorit?ria
ISBN: 9786207023233 / Portugalski Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
201,89 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
