Volltextsuche nutzen
- versandkostenfrei ab € 30,–
- 11x in Wien, NÖ und Salzburg
- 6 Mio. Bücher
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings
Veröffentlicht 2018
von Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl bei Springer International Publishing
ISBN: 978-3-319-91270-7
Methods, Models and Tools for Fault Tolerance
Veröffentlicht 2009
von Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna bei Springer Berlin Heidelberg
ISBN: 978-3-642-00867-2
British General Election of 1970
Veröffentlicht 1971
von David Butler, Michael Pinto-Duschinsky bei Palgrave Macmillan UK
ISBN: 978-1-349-01095-0
Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education
Veröffentlicht 2022
von Helen Borland, Michael Butler, Caroline Elliott, Nathalie Ormrod bei Edward Elgar Publishing
ISBN: 978-1-80088-600-1
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
Veröffentlicht 2008
von Paul Boca, Egon Borger, Jonathan P. Bowen, Michael Butler bei Springer Berlin Heidelberg
ISBN: 978-3-540-87603-8
Beyond Integration
The Black Freedom Struggle in Escambia County, Florida, 1960-1980
Beyond Integration
The Black Freedom Struggle in Escambia County, Florida, 1960-1980
Veröffentlicht 2016
von J. Michael Butler bei The University of North Carolina Press
ISBN: 9798890849472
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Integrated Formal Methods
Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.
Veröffentlicht 2003
von Michael Butler, Luigia Petre, Kaisa Sere bei Springer Berlin Heidelberg
ISBN: 978-3-540-47884-3
Adaptive Asset Allocation
Dynamic Global Portfolios to Profit in Good Times - and Bad
Adaptive Asset Allocation
Dynamic Global Portfolios to Profit in Good Times - and Bad
Veröffentlicht 2016
von Adam Butler, Michael Philbrick, Rodrigo Gordillo bei John Wiley & Sons
ISBN: 978-1-119-22039-8
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
FM 2011: Formal Methods
17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings
Veröffentlicht 2011
von Michael Butler, Wolfram Schulte bei Springer Berlin Heidelberg
ISBN: 978-3-642-21437-0
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
Veröffentlicht 2016
von Miklos Biro, Michael Butler, Atif Mashkoor, Klaus-Dieter Schewe bei Springer International Publishing
ISBN: 978-3-319-33600-8
Rigorous Development of Complex Fault-Tolerant Systems
Veröffentlicht 2006
von Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna bei Springer Berlin Heidelberg
ISBN: 978-3-540-48267-3
Theoretical Cybersecurity
Principles and Advanced Concepts
Theoretical Cybersecurity
Principles and Advanced Concepts
Veröffentlicht 2022
von Jacob G. Oakley, Michael Butler, Wayne York, Matthew Puckett, J. Louis Sewell bei Apress
ISBN: 978-1-4842-8300-4
Earthly Engagements
Reading Sartre after the Holocene
Earthly Engagements
Reading Sartre after the Holocene
Veröffentlicht 2023
von Matthew C. Ally, Damon Boria bei Lexington Books
ISBN: 978-1-79363-869-4
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
Veröffentlicht 2007
von Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie bei Springer Berlin Heidelberg
ISBN: 978-3-540-76650-6
Introduction to Organisational Behaviour
Veröffentlicht 2011
von Michael Butler, Ed Rose bei Kogan Page
ISBN: 978-1-84398-411-5
Animal Cell Culture and Technology
Veröffentlicht 2004
von Michael Butler bei Taylor and Francis
ISBN: 978-1-135-32538-1
Rigorous Development of Complex Fault-Tolerant Systems
Veröffentlicht 2006
von Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna bei Springer Berlin
ISBN: 978-3-540-48265-9
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Formal Methods and Software Engineering
17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings
Veröffentlicht 2015
von Michael Butler, Sylvain Conchon, Fatiha Zaïdi bei Springer International Publishing
ISBN: 978-3-319-25422-7
Theoretical Cybersecurity
Principles and Advanced Concepts
Theoretical Cybersecurity
Principles and Advanced Concepts
Veröffentlicht 2022
von Jacob G. Oakley, Michael Butler, Wayne York, Matthew Puckett, J. Louis Sewell bei APRESS
ISBN: 978-1-4842-8299-1
Methods, Models and Tools for Fault Tolerance
Veröffentlicht 2009
von Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna bei Springer Berlin
ISBN: 978-3-642-00866-5