Wyniki wyszukiwania:
wyszukanych pozycji: 238
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9781461287018 / Angielski / Miękka / 2012 / 512 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con- sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing...
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ...
|
cena:
459,42 |
 |
Temporal Verification of Reactive Systems: Safety
ISBN: 9780387944593 / Angielski / Twarda / 1995 / 512 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to computing some final value on termination. The family of reactive systems includes many classes of programs whose correct and reliable construction is con sidered to be particularly challenging, including concurrent programs, embedded and process control programs, and operating systems. Typical examples of such systems are an air traffic control system, programs controlling mechanical devices such as a train, or perpetually ongoing...
This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as ...
|
cena:
417,65 |
 |
Enemies of The Cross: Subtitle: The World At War Against Truth
ISBN: 9798231978533 / Angielski / Miękka / 2025 / 496 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
228,10 |
 |
School's In: Federalism and the National Education Agenda
ISBN: 9781589010901 / Angielski / Miękka / 2006 / 222 str. Termin realizacji zamówienia: ok. 30 dni roboczych. For most of the history of the United States, citizens and elected officials alike considered elementary and secondary education to be the quintessential state and local function. Only in the past four decades, from Lyndon B. Johnson's signing of the landmark Elementary and Secondary Education Act of 1965 to George W. Bush's ambitious but controversial "No Child Left Behind" initiative, has Washington's influence over America's schools increased significantly. Today, many Americans have become more convinced that the U.S. government and the states should play an increasingly important role... For most of the history of the United States, citizens and elected officials alike considered elementary and secondary education to be the quintess... |
cena:
142,75 |
 |
Quid Pro Quo
ISBN: 9781934081099 / Angielski / Miękka / 2008 / 264 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. No Good Deed Goes Unpunished. When he agrees to do a favor for his old friend Liz Carey in Corporate Fraud, Para-investigator Val Toreth is hoping for a simple case. After all, kidnapping and dismemberment are all in a day's work for the Investigation and Interrogation Division. But in the European Administration, simplicity is often a dangerous illusion, and anyone who goes looking for trouble in the corporate world is certain to find more than they bargained for. Fraud, sabotage, espionage, blackmail, decades-long vendettas, and murder--the more powerful the corporations, the darker their...
No Good Deed Goes Unpunished. When he agrees to do a favor for his old friend Liz Carey in Corporate Fraud, Para-investigator Val Toreth is hoping for...
|
cena:
77,00 |
 |
Mathematical Modelling and Scientific Computing with Applications: Icmmsc 2018, Indore, India, July 19-21
ISBN: 9789811513374 / Angielski / Twarda / 2020 / 448 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
417,65 |
 |
Nakba and Survival: The Story of Palestinians Who Remained in Haifa and the Galilee, 1948-1956
ISBN: 9780520389366 / Angielski / Miękka / 2022 / 386 str. Termin realizacji zamówienia: ok. 8-10 dni roboczych. |
cena:
156,64 |
 |
Control
ISBN: 9781934081112 / Angielski / Miękka / 2009 / 220 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Power Writes Its Own Rules Gaining it, keeping it, or losing it, control is more than just a game--it's a critical tool for survival. No more so than in the Administration, where the Investigation and Interrogation Division's Val Toreth faces professional and personal hazards every day. And when an attack on one of the most loyal and valued members of his investigative team makes the professional very personal indeed, Toreth finds himself entangled once more in the darker side of corporate life and crime. He'll need help, not just from his colleagues but from his "regular fuck" Keir Warrick,...
Power Writes Its Own Rules Gaining it, keeping it, or losing it, control is more than just a game--it's a critical tool for survival. No more so than ...
|
cena:
77,00 |
 |
The Hawking temperature and Cosmology in the context of Dark energy
ISBN: 9786139899449 / Angielski / Miękka / 2018 / 104 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
254,79 |
 |
