Sign-In
Cart
Logic in Databases: International Workshop Lid '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings
Paperback
Series: Lecture Notes in Computer Science, Book 1154
FictionDatabasesSystem Administration
ISBN13: 9783540618140
Publisher: Springer Nature
Published: Oct 2 1996
Pages: 505
Weight: 1.58
Height: 1.04 Width: 6.14 Depth: 9.21
Language: English
The volume presents 21 revised full papers selected from 49 submissions as well as 3 invited contributions and a summary of a panel discussion on deductive databases: challenges, opportunities and future directions. The retrospective survey on logic and databases by Jack Minker deserves a special mention: it is a 56-page overview and lists 357 references. The papers are organized in sections on uncertainty, temporal and spatial reasoning, updates, active databases, semantics, advanced applications, query evaluation, language extensions, and logic constructs and expressive power.
Also in
System Administration
All Data Are Local: Thinking Critically in a Data-Driven Society
Loukissas, Yanni Alexander
Paperback
Site Reliability Engineering: How Google Runs Production Systems
Jones, Chris
Beyer, Betsy
Murphy, Niall Richard
Paperback
SQL Server 2025 Unveiled: The Ai-Ready Enterprise Database with Microsoft Fabric Integration
Ward, Bob
Paperback
Learn Powershell in a Month of Lunches, Fourth Edition: Covers Windows, Linux, and macOS
Petty, James
Leonhardt, Tyler
Plunk, Travis
Paperback
Windows 11 Manual For Seniors: A Beginners Guide to Navigate Your Computer with Step-by-Step Instructions
Wells, Larry
Paperback
The Book of Pf, 4th Edition: A No-Nonsense Guide to the OpenBSD Firewall
Hansteen, Peter N. M.
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Laverack, James
Vibert, Nico
Nikolic, Filip
Paperback
Learning eBPF: Programming the Linux Kernel for Enhanced Observability, Networking, and Security
Rice, Liz
Paperback
Certified Kubernetes Administrator (Cka) Study Guide: In-Depth Guidance and Practice
Muschko, Benjamin
Paperback
Observability Engineering: Achieving Production Excellence
Miranda, George
Majors, Charity
Fong-Jones, Liz
Paperback
Linux Mint Cinnamon Edition: A Complete Guide for Beginners and Advanced Users
Rodgers, David A., Jr.
Paperback
Salesforce Certified Platform Administrator Study Guide: Launch and Elevate Your Salesforce Career
Wheeler, Mike
Paperback
Agentic Architectural Patterns for Building Multi-Agent Systems: Proven design patterns and practices for GenAI, agents, RAG, LLMOps, and enterprise-s
Arsanjani, Ali
Bustos, Juan Pablo
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
Building AI Agents with LLMs, RAG, and Knowledge Graphs: A practical guide to autonomous and modern AI agents
Raieli, Salvatore
Iuculano, Gabriele
Paperback
Evasion Engineering: Building Custom Red Team Tools for Modern Defenses
Chow, Dennis
Lasalvia, Michael
Paperback
E-mail: A Write It Well Guide: How to Write and Manage E-mail in the Workplace
Chan, Janis Fisher
Paperback
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
Linux for Beginners: An Introduction to the Linux Operating System and Command Line
Cannon, Jason
Paperback
Wireless Exploits And Countermeasures: Kali Linux Nethunter, Aircrack-NG, Kismet, And Wireshark
Botwright, Rob
Paperback
Docker: Up & Running: Shipping Reliable Containers in Production
Matthias, Karl
Kane, Sean P.
Paperback
Microsoft Power Automate Cookbook: Automating Business Processes Easily, Intuitively, and Quickly
Najjar, Ahmad
Paperback
Data and Reality: A Timeless Perspective on Perceiving and Managing Information in Our Imprecise World, 3rd Edition
Kent, William
Paperback
Microsoft 365 and SharePoint Online Cookbook - Second Edition: A complete guide to Microsoft Office 365 apps including SharePoint, Power Platform, Cop
Ghatak, Sudeep
Chamberlain, Nate
Mahajan, Gaurav
Paperback
Windows Internals: System Architecture, Processes, Threads, Memory Management, and More, Part 1
Yosifovich, Pavel
Russinovich, Mark
Solomon, David
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
Mastering Embedded Linux Development - Fourth Edition: Craft fast and reliable embedded solutions with Linux 6.6 and The Yocto Project 5.0 (Scarthgap)
Simmonds, Chris
Vasquez, Frank
Paperback
Linux: The ultimate guide to Linux for beginners, Linux hacking, Linux command line, Linux operating system, and more!
Newport, Craig
Paperback
Graph-Powered Analytics and Machine Learning with Tigergraph: Driving Business Outcomes with Connected Data
Nguyen, Phuc Kien
Thomas, Alexander
D, Victor Lee Ph.
Paperback
Kill It with Fire: Manage Aging Computer Systems (and Future Proof Modern Ones)
Bellotti, Marianne
Paperback
SAP S/4hana Financial Accounting Certification Guide: Application Associate Exam
Pougkas, Stefanos
Paperback
Building Multi-Tenant Saas Architectures: Principles, Practices, and Patterns Using AWS
Golding, Tod
Paperback
The Ultimate Linux Shell Scripting Guide: Automate, Optimize, and Empower tasks with Linux Shell Scripting
Tevault, Donald a.
Paperback
A Friendly Guide to Data Science: Everything You Should Know about the Hottest Field in Tech
Vincent, Kelly P.
Paperback
Building Green Software: A Sustainable Approach to Software Development and Operations
Currie, Anne
Hsu, Sarah
Bergman, Sara
Paperback
Linux: A Complete Guide to Learn Linux Commands, Linux Operating System and Shell Scripting Step-by-Step
Ayden, Nicholas
Paperback
Cybersecurity Ops with Bash: Attack, Defend, and Analyze from the Command Line
D. Carl Albing Ph.
Troncone, Paul
Paperback
Acing the Certified Kubernetes Administrator Exam, Second Edition
Brito, Rafael
Crowell, Chad
Paperback
CCNA Automation 200-901 Official Cert Guide
Jackson, Chris
Iliesiu, Adrian
Malegaonkar, Ashutosh
Paperback
Mastering NLP From Foundations to Agents - Second Edition: Building AI Agents through Agentic Automation and RAG Workflows with Python
Gazit, Lior
Ghaffari, Meysam
Paperback
Powershell Cookbook: Your Complete Guide to Scripting the Ubiquitous Object-Based Shell
Holmes, Lee
Paperback
Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development
Ponuthorai, Prem Kumar
Loeliger, Jon
Paperback
Practical Threat Detection Engineering: A hands-on guide to planning, developing, and validating detection capabilities
Deyalsingh, Jason
Katz, Gary J.
Roddie, Megan
Paperback
The FPGA Programming Handbook - Second Edition: An essential guide to FPGA design for transforming ideas into hardware using SystemVerilog and VHDL
Bruno, Frank
Eschemann, Guy
Paperback
pfSense Essentials: The Complete Reference to the pfSense Internet Gateway and Firewall
Reed, Jeremy C.
Paperback
Practical Linux System Administration: A Guide to Installation, Configuration, and Management
Hess, Kenneth
Paperback
Debian 13.3 "Trixie" Desktop Handbook: A Practical Guide to Installing, Securing, and Mastering the Debian Linux Desktop - From Install to Advanced Ad
Rodgers, David A., Jr.
Paperback
The Kubernetes Bible - Second Edition: The definitive guide to deploying and managing Kubernetes across cloud and on-prem environments
Madapparambath, Gineesh
McKendrick, Russ
Paperback
Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems
Blankinship, Paul
Beyer, Betsy
Adkins, Heather
Paperback
Kali Linux Cookbook - Third Edition: Boost your pentesting career with essential tools such as Nmap, Metasploit, and Wireshark
Schultz, Corey P.
Paperback
Attack Surface Management: Strategies and Techniques for Safeguarding Your Digital Assets
Kaufmann, Mj
Eddings, Ron
Paperback
Python for Devops: Learn Ruthlessly Effective Automation
Deza, Alfredo
Gift, Noah
Behrman, Kennedy
Paperback
Red Hat Certified Engineer (Rhce) Ansible Automation Study Guide: In-Depth Guidance and Practice
Block, Andrew
Bueno, Alex Soto
Paperback
Cloud Native Data Security with Oauth: A Scalable Zero Trust Architecture
Kahrer, Judith
Trojanowski, Michal
Archer, Gary
Paperback
Hands-On MLOps on Azure: Automate, secure, and scale ML workflows with the Azure ML CLI, GitHub, and LLMOps
de, Banibrata
Paperback
Free Opensource Office Suite Software Apps For Windows 11 OS Hardcover Ver
Sakura, Cyber Jannah
Hardcover
DevOps and Site Reliability Engineering (SRE) Handbook: Non-Programmer's Guide
Fleming, Stephen
Paperback
PowerShell Automation and Scripting for Cybersecurity: Hacking and defense for red and blue teamers
Wiesner, Miriam C.
Paperback
Mastering Windows Security and Hardening - Second Edition: Secure and protect your Windows environment from cyber threats using zero-trust security pr
Tumbarello, Matt
Dunkerley, Mark
Paperback
Data Quality Fundamentals: A Practitioner's Guide to Building Trustworthy Data Pipelines
Gavish, Lior
Vorwerck, Molly
Moses, Barr
Paperback
Take Back Your Life!: Using Microsoft Office Outlook to Get Organized and Stay Organized
McGhee, Sally
Paperback
Prometheus: Up & Running: Infrastructure and Application Performance Monitoring
Brazil, Brian
Pivotto, Julien
Paperback
Red Hat Enterprise Linux 10 Essentials: Learn to Install, Administer and Deploy RHEL 10 Systems
Smyth, Neil
Paperback
Generative AI for Software Developers: Future-proof your career with AI-powered development and hands-on skills
Shrivastava, Saurabh
Dubey, Ashutosh
Arora, Kamal
Paperback
Microsoft 365 Fundamentals Guide: Over 100 tips and tricks to help you get up and running with M365 quickly
Romão, Douglas
Moraes, Gustavo
Paperback
Ethernet: The Definitive Guide: Designing and Managing Local Area Networks
Spurgeon, Charles E.
Zimmerman, Joann
Paperback
Oracle Solaris 11.2 System Administration Handbook (Oracle Press)
Foxwell, Harry
Foster, Glynn
Paperback
NMAP Network Scanning Series: Network Security, Monitoring, And Scanning Library
Botwright, Rob
Paperback
Cracking the Kubernetes Interview: Discover expert tips and best practices to ace your Kubernetes technical interviews
Vedmich, Viktor
Dovnar, Alexander
Paperback
Mastering Terraform: A practical guide to building and deploying infrastructure on AWS, Azure, and GCP
Tinderholt, Mark
Paperback
Kubernetes: The Ultimate Guide to Learn and Master Kubernetes for Beginners (Effectively Learn Kubernetes Step-by-step)
Bennett, Melvin
Paperback
Ansible: Up and Running: Automating Configuration Management and Deployment the Easy Way
Meijer, Bas
Hochstein, Lorin
Moser, René
Paperback
Kubernetes Best Practices: Blueprints for Building Successful Applications on Kubernetes
Burns, Brendan
Villalba, Eddie
Strebel, Dave
Paperback
Learn Linux Quickly: A Comprehensive Guide for Getting Up to Speed on the Linux Command Line (Ubuntu)
Quickly, Code
Bartley, Paul H.
Paperback
Cisa Certified Information Systems Auditor All-In-One Exam Guide, Fourth Edition
Gregory, Peter H.
Paperback
Averting the Digital Dark Age: How Archivists, Librarians, and Technologists Built the Web a Memory
Milligan, Ian
Hardcover
Intelligent Continuous Security: Ai-Enabled Transformation for Seamless Protection
Hornbeek, Marc
Paperback
Learn Powershell Scripting in a Month of Lunches, Second Edition: Write and Organize Scripts and Tools
Petty, James
Jones, Don
Hicks, Jeffery
Paperback
SAP Master Data Governance: The Comprehensive Guide
Isacc, Antony
Kalwachwala, Homiar
Dogra, Bikram
Hardcover
Linux for Beginners: How to Master the Linux Operating System and Command Line form Scratch
Herrmann, Noah
Paperback
Making Data Visual: A Practical Guide to Using Visualization for Insight
Fisher, Danyel
Meyer, Miriah
Paperback
Desktop Support Crash Course: Technical Problem Solving And Network Troubleshooting
Botwright, Rob
Paperback
Shell Scripting: How to Automate Command Line Tasks Using Bash Scripting and Shell Programming
Cannon, Jaosn
Paperback
Learn Linux Quickly: A beginner-friendly guide to getting up and running with the world's most powerful operating system
Alkabary, Ahmed
Paperback
Business Database Technology (2nd Edition): Theories and Design Process of Relational Databases, SQL, Introduction to OLAP, Overview of NoSQL Database
Wang, Shouhong
Wang, Hai
Paperback
Cloud Native Infrastructure: Patterns for Scalable Infrastructure and Applications in a Dynamic Environment
Garrison, Justin
Nova, Kris
Paperback
Linux: The ultimate guide to Linux for beginners, Linux hacking, Linux command line, Linux operating system, and more!
Newport, Craig
Hardcover
The TCP/IP Guide: A Comprehensive, Illustrated Internet Protocols Reference
Kozierok, Charles M.
Hardcover
Azure Cloud Projects: Learn Microsoft Azure through hands-on, real-world projects
Saleh, Hamid Sadeghpour
Paperback
Microsoft Copilot in Azure: AI-powered cloud automation and optimization
Rendón, David
Miles, Steve
Paperback
Unix And Linux System Administration Handbook: Mastering Networking, Security, Cloud, Performance, And Devops
Botwright, Rob
Paperback
Red Hat Enterprise Linux 9 Administration - Second Edition: A comprehensive Linux system administration guide for RHCSA certification exam candidates
Gómez, Pablo Iranzo
Colino, Miguel Pérez
Requena, Pedro Ibáñez
Paperback
Kubernetes Security and Observability: A Holistic Approach to Securing Containers and Cloud Native Applications
Gupta, Amit
Creane, Brendan
Paperback
PowerShell for Beginners: A Practical Guide to Automation, Scripting, and Windows Administration
Keery, Adam
Paperback
Ansible for Platform Engineers: A Practical Guide to YAML Playbooks, CI/CD Pipelines, and Infrastructure Automation
Corvane, Nathaniel
Paperback