wyszukanych pozycji: 155
![]() |
Funcao dos Oligoelementos
ISBN: 9786205986325 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
222,97 zł |
![]() |
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
ISBN: 9783540401179 / Angielski / Miękka / 2003 / 241 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, OR, USA in May 2003 as an ICSE 2003 satellite workshop. The 14 revised full papers and 3 revised tool papers presented were carefully reviewed and selected from 30 submissions. The book presents state-of-the-art results on the analysis and verification of distributed software systems using the SPIN model checker as one of the most powerful and widely applied systems. This book constitutes the refereed proceedings of the 10th International SPIN workshop on Model Checking of Software, SPIN 2003, held in Portland, ... |
cena:
191,85 zł |
![]() |
Ruolo degli Oligoelementi
ISBN: 9786205986318 / Włoski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
222,97 zł |
![]() |
Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2
ISBN: 9783031308222 / Angielski Termin realizacji zamówienia: ok. 20 dni roboczych. This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper...
This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Sy...
|
cena:
153,47 zł |
![]() |
Rolle der Spurenelemente
ISBN: 9786205986288 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
222,97 zł |
![]() |
Managing Armed Conflicts in the 21st Century
ISBN: 9780714650944 / Angielski / Twarda / 2001 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Draws on lessons from conflicts of the 1990s to suggest new approaches and tools for conflict management in the next millennium. * Produced in conjunction with the International Peace Academy in New York. * Topics covered include profit-seeking security firms, conflict as cooperation, the place of civilians in conflict, changes in UN peacekeeping, and peace enforcement as a crisis management tool.
Draws on lessons from conflicts of the 1990s to suggest new approaches and tools for conflict management in the next millennium. * Produced in conjunc...
|
cena:
890,27 zł |
![]() |
Managing Armed Conflicts in the 21st Century
ISBN: 9780714681368 / Angielski / Miękka / 2001 / 242 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This volume focuses largely on the conflicts of the 1990s and future projects, examining multifacteted issues involved in conflict management, suggesting new approaches and tools for future conflict management.
This volume focuses largely on the conflicts of the 1990s and future projects, examining multifacteted issues involved in conflict management, suggest...
|
cena:
244,14 zł |
![]() |
Product Modelling for Computer Integrated Design and Manufacture
ISBN: 9780412809804 / Angielski / Twarda / 1997 / 442 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This state-of-the-art text explores developments in geometric modeling, product modeling and their applications. In particular, it looks at the means by which product geometry emerges from the conceptual stages of design, and the use of geometric reasoning for applications downstream of design, including manufacture ands assembly. Much existing design research is either totally geometry based or totally non-geometric, and the interface between the two areas is of intense interest to industry, as well as being crucial for the successful development of integrated systems for design and...
This state-of-the-art text explores developments in geometric modeling, product modeling and their applications. In particular, it looks at the means ...
|
cena:
575,62 zł |
![]() |
Manuel de technologie cosm?tique
ISBN: 9786207314829 / Francuski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |
![]() |
Détermination de la teneur en oligo-éléments
ISBN: 9786203251036 / Francuski / Miękka / 2021 / 76 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
200,16 zł |
![]() |
George W. Bush. Some Missions Accomplished
ISBN: 9781517507695 / Angielski / Miękka / 2015 / 136 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. As president of the USA, George W. Bush undertook some significant 'Missions'. These included capturing Osama Bin Laden; completing the unfinished business of dealing with Saddam Hussein in Iraq after the First Gulf War left him still in power; building on the concept of a 'New World Order' initiated by his father during his Presidency, the aim of which was, and still remains nebulous to many and lastly, to achieve policy successes at home and abroad that would define his legacy for posterity. During his presidency, the author had many occasions to render freelance editorial cartoons for...
As president of the USA, George W. Bush undertook some significant 'Missions'. These included capturing Osama Bin Laden; completing the unfinished bus...
|
cena:
26,69 zł |
![]() |
Livro de m?o da tecnologia cosm?tica
ISBN: 9786207314843 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |
![]() |
Oznaczanie zawartości pierwiastków śladowych
ISBN: 9786203251074 / Polski / Miękka / 2021 / 76 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
200,16 zł |
![]() |
Medicamentos ? base de plantas
ISBN: 9786207286898 / Portugalski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |
![]() |
Handbuch der kosmetischen Technologie
ISBN: 9786207314805 / Niemiecki Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |
![]() |
Manuale di tecnologia cosmetica
ISBN: 9786207314836 / Włoski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |
![]() |
Determinazione del contenuto di elementi in tracce
ISBN: 9786203251050 / Włoski / Miękka / 2021 / 76 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
200,16 zł |
![]() |
M?decine par les plantes
ISBN: 9786207286881 / Francuski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |
![]() |
Hand Book of Cosmetic Technology
ISBN: 9786207457847 / Angielski Termin realizacji zamówienia: ok. 13-18 dni roboczych. |
cena:
264,78 zł |