Filter by
Formal Techniques for Distributed Objects, Components, and Systems
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19195-9
- Collation
- XII, 245 pages
- Series Title
- -
- Call Number
- -
Formal Specification Level
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL). Readers will be enabled to operate at this new, Formal Specification Level (FSL), using models which not only allow significant verification tasks in this early stage of the design flow, but also can be extracted…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08699-6
- Collation
- VIII, 138 pages
- Series Title
- -
- Call Number
- -
Tools and Algorithms for the Construction and Analysis of Systems 21st Inter…
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46681-0
- Collation
- -
- Series Title
- -
- Call Number
- -
Dashboards for Excel
This book takes a hands-on approach to developing dashboards, from instructing users on advanced Excel techniques to addressing dashboard pitfalls common in the real world. Dashboards for Excel is your key to creating informative, actionable, and interactive dashboards and decision support systems. Throughout the book, the reader is challenged to think about Excel and data analytics differently…
- Edition
- -
- ISBN/ISSN
- 9781430249450
- Collation
- -
- Series Title
- -
- Call Number
- 005.3
Timing Channels in Cryptography A Micro-Architectural Perspective
This book deals with timing attacks on cryptographic ciphers. It describes and analyzes various unintended covert timing channels that are formed when ciphers are executed in microprocessors. The book considers modern superscalar microprocessors which are enabled with features such as multi-threaded, pipelined, parallel, speculative, and out-of order execution. Various timing attack algorithms …
- Edition
- -
- ISBN/ISSN
- 978-3-319-12370-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Time Series Modeling for Analysis and Control Advanced Autopilot and Monitor…
This book presents multivariate time series methods for the analysis and optimal control of feedback systems. Although ships’ autopilot systems are considered through the entire book, the methods set forth in this book can be applied to many other complicated, large, or noisy feedback control systems for which it is difficult to derive a model of the entire system based on theory in that subj…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55303-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Time Series Analysis and Forecasting Selected Contributions from the ITISE C…
This volume presents selected peer-reviewed contributions from The International Work-Conference on Time Series, ITISE 2015, held in Granada, Spain, July 1-3, 2015. It discusses topics in time series analysis and forecasting, advanced methods and online learning in time series, high-dimensional and complex/big data time series as well as forecasting in real problems. The International Work-C…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28725-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Three-Dimensional Design Methodologies for Tree-based FPGA Architecture
This book focuses on the development of 3D design and implementation methodologies for Tree-based FPGA architecture. It also stresses the needs for new and augmented 3D CAD tools to support designs such as, the design for 3D, to manufacture high performance 3D integrated circuits and reconfigurable FPGA-based systems. This book was written as a text that covers the foundations of 3D integrated …
- Edition
- -
- ISBN/ISSN
- 978-3-319-19174-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Applied Psychology for Project Managers: A Practitioner's Guide to Successful…
This book offers an essential manual for project managers, project management offices (PMO’s), trainers and consultants, addressing the psychological side of project management. Written by leading scholars in organizational psychology and by top experts in project management, it covers all major psychological topics that are key to project success. The book features dedicated chapters on lead…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-662-44214-2
- Collation
- XII, 329
- Series Title
- Management for Professionals
- Call Number
- 658.404 APP a
6000 BC: Transformation and Change in the Near East and Europe
This is the first book to present a comprehensive, up to date overview of archaeological and environmental data from the eastern Mediterranean world around 6000 BC. It brings together the research of an international team of scholars who have excavated at key Neolithic and Chalcolithic sites in Syria, Anatolia, Greece, and the Balkans. Collectively, their essays conceptualize and enable a deepe…
- Edition
- -
- ISBN/ISSN
- 9781107337640
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography