Decode
Download Decode PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Decode book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Oracle PL/SQL Programming
Author: Steven Feuerstein
language: en
Publisher: "O'Reilly Media, Inc."
Release Date: 2002
The authors have revised and updated this bestseller to include both the Oracle8i and new Oracle9i Internet-savvy database products.
Mike Ault's Oracle Internals Monitoring and Tuning Scripts
A guide to Oracle DBA management scripts, this book is indispensable for all Oracle professionals who must quickly automate and manage their Oracle databases with scripts. An online code depot full of more than 200 pretested Oracle DBA scripts is provided. Coverage of all areas of Oracle database administration including data files, tablespace, and table and index management scripts is included. Also reviewed are mechanisms for automating Oracle database administration tasks and tips for automating without buying expensive tools.
Formal Methods in Computer-Aided Design
Author: Mandayam Srivas
language: en
Publisher: Springer Science & Business Media
Release Date: 1996-10-23
This book constitutes the refereed proceedings of the First International Conference on Formal Methods in Computer-Aided Design, FMCAD '96, held in Palo Alto, California, USA, in November 1996. The 25 revised full papers presented were selected from a total of 65 submissions; also included are three invited survey papers and four tutorial contributions. The volume covers all relevant formal aspects of work in computer-aided systems design, including verification, synthesis, and testing.
