Wyniki wyszukiwania:
wyszukanych pozycji: 93
 |
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
ISBN: 9783642214363 / Angielski / Miękka / 2011 / 450 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking. This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011...
|
cena:
207,39 |
 |
Avenging al Mohammed
ISBN: 9781530127368 / Angielski / Miękka / 2015 / 176 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Avenging al Mohammed is another tale in a series of novels involving FBI intelligence analyst and retired cop, Nicholas J. Brennan. Once again Brennan is assisted by his beautiful, sexy and smart wife, Professor Joann M. Brennan and his old Army boss John Planner. This time the dangerous terrorist organization, the Abd-Allah Network, takes aim on the clever FBI intelligence officer. The AAN has issued a death warrant for Nick to gain revenge for the demise of Bhiren al Mohammed, killed in a gunfight with Brennan in the shadow of the Statue of Liberty in New York a year earlier. When AAN agent...
Avenging al Mohammed is another tale in a series of novels involving FBI intelligence analyst and retired cop, Nicholas J. Brennan. Once again Brennan...
|
cena:
50,41 |
 |
Cell Culture and Upstream Processing
ISBN: 9780415399692 / Angielski / Miękka / 2007 / 204 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Upstream processing refers to the production of proteins by cells genetically engineered to contain the human gene which will express the protein of interest. The demand for large quantities of specific proteins is increasing the pressure to boost cell culture productivity, and optimizing bioreactor output has become a primary concern for most pharmaceutical companies. Each chapter in Cell Culture and Upstream Processing is taken from presentations at the highly acclaimed IBC conferences as well as meetings of the European Society for Animal Cell Technology (ESACT) and... Upstream processing refers to the production of proteins by cells genetically engineered to contain the human gene which will express the protein o... |
cena:
639,60 |
 |
The Immigrant Men
ISBN: 9781637927052 / Angielski / Twarda / 2024 / 106 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
87,97 |
 |
La Guía de Sobrevivencia del Padre Soltero
ISBN: 9781952884177 / Angielski / Miękka / 2020 / 106 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
59,89 |
 |
The Speaker's Edge
ISBN: 9781637920145 / Angielski / Twarda / 2021 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
67,89 |
 |
La Gu?a de Sobrevivencia del Padre Soltero
ISBN: 9781952884092 / Angielski / Miękka / 2020 / 106 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
59,89 |
 |
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, P
ISBN: 9783319254227 / Angielski / Miękka / 2015 / 436 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, ...
|
cena:
207,39 |
 |
Brian Tracy Quotes: Inspirational Quotes on Success, Discipline, Leadershp, Wealth, and Personal Growth
ISBN: 9798903480623 / Angielski / Miękka / 2026 / 110 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
83,72 |
 |
Methods, Models and Tools for Fault Tolerance
ISBN: 9783642008665 / Angielski / Miękka / 2009 / 343 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t-...
The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexi...
|
cena:
207,39 |
 |
Brian Tracy Quotes: Inspirational Quotes on Success, Discipline, Leadershp, Wealth, and Personal Growth
ISBN: 9798903481057 / Angielski / Twarda / 2026 / 110 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
96,57 |
 |
Once a Noble Endeavor
ISBN: 9781532725784 / Angielski / Miękka / 2016 / 178 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
50,41 |
 |
The Gauntlet: The Novelization
ISBN: 9781966037644 / Angielski / Miękka / 2026 / 262 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
79,97 |
|
Salute Mentale E Benessere Degli Adulti: Strategie Per Sviluppare La Resilienza Emotiva E Preservare l'Equilibrio
ISBN: 9798343588279 / Włoski / Miękka / 2024 / 204 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,54 |
 |
Problems of Childhood and Adolescence
ISBN: 9780333420713 / Angielski / Miękka / 1988 / 159 str. Termin realizacji zamówienia: ok. 30 dni roboczych. ...successfully achieves its stated aim of being an introductory text for students and newly-qualified social workers...a valuable addition to their bookshelves.' Judy Yielder, BAAF
...successfully achieves its stated aim of being an introductory text for students and newly-qualified social workers...a valuable addition to their b...
|
cena:
188,48 |
 |
Best Seller Status: Becoming a Best-Selling Author in the Digital Age
ISBN: 9781947256293 / Angielski / Miękka / 2018 / 82 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
58,12 |
 |
Religion, Love and Life
ISBN: 9781491871799 / Angielski / Miękka / 2014 / 84 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. To encourage those inside and outside the house of faith that there is a GOD and He loves all in whom He created, this book is a book that will open the eyes of the blind and enlighten those that see, lets just say words of encouragement.
To encourage those inside and outside the house of faith that there is a GOD and He loves all in whom He created, this book is a book that will open t...
|
cena:
66,41 |
 |
Finding the Speaker's Edge: Turning Your Part-Time Passion into Your Full-Time Professional Speaking Career on Stage and Online
ISBN: 9781637921722 / Angielski / Twarda / 2021 / 140 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
83,97 |
 |
Through the Eyes of a Lawman: The Cultural Tales of a Cop, Lawyer, and Intelligence Analyst
ISBN: 9781475934489 / Angielski / Miękka / 2012 / 310 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Sociologists and historians can examine and dissect our culture, but only a true eyewitness can offer the details on the ground. In Through the Eyes of a Lawman, author Michael J. Butler presents an insider's look at the people and organizations that have affected the US intelligence services; the modern way law and law enforcement operates and has evolved; the educational deficiencies of the system; and our collective loss of abstract and critical thinking. Through humorous and sober anecdotes, Through the Eyes of a Lawman addresses the issue of whether we have become a... Sociologists and historians can examine and dissect our culture, but only a true eyewitness can offer the details on the ground. In Through the Eye... |
cena:
87,81 |
 |
International Conflict Management
ISBN: 9780415772303 / Angielski / Miękka / 2009 / 304 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This new textbook provides students with an accessible overview of the logic, evolution, application and outcomes of the five major approaches of the growing field of international conflict management:
The book aims to provide the student with a fuller understanding of the strengths and weaknesses of these five techniques within the dynamic context of the contemporary security environment, especially in relation to... This new textbook provides students with an accessible overview of the logic, evolution, application and outcomes of the five major approaches of t... |
cena:
276,28 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