Education Governance for the Twenty-First Century: Overcoming the Structural Barriers to School Reform
ISBN: 9780815723943 / Angielski / Miękka / 2013 / 424 str. Termin realizacji zamówienia: ok. 30 dni roboczych. America's fragmented, decentralized, politicized, and bureaucratic system of education governance is a major impediment to school reform. In this important new book, a number of leading education scholars, analysts, and practitioners show that understanding the impact of specific policy changes in areas such as standards, testing, teachers, or school choice requires careful analysis of the broader governing arrangements that influence their content, implementation, and impact. "Education Governance for the Twenty-First Century" comprehensively assesses the strengths and weaknesses of... America's fragmented, decentralized, politicized, and bureaucratic system of education governance is a major impediment to school reform. In this i... |
cena:
163,70 |
 |
Make Dating Your Health: The Blood, the Cells, and the Oxygen
ISBN: 9798230915164 / Angielski / Miękka / 2025 / 110 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
136,84 |
 |
Aufgaben und beruflicher Alltag der Schulleitung Lugano : Eine Gegenüberstellung von gesetzlichen Vorgaben und Ausführung der direttori und ispettori
ISBN: 9783330502390 / Niemiecki / Miękka / 2017 / 224 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
324,41 |
 |
Power Chairs And Electric Mobility Scooters
ISBN: 9781460976869 / Angielski / Miękka / 2011 / 102 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. People, who have progressive conditions that challenge their ability to walk, appreciate and benefit from the aid and convenience of a mobility scooter or power chair. Users have difficulty with slopes and long distances, that's when an electric scooter or power chair benefits them the most. This book aims to help inform people who by some misfortune find themselves in need of a Mobility Devise, be it a wheel chair or a Mobility scooter. It endeavours to give as many details as possible. There are a great number of Mobility Devises. This book outlines the benefits of electric scooters and...
People, who have progressive conditions that challenge their ability to walk, appreciate and benefit from the aid and convenience of a mobility scoote...
|
cena:
34,01 |
 |
40 Weeks Bible Study for Women: Experiencing God Really: Life-Changing Stories from Scripture for a Journey of Faith, Hope, Love.
ISBN: 9798349347115 / Angielski / Miękka / 2025 / 176 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
77,52 |
 |
Le disgrazie del Tran de Opcina
ISBN: 9788831908177 / Włoski / Miękka / 2019 / 180 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
54,62 |
 |
A Friend of The World: A Misnomer: The Illusion of Belonging
ISBN: 9798231894376 / Angielski / Miękka / 2025 / 258 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
182,47 |
 |
Impact of Biozyme in Chilli
ISBN: 9783659675539 / Angielski / Miękka / 2017 / 76 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. |
cena:
166,61 |
 |
Visual Education
ISBN: 9783639362497 / Angielski / Miękka / 2011 / 152 str. Termin realizacji zamówienia: ok. 10-14 dni roboczych. Sight as sensory perception and cognitive seeing are not the same. The central concern of this book is the degree to which such a distinction is made in mainstream education. In our IT driven culture, it is a commonplace to rely on visual aids in teaching, yet the nature of visual learning is little understood and deeply controversial. Educational psychologists agree that seeing is a powerful vehicle for learning, but offer little theory on its development or use. In educational policy, seeing is regarded chiefly as a natural function that merely helps to gain and maintain the...
Sight as sensory perception and cognitive seeing are not the same. The central concern of this book is the degree to which such a distinction is ma...
|
cena:
273,82 |
 |
Mathematical Theory of Computation
ISBN: 9780486432380 / Angielski / Miękka / 2003 / 464 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects of the process. A classic of sequential program verification, this volume has been translated into almost a dozen other languages and is much in demand among graduate and advanced undergraduate computer science students.
Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus (basic notions, natural deduction, and the resolution method); verification of programs (both flowchart and... With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical as...
|
cena:
101,65 |
 |
Occhi sul mondo
ISBN: 9798254047407 / Włoski / Miękka / 2026 / 248 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
111,22 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
