Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
by Marco Bernardo- First published
- 2016
- Publishers
- Springer International Publishing AG
- Subjects
- Operating systems
Books
Bayesian Theory
Jose Bernardo
Risk Assessment
Marco Antonio Medrano Gonzales
This book covers risk assessment for onshore and offshore facilities, refinery units, pipelines, and petrochemical processing.
Risk Assessment
Marco Antonio Medrano Gonzales
This book covers risk assessment for onshore and offshore facilities, refinery units, pipelines, and petrochemical processing.
Untitled Bordelli 5 - Export/airside/Ireland
Marco Vichi
Football and the Law
Nick De Marco QC
Indian Perspectives on Consciousness, Language and Self
Marco Ferrante
This book examines the theory of consciousness developed by the school of recognition, an indian philosophical tradition that thrived around the tenth c.
My Favorite Sweets Coloring Book
Marco Eve
¿dónde Vas, Alfonso Dos?
Bernardo José Mora
Feldherr
Marco Mondini
Supersymmetric Beasts and Where to Find Them
Marco Valente
Thinking about Tears
Marco Menin
Animated Program Design
Marco T. Morazán
Hermetic Physician
Marco Daffi
Vecina de Al Lado
Diana Marco
Peter Blake
Marco Livingstone
Futures of the Western Balkans
Marco Zoppi
Elektrische und Magnetische Felder
Marco Leone
Allegro non Troppo
Marco Bellano
Violencia, Poder y Afectos
Marco Ramírez Rojas
Slow Narrative and Nonhuman Materialities
Marco Caracciolo
TinyML Cookbook
Gian Marco Iodice
Prevention in Mental Health
Marco Colizzi
Materiality of the Legal Order
Marco Goldoni
Evangelisch Für Dummies
Marco Kranjc
Somatic Embryogenesis
Marco Antonio Ramírez Mosqueda
Sociolegal Analysis of Formal Land Tenure Systems
Bernardo Ribeiro de Almeida
Peso Del Rancore
Marco Fornello
Balancing Act
Marco De La Cruz
Primo Levi
Marco Belpoliti
Distruggi Questo Diario
Ciro MARCO
Romanian Orthodoxy in Italy
Marco Guglielmi
Supplementary Protection Certificates (SPC)
Marco Stief
Walking on the Edge
Marco Previero
Metaverso
Alan Di Marco
Mio Io, la Mia Follia, il Mio Mondo
Marco Antonini
Making the Global Economy Work for Everyone
Marco Magnani
On Biopolitics
Marco Piasentier
Predestination
Marco Lemessi
Sociolegal Analysis of Formal Land Tenure Systems
Bernardo Ribeiro de Almeida
Standardising English Spelling
Marco Condorelli
Courthouse
Marco Lanna
ROMA
Marco Milani
The Self and Community in Star Trek
Susan M. Bernardo
Slow Narrative and Nonhuman Materialities
Marco Caracciolo
Azure Virtual Desktop Succinctly
Marco Moioli
Epitomic Writing in Late Antiquity and Beyond
Marco Formisano
Meditaciones
Marco Aurelio
Primitive
Marco Greenberg
A wall street journal bestseller "marco greenberg's primitive captures insights and advice that everyone can use to thrive in the constantly evolving workplace.
Red Lightning Ogn
Marco B. Bucci
Remigio le Roi de la ForÊt
Marco DI RUSSO
Secondo Big Bang
marco ghiotto
Club of Friends
Marco Antonio Diaz
Basta
Marco van Basten
Infinito
Asia De Marco
Beyond Fintech
Bernardo Nicoletti
Similar books
Advanced Oracle Solaris 11 System Administration
Bill Calkins
Mac OS X Troubleshooting
Matt Washchuk
Mastering Embedded Linux Programming - Third Edition
Frank Vasquez
IOS 15 Programming Fundamentals with Swift
Matt Neuburg
Parallel Computational Technologies
Leonid Sokolinsky
Linux Bible
Christopher Negus
The industry favorite linux guide linux bible, 10th edition is the ultimate hands-on linux user guide, whether you're a true beginner or a more advanced user navigating recent changes.
Novell's Guide to Linux for Small Businesses
Peter Clegg
SwiftUI Projects
Craig Clayton
Unix for the Impatient
Bruce Larson
Hands-On Linux Administration on Azure
Kamesh Ganesan
Ubuntu 20. 04 Essentials
Neil Smyth
Windows 10 in Easy Steps
Mike McGrath
Kali Linux - an Ethical Hacker's Cookbook
Himanshu Sharma
Over 120 recipes to perform advanced penetration testing with kali linux about this book - practical recipes to conduct effective penetration testing using the powerful kali linux - leverage tools like metasploit, wireshark, nmap, and many more to detect .
Linux Device Driver Development Cookbook
Rodolfo Giometti
MDM : Fundamentals, Security, and the Modern Desktop
Jeremy Moskowitz
Linux
Syed Mansoor Sarwar
Windows 10 for Seniors for Dummies
Peter Weverka
Get up to speed on windows 10with windows 10 for seniors for dummies, getting familiar with windows 10 is a painless process.
Introduction to Computer Systems
Harold L Rogler
Windows 10 for Seniors for Dummies
Peter Weverka
Get up to speed on windows 10with windows 10 for seniors for dummies, getting familiar with windows 10 is a painless process.
Engineering Analysis with ANSYS Software
Tadeusz Stolarski
Engineering analysis with ansys software, second edition, provides a comprehensive introduction to fundamental areas of engineering analysis needed for research or commercial engineering projects.
Exploring BeagleBone
Derek Molloy
In-depth instruction and practical techniques for building with the beaglebone embedded linux platformexploring beaglebone� is a hands-on guide to bringing gadgets, gizmos, and robots to life using the popular beaglebone embedded.
Linux
Syed Mansoor Sarwar
Investigating Windows Systems
Harlan Carvey
Unlike other books, courses and training that expect an analyst to piece together individual instructions into a cohesive investigation, investigating windows systems provides a walk-through of the analysis process, with descriptions of the thought.
Investigating Windows Systems
Harlan Carvey
Unlike other books, courses and training that expect an analyst to piece together individual instructions into a cohesive investigation, investigating windows systems provides a walk-through of the analysis process, with descriptions of the thought.
MacOS
Nick Vandome
Understanding Operating Systems
Ann McHoes
Discover a clear, straightforward explanation of both current operating system theory and today's practices within understanding operating systems, 8e.
Security strategies in Linux platforms and applications
Michael H. Jang
Windows 10 for Dummies
Andy Rathbone
get productive with windows 10 windows 10 keeps your pc running, organizes your files, and provides a platform to run your important applications.
Windows 10 All-In-One for Dummies
Woody Leonhard
Windows 10 for dummies
Andy Rathbone
get productive with windows 10 windows 10 keeps your pc running, organizes your files, and provides a platform to run your important applications.
Linux Server Security
Chris Binnie
Windows 10 development recipes
Senthil Kumar
OS X Server 5. 0 Essentials - Apple Pro Training Series
Arek Dreyer
This is officially-authorized apple pro training series work is a top-notch primer for anyone who needs to implement, administer, or maintain a network that uses os x server on el capitan.
Brilliant Windows 10
Steve Johnson
Da biao! Windows 10
Qingzong Li
Learning windows 8 with 100 practical exercises
Marcombo Ediciones Técnicas
Embedded Systems
Jason D. Bakos
Programming IOS 9
Matt Neuburg
If you're grounded in the basics of swift, xcode, and the cocoa framework, this book provides a structured explanation of all essential real-world ios app components.
Operating System Design
Douglas Comer
An update of the most practical a-to-z operating system bookwidely lauded for avoiding the typical black box approach found in other operating system textbooks, the first edition of this bestselling book taught readers how.
Teach yourself visually OS X El Capitan
Paul McFedries
Your visual, guided tour of os x el capitan with clear, step-by-step instructions and plenty of rich visuals, teach yourself visually os x el capitan walks you through the latest updates of os x and demonstrates the essenti.
Microsoft windows 10
Steven M. Freund
6-page laminated guide to the settings and features of windows 10 that will optimize your system for you, with guidance for managing and securing your computer as well.
Using Docker
Adrian Mouat
Docker containers offer simpler, faster, and more robust methods for developing, distributing, and running software than previously available.
Ai shang Windows 10 jian dan hao shang shou
Gaoju Jiang
Sams teach yourself Windows PowerShell in 24 hours
Timothy L. Warner
Apple iOS & iPhone basics
Chris Smith
Ubuntu unleashed
Matthew Helmke
Windows 10 simplified
Paul McFedries
Learn windows 10 quickly and painlessly with this beginner's guide windows 10 simplified is your absolute beginner's guide to the ins and outs of windows.
Di biao zui qiang Windows 10 wan quan gong lüe
PCuSER te yue zuo zhe qun
Windows 10 for dummies
Andy Rathbone
With over 13 million readers worldwide, "windows for dummies "is the #1 choice for anyone needing to build new windows know-how or update their current knowledge.
Windows 10 Simplified
Paul McFedries
Learn windows 10 quickly and painlessly with this beginner's guide windows 10 simplified is your absolute beginner's guide to the ins and outs of windows.
Teach yourself visually Windows 10
Paul McFedries
Learn windows 10 visually with step-by-step instructions teach yourself visually windows 10 is the visual learner's guide to the latest windows upgrade.