Wyniki wyszukiwania:
wyszukanych pozycji: 83
 |
1040 Impact
ISBN: 9798330450015 / Angielski / Miękka / 2024 / 20 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
55,30 |
 |
Rodin User's Handbook: Covers Rodin v.2.8
ISBN: 9781495438141 / Angielski / Miękka / 2014 / 184 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels. The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extendible with plugins. This book provides a tutorial for new users and a reference about...
Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modeling notation, the use ...
|
cena:
97,78 |
| |
Psychological Peace: Mindful Approaches to Psychiatry
ISBN: 9798856490366 / Angielski / Miękka / 2023 / 46 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
59,83 |
 |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 5th International Conference, Abz 2016, Linz, Austria, May 23-27, 2016, Proceedings
ISBN: 9783319335995 / Angielski / Miękka / 2016 / 426 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016,... |
cena:
200,77 |
 |
Abstract State Machines, Alloy, B, Tla, VDM, and Z: 6th International Conference, Abz 2018, Southampton, Uk, June 5-8, 2018, Proceedings
ISBN: 9783319912707 / Angielski / Miękka / 2018 / 432 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, he...
|
cena:
200,77 |
 |
Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, Usa, November 14
ISBN: 9783540766483 / Angielski / Miękka / 2007 / 400 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007. The 19 revised full papers together with two invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. The papers are organized in topical sections. This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, F... |
cena:
200,77 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
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 (Dostawa w 2026 r.) |
cena:
56,90 |
 |
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. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
Single Dad's Survival Guide: For Re-Connecting with Your Kids & Moving on with Life After Divorce (The Single Parents' Survival Guide Book 1)
ISBN: 9780996148634 / Angielski / Miękka / 2016 / 80 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) The Single Dads Survival Guide for Re-Connecting with Your Kids and Moving on with Life After Divorce Are you a single dad? Recently or currently going through a divorce? The only thing worse than divorce is death and many times a divorce feels worse, especially when there are kids involved. This is a book of resources for the single dad. As a single dad of four sons I wrote this book to help the single dad not only survive but thrive and re-connect with their kids and move on with life after divorce. Life is filled with problems, this book is filled with solutions. I'm not a Psychologist,...
The Single Dads Survival Guide for Re-Connecting with Your Kids and Moving on with Life After Divorce Are you a single dad? Recently or currently goin...
|
cena:
37,82 |
 |
The Speaker's Edge
ISBN: 9781637920145 / Angielski / Twarda / 2021 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
64,50 |
 |
Single Dad's Survival Guide: For Re-Connecting With Kids and Moving on With Life After Divorce
ISBN: 9781947256811 / Angielski / Twarda / 2018 / 80 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
64,43 |
| |
1040 Impact Christmas Edition
ISBN: 9781637928103 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
15,09 |
 |
Once a Noble Endeavor
ISBN: 9781532725784 / Angielski / Miękka / 2016 / 178 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
47,89 |
 |
Methods, Models and Tools for Fault Tolerance
ISBN: 9783642008665 / Angielski / Miękka / 2009 / 343 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
200,77 |
 |
Avenging al Mohammed
ISBN: 9781530127368 / Angielski / Miękka / 2015 / 176 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) 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:
47,89 |
 |
It's Complicated
ISBN: 9781637920411 / Angielski / Twarda / 2021 / 108 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
64,43 |
 |
Cell Culture and Upstream Processing
ISBN: 9780415399692 / Angielski / Miękka / 2007 / 204 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Dostawa w 2026 r.) 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:
533,26 |
 |
The Immigrant Men: Global Men Making an Impact in the United States and Beyond
ISBN: 9781637927069 / Angielski Termin realizacji zamówienia: ok. 16-18 dni roboczych (Dostawa w 2026 r.) |
cena:
75,98 |
 |
Introduction to Organisational Behaviour
ISBN: 9781843982470 / Angielski / Miękka / 2011 / 536 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Dostawa w 2026 r.) Ideal for anyone studying an introductory module in organisational behaviour, Introduction to Organisational Behaviour is a rigorous critique of all essential organisational behaviour topics. A comprehensive book with extensive accompanying online resources makes this a must-have package for anyone wanting to understand the theory and practice of organisational behaviour. Practitioner case studies, supporting video interviews where solutions and approaches are discussed, review questions at the end of every chapter make this an essential resource. Covering... Ideal for anyone studying an introductory module in organisational behaviour, Introduction to Organisational Behaviour is a rigorous ... |
cena:
265,30 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
