Ditapis dengan
Logic for Programming, Artificial Intelligence, and Reasoning
Independently Checkable Proofs from Decision Procedures: Issues and Progress -- Zap: Automated Theorem Proving for Software Analysis -- Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540316503
- Deskripsi Fisik
- XIV, 744 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Logic for Programming, Artificial Intelligence, and Reasoning
CERES in Many-Valued Logics -- A Decomposition Rule for Decision Procedures by Resolution-Based Calculi -- Abstract DPLL and Abstract DPLL Modulo Theories -- Combining Lists with Non-stably Infinite Theories -- Abstract Model Generation for Preprocessing Clause Sets -- Flat and One-Variable Clauses: Complexity of Verifying Cryptographic Protocols with Single Blind Copying -- Applications of Gen…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9783540322757
- Deskripsi Fisik
- XII, 560 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Virtualization
Examining the Anatomy of a Virtual Machine -- Preparing a Virtual Machine Host -- Installing VM Applications on Desktops -- Deploying and Managing VMs on the Desktop -- Installing and Deploying VMs on Enterprise Servers -- Deploying and Managing Production VMs on Enterprise Servers -- Backing Up and Recovering Virtual Machines -- Using Virtual File Systems -- Implementing Failover Clusters -- C…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200277
- Deskripsi Fisik
- XXXIV, 600 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Using Microsoft Windows Small Business Server 2003
Installing SBS 2003 -- Initial Configuration -- Exploring Windows Server 2003 -- Exploring Outlook 2003 and Exchange Server 2003 -- Windows SharePoint Services Techniques -- Exploring SBS Standard Security -- Using Remote Access Features -- The Shared Fax Service -- Monitoring SBS Server Health and Performance -- The Indexing Service.This is the fundamental, definitive reference to Microsoft Sm…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200161
- Deskripsi Fisik
- XVIII, 264 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Squeak
Getting Started -- Installation and Creating a Robot -- A First Script and Its Implications -- Of Robots and Men -- Directions and Angles -- Pica’s Environment -- Fun with Robots -- Elementary Programming Concepts -- Looping -- Variables -- Digging Deeper into Variables -- Loops and Variables -- Composing Messages -- Bringing Abstraction into Play -- Methods: Named Message Sequences -- Combin…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200376
- Deskripsi Fisik
- 384 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
SQL Server 2000 Fast Answers for DBAs and Developers, Signature Edition
Installation, Upgrades, Service Packs, and Database Migration -- Configuring SQL Server -- Creating and Configuring Databases -- SQL Server Agent and SQL Logs -- Transactions, Locking, Blocking, and Deadlocking -- Backup, Recovery, and Maintenance -- Security -- Replication -- Linked Servers -- Failover Clustering -- DTS -- Log Shipping -- Other Utilities -- DDL -- DML -- Transact-SQL Technique…
- Edisi
- 2nd ed.
- ISBN/ISSN
- 9781430200512
- Deskripsi Fisik
- XXV, 984 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Software Project Secrets
Why Software Projects Fail ... -- Why Software Is Different -- Project Management Assumptions -- Case Study: The Billing System Project -- ... And How to Make Them Succeed -- The New Agile Methodologies -- Budgeting Agile Projects -- Case Study: The Billing System Revisited -- Afterword.Software Project Secrets: Why Software Projects Fail offers a new path to success in the software industry. T…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200550
- Deskripsi Fisik
- XVIII, 192 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Shell Scripting Recipes
The POSIX Shell and Command-Line Utilities -- Playing with Files: Viewing, Manipulating, and Editing Text Files -- String Briefs -- What’s in a Word? -- Scripting by Numbers -- Loose Names Sink Scripts: Bringing Sanity to Filenames -- Treading a Righteous PATH -- The Dating Game -- Good Housekeeping: Monitoring and Tidying Up File Systems -- POP Goes the E-Mail -- PostScript: More Than an Aft…
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200246
- Deskripsi Fisik
- XXIV, 448 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
The Robosapien Companion
An Introduction to Robosapien -- Robosapien: A Robotic Family History -- Robosapien: A Design History -- Setting Up Your Robosapien -- Robosapien Out of the Box -- Robosapien Anatomy -- Controlling and Walking Your Robosapien -- Robosapien Commands -- Programming Your Robosapien -- Program Modes -- Advanced Programming Examples -- Online Robosapien Resources and Community Submitted Programs -- …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200567
- Deskripsi Fisik
- XVI, 344 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Regular Expression Recipes for Windows Developers
Words and Text -- URLs and Paths -- CSV and Tab-Delimited Files -- Formatting and Validating -- HTML and XML -- Source Code.Regular expressions are an essential part of programming, but they can be difficult to cope with. Enter Regular Expression Recipes for Windows Developers. This is the only book of its kind that presents material in a functional, concise manner. It contains over 100 of the …
- Edisi
- 1st ed.
- ISBN/ISSN
- 9781430200284
- Deskripsi Fisik
- 400 p.online resource.
- Judul Seri
- -
- No. Panggil
- -
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah