Sign-In
Cart
Web Services and Formal Methods: 8th International Workshop, Ws-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
Paperback
General ComputersProgrammingSystem Administration
ISBN13: 9783642298332
Publisher: Springer
Published: Apr 23 2012
Pages: 143
Weight: 0.55
Height: 0.40 Width: 6.10 Depth: 9.10
Language: English
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
Murphy, Niall Richard
Jones, Chris
Beyer, Betsy
Paperback
Learn Powershell in a Month of Lunches, Fourth Edition: Covers Windows, Linux, and macOS
Leonhardt, Tyler
Plunk, Travis
Petty, James
Paperback
SQL Server 2025 Unveiled: The Ai-Ready Enterprise Database with Microsoft Fabric Integration
Ward, Bob
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
Certified Kubernetes Administrator (Cka) Study Guide: In-Depth Guidance and Practice
Muschko, Benjamin
Paperback
Learning eBPF: Programming the Linux Kernel for Enhanced Observability, Networking, and Security
Rice, Liz
Paperback
Observability Engineering: Achieving Production Excellence
Fong-Jones, Liz
Miranda, George
Majors, Charity
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
Evasion Engineering: Building Custom Red Team Tools for Modern Defenses
Lasalvia, Michael
Chow, Dennis
Paperback
Building AI Agents with LLMs, RAG, and Knowledge Graphs: A practical guide to autonomous and modern AI agents
Iuculano, Gabriele
Raieli, Salvatore
Paperback
E-mail: A Write It Well Guide: How to Write and Manage E-mail in the Workplace
Chan, Janis Fisher
Paperback
Linux for Beginners: An Introduction to the Linux Operating System and Command Line
Cannon, Jason
Paperback
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
Wireless Exploits And Countermeasures: Kali Linux Nethunter, Aircrack-NG, Kismet, And Wireshark
Botwright, Rob
Paperback
Microsoft Power Automate Cookbook: Automating Business Processes Easily, Intuitively, and Quickly
Najjar, Ahmad
Paperback
Docker: Up & Running: Shipping Reliable Containers in Production
Matthias, Karl
Kane, Sean P.
Paperback
Data and Reality: A Timeless Perspective on Perceiving and Managing Information in Our Imprecise World, 3rd Edition
Kent, William
Paperback
Windows Internals: System Architecture, Processes, Threads, Memory Management, and More, Part 1
Yosifovich, Pavel
Russinovich, Mark
Solomon, David
Paperback
Microsoft 365 and SharePoint Online Cookbook - Second Edition: A complete guide to Microsoft Office 365 apps including SharePoint, Power Platform, Cop
Chamberlain, Nate
Mahajan, Gaurav
Ghatak, Sudeep
Paperback
Mastering Embedded Linux Development - Fourth Edition: Craft fast and reliable embedded solutions with Linux 6.6 and The Yocto Project 5.0 (Scarthgap)
Vasquez, Frank
Simmonds, Chris
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
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
Linux: The ultimate guide to Linux for beginners, Linux hacking, Linux command line, Linux operating system, and more!
Newport, Craig
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
Building Green Software: A Sustainable Approach to Software Development and Operations
Bergman, Sara
Currie, Anne
Hsu, Sarah
Paperback
The Practice of Network Security Monitoring: Understanding Incident Detection and Response
Bejtlich, Richard
Paperback
Linux: A Complete Guide to Learn Linux Commands, Linux Operating System and Shell Scripting Step-by-Step
Ayden, Nicholas
Paperback
Kill It with Fire: Manage Aging Computer Systems (and Future Proof Modern Ones)
Bellotti, Marianne
Paperback
Acing the Certified Kubernetes Administrator Exam, Second Edition
Brito, Rafael
Crowell, Chad
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
Version Control with Git: Powerful Tools and Techniques for Collaborative Software Development
Loeliger, Jon
Ponuthorai, Prem Kumar
Paperback
SAP S/4hana Financial Accounting Certification Guide: Application Associate Exam
Pougkas, Stefanos
Paperback
CCNA Automation 200-901 Official Cert Guide
Iliesiu, Adrian
Malegaonkar, Ashutosh
Jackson, Chris
Paperback
Data Modeling for MongoDB: Building Well-Designed and Supportable MongoDB Databases
Hoberman, Steve
Paperback
Prometheus: Up & Running: Infrastructure and Application Performance Monitoring
Brazil, Brian
Pivotto, Julien
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
McKendrick, Russ
Madapparambath, Gineesh
Paperback
A Friendly Guide to Data Science: Everything You Should Know about the Hottest Field in Tech
Vincent, Kelly P.
Paperback
Cybersecurity Ops with Bash: Attack, Defend, and Analyze from the Command Line
Troncone, Paul
D. Carl Albing Ph.
Paperback
Powershell Cookbook: Your Complete Guide to Scripting the Ubiquitous Object-Based Shell
Holmes, Lee
Paperback
Building Secure and Reliable Systems: Best Practices for Designing, Implementing, and Maintaining Systems
Adkins, Heather
Blankinship, Paul
Beyer, Betsy
Paperback
Python for Devops: Learn Ruthlessly Effective Automation
Gift, Noah
Behrman, Kennedy
Deza, Alfredo
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
Red Hat Enterprise Linux 10 Essentials: Learn to Install, Administer and Deploy RHEL 10 Systems
Smyth, Neil
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
Mastering Windows Security and Hardening - Second Edition: Secure and protect your Windows environment from cyber threats using zero-trust security pr
Dunkerley, Mark
Tumbarello, Matt
Paperback
pfSense Essentials: The Complete Reference to the pfSense Internet Gateway and Firewall
Reed, Jeremy C.
Paperback
Data Quality Fundamentals: A Practitioner's Guide to Building Trustworthy Data Pipelines
Gavish, Lior
Vorwerck, Molly
Moses, Barr
Paperback
Free Opensource Office Suite Software Apps For Windows 11 OS Hardcover Ver
Sakura, Cyber Jannah
Hardcover
PowerShell Automation and Scripting for Cybersecurity: Hacking and defense for red and blue teamers
Wiesner, Miriam C.
Paperback
Red Hat Certified Engineer (Rhce) Ansible Automation Study Guide: In-Depth Guidance and Practice
Bueno, Alex Soto
Block, Andrew
Paperback
Using Digital Information Services in the Library Workplace: An Introduction for Support Staff
Shaw, Marie Keen
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
Oracle Solaris 11.2 System Administration Handbook (Oracle Press)
Foxwell, Harry
Foster, Glynn
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
Moser, René
Meijer, Bas
Hochstein, Lorin
Paperback
Learn Linux Quickly: A Comprehensive Guide for Getting Up to Speed on the Linux Command Line (Ubuntu)
Bartley, Paul H.
Quickly, Code
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
Learn Powershell Scripting in a Month of Lunches, Second Edition: Write and Organize Scripts and Tools
Jones, Don
Hicks, Jeffery
Petty, James
Paperback
SAP Master Data Governance: The Comprehensive Guide
Isacc, Antony
Kalwachwala, Homiar
Dogra, Bikram
Hardcover
Linux Kernel Debugging: Leverage proven tools and advanced techniques to effectively debug Linux kernels and kernel modules
N. Billimoria, Kaiwan
Paperback
Take Back Your Life!: Using Microsoft Office Outlook to Get Organized and Stay Organized
McGhee, Sally
Paperback
DevOps and Site Reliability Engineering (SRE) Handbook: Non-Programmer's Guide
Fleming, Stephen
Paperback
Ethernet: The Definitive Guide: Designing and Managing Local Area Networks
Spurgeon, Charles E.
Zimmerman, Joann
Paperback
Kubernetes Best Practices: Blueprints for Building Successful Applications on Kubernetes
Burns, Brendan
Villalba, Eddie
Strebel, Dave
Paperback
Practical Threat Detection Engineering: A hands-on guide to planning, developing, and validating detection capabilities
Deyalsingh, Jason
Katz, Gary J.
Roddie, Megan
Paperback
Kali Linux Cookbook - Third Edition: Boost your pentesting career with essential tools such as Nmap, Metasploit, and Wireshark
Schultz, Corey P.
Paperback
Cracking the Kubernetes Interview: Discover expert tips and best practices to ace your Kubernetes technical interviews
Vedmich, Viktor
Dovnar, Alexander
Paperback
Linux For Beginners: A Comprehensive Guide to Understanding and Mastering Linux
Hassan, Sarful
Paperback
Attack Surface Management: Strategies and Techniques for Safeguarding Your Digital Assets
Kaufmann, Mj
Eddings, Ron
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
Cloud Native Infrastructure: Patterns for Scalable Infrastructure and Applications in a Dynamic Environment
Garrison, Justin
Nova, Kris
Paperback
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
Ansible for Platform Engineers: A Practical Guide to YAML Playbooks, CI/CD Pipelines, and Infrastructure Automation
Corvane, Nathaniel
Paperback
DB2 10.5 DBA for Luw Upgrade from DB2 10.1: Certification Study Notes (Exam 311)
Sanders, Roger E.
Paperback
Windows 11 for Enterprise Administrators - Second Edition: Unleash the power of Windows 11 with effective techniques and strategies
Miles, Steve
Singer, Manuel
Stokes, Jeff
Paperback
Architecting for Scale: How to Maintain High Availability and Manage Risk in the Cloud
Atchison, Lee
Paperback
Practical Cybersecurity Architecture - Second Edition: A guide to creating and implementing robust designs for cybersecurity architects
Moyle, Ed
Kelley, Diana
Paperback
The Expert in the Next Office: Tools for Managing Operations and Security in the Era of Cyberspace
Kabay, M. E.
Paperback
Desktop Support Crash Course: Technical Problem Solving And Network Troubleshooting
Botwright, Rob
Paperback