Author: Christopher A. TitusPublisher:
ISBN:
Category : Computers
Languages : en
Pages : 118
Book Description
DBUG
Author: Christopher A. TitusPublisher:
ISBN:
Category : Computers
Languages : en
Pages : 118
Book Description
Model Checking Software
Author: Alex GrocePublisher: Springer
ISBN: 3642223060
Category : Computers
Languages : en
Pages : 203
Book Description
This book constitutes the refereed proceedings of the 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions. The papers are organized in topical sections on abstractions and state-space reductions; search strategies; PROMELA encodings and extensions; and applications of model checking.
Bulletin
Author: Computerworld
Author: Publisher:
ISBN:
Category :
Languages : en
Pages : 144
Book Description
For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.
Computerworld
Author: Publisher:
ISBN:
Category :
Languages : en
Pages : 184
Book Description
For more than 40 years, Computerworld has been the leading source of technology news and information for IT influencers worldwide. Computerworld's award-winning Web site (Computerworld.com), twice-monthly publication, focused conference series and custom research form the hub of the world's largest global IT media network.
Verbs
Author: Roland BielmeierPublisher: Walter de Gruyter GmbH & Co KG
ISBN: 3110554070
Category : Foreign Language Study
Languages : en
Pages : 1112
Book Description
This landmark dictionary serves as a basis for historical-comparative research on Tibetan. Conceptualized empirically and etymologically, it builds on extensive data from the Tibetan dialects and establishes the relationship to Written Tibetan. It reflects historical sound change and semantic change in all of linguistic Tibet. Based on historical sound change and geographical distribution, the dictionary applies a new classification of the Tibetan dialects.
Expert MySQL
Author: Charles BellPublisher: Apress
ISBN: 143024660X
Category : Computers
Languages : en
Pages : 626
Book Description
Expert MySQL is the leading reference for learning, understanding, and extending the MySQL server. It unlocks the full promise of open source by showing how to modify the code, create your own storage engine, build your own authentication plugins, and even add your own functions and commands to the SQL language. No other book provides the level of detail or the extensive examples of the inner workings of MySQL that have taken engineers years to master. Expert MySQL is a must have book for all systems integrators, engineers, and software developers working with the MySQL server code. Expert MySQL is also a wealth of information on key aspects of MySQL internals. You’ll learn about internal query representation, how the optimizer creates execution plans, and how to exert control over those plans for optimal performance in your environment. You'll even learn to build your own query optimizer, giving insight that can help you understand and resolve tough performance problems. High-availability and replication are also covered, making Expert MySQL a must-have book for anyone doing high-end work involving MySQL. Shows how to customize MySQL and its storage and authentication engines Provides in-depth knowledge of internals for use in query tuning and performance troubleshooting Covers high-end features such as high-availability and replication
PC Mag
Author: Publisher:
ISBN:
Category :
Languages : en
Pages : 450
Book Description
PCMag.com is a leading authority on technology, delivering Labs-based, independent reviews of the latest products and services. Our expert industry analysis and practical solutions help you make better buying decisions and get more from technology.
PC Mag
Author: Publisher:
ISBN:
Category :
Languages : en
Pages : 370
Book Description
PCMag.com is a leading authority on technology, delivering Labs-based, independent reviews of the latest products and services. Our expert industry analysis and practical solutions help you make better buying decisions and get more from technology.
Monte Carlo and Experimental Analyses of Nuclear Reactor Fluctuation Models
Author: Burt Alan ZolotarPublisher:
ISBN:
Category : Nuclear reactors
Languages : en
Pages : 262
Book Description