Hakutulokset: tools and the jan
yhteensä 29 hakutulosta
Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, …
Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, …
Diagnostic and Management Tools for Devices Compatible with the IPMI
Lower Palaeolithic Small Tools in Europe and the Levant
In accordance with European Science Foundation regulations, Exploratory Workshops with a maximum of 20 participants were designed to encourage researchers from across Europe to put …
Stillness In The Storm - 7 Tools For Coping with fear and uncertainty
7 tools for coping with fear and uncertainty'A delightful, practical and healing book of treasures to carry through the storm.' (Child and Adolescent Psychiatrist, Kent)'Covering …
Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, …
Tools and Algorithms for the Construction and Analysis of Systems
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, …
Advanced Tools for Integrated Water Resources Management
Advanced Tools for Integrated Water Resources Management, Volume Three, explores a wide breadth of emerging and state-of-the-art technologies used to study advanced tools for …
Power Tools for Adolescent Literacy
Winner: Association of Educational Publishers 2009 Distinguished Achievement AwardFinalist: Association of Educational Publishers 2009 Golden Lamp Award Are there students in your …
Algebraic Methods II: Theory, Tools and Applications
The proper treatment and choice of the basic data structures is an important and complex part in the process of program construction. Algebraic methods provide techniques for data …
Models, Methods, and Tools for Complex Chip Design
This book brings together a selection of the best papers from the fifteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September …