Sign-In
Cart
Dynamic Logic. New Trends and Applications: Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pape
Paperback
ISBN13: 9783030658397
Publisher: Springer Nature
Published: Dec 22 2020
Pages: 295
Weight: 0.96
Height: 0.65 Width: 6.14 Depth: 9.21
Language: English
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online.
The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions.The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.
Also in
Networking
Comptia Network+ Certification All-In-One Exam Guide, Eighth Edition (Exam N10-008)
Jernigan, Scott
Hardcover
Mastering Windows Server 2022 - Fourth Edition: Comprehensive administration of your Windows Server environment
Krause, Jordan
Paperback
Gray Hat Hacking: The Ethical Hacker's Handbook, Sixth Edition
Harper, Allen
Linn, Ryan
Sims, Stephen
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
The Complete Roku Device Guide: TV, Express, Ultra, Stick, Channels, App, Account
Babson, Bob
Paperback
Hack to the Future: How World Governments Relentlessly Pursue and Domesticate Hackers
Crose, Emily
Hardcover
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback
Enterprise Architecture with Sap: Planning, Management, and Transformation
Klee, Peter
Das, Anup
Reichel, Johannes
Paperback
Computer Science Unleashed: Harness the Power of Computational Systems
Ferreira Filho, Wladston
Pictet, Raimondo
Paperback
Development and Deployment of Multiplayer Online Games, Vol. I: GDD, Authoritative Servers, Communications
Hare, 'No Bugs'
Hardcover
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time
Saydjari, O. Sami
Paperback
Hacking Exposed Industrial Control Systems: ICS and Scada Security Secrets & Solutions
Bodungen, Clint
Singer, Bryan
Shbeeb, Aaron
Paperback
Internet of Things from Scratch: Build IoT solutions for Industry 4.0 with ESP32, Raspberry Pi, and AWS
Gondosubroto, Renaldi
Paperback
AWS for Solutions Architects - Second Edition: The definitive guide to AWS Solutions Architecture for migrating to, building, scaling, and succeeding
Shrivastava, Saurabh
Srivastav, Neelanjali
Artasanchez, Alberto
Paperback
The Real Internet Architecture: Past, Present, and Future Evolution
Rexford, Jennifer
Zave, Pamela
Paperback
Hands-On Ethical Hacking Tactics: Strategies, tools, and techniques for effective cyber defense
Hartman, Shane
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Gilman, Evan
Rais, Razi
Morillo, Christina
Paperback
Development and Deployment of Multiplayer Online Games, Vol. II: DIY, (Re)Actors, Client Arch., Unity/UE4/ Lumberyard/Urho3D
Hare, 'No Bugs'
Hardcover
Python for ArcGIS Pro: Automate cartography and data analysis using ArcPy, ArcGIS API for Python, Notebooks, and pandas
Parker, Bill
Toms, Silas
Paperback
Wireshark Network Analysis (Second Edition): The Official Wireshark Certified Network Analyst Study Guide
Chappell, Laura
Paperback
Fire TV & TV Stick: How to Unlock and Jailbreak Step by Step Guide in 10 Minutes
Simpson, Steve
Paperback
Hacking Exposed Wireless: Wireless Security Secrets & Solutions
Cache, Johnny
Wright, Joshua
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
Hands-On Industrial Internet of Things: Create a powerful Industrial IoT infrastructure using Industry 4.0
Capasso, Antonio
Veneri, Giacomo
Paperback
Time Management for System Administrators: Stop Working Late and Start Working Smart
Limoncelli, Thomas A.
Paperback
How to Jailbreak Roku: Unlock Roku, Roku Stick, Roku Ultra, Roku Express, Roku TV with Kodi Step by Step Guide
Gates, Jonathan
Paperback
The AI Revolution in Networking, Cybersecurity, and Emerging Technologies
Santos, Omar
Salam, Samer
Dahir, Hazim
Paperback
ITIL(R) 4 Create, Deliver and Support (CDS): Your companion to the ITIL 4 Managing Professional CDS certification
Agutter, Claire
Paperback
High Performance Browser Networking: What Every Web Developer Should Know about Networking and Web Performance
Grigorik, Ilya
Paperback
Delta Lake: The Definitive Guide: Modern Data Lakehouse Architectures with Data Lakes
Wentling, Tristen
Haines, Scott
Lee, Denny
Paperback
Computer Networking: This Book Includes: Computer Networking for Beginners and Beginners Guide (All in One)
Scott, Russell
Paperback
Migrating to SAP S/4hana: Operating Models, Migration Scenarios, Tools, and Implementation
Densborn, Frank
Finkbohner, Frank
Höft, Martina
Hardcover
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Adell, Christian
Lowe, Scott S.
Oswalt, Matt
Paperback
Cisco Catalyst Sd-WAN: Design, Deploy and Secure Your WAN
Volkova, Anastasiya
Tovar, Osvaldo
Mohorea, Constantin
Paperback
CYBERSECURITY DICTIONARY for Everyone: 1250 Terms Explained in Simple English
Tavlas, Tolga
Paperback
ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification
Agutter, Claire
Paperback
Mastering Go - Fourth Edition: Leverage Go's expertise for advanced utilities, empowering you to develop professional software
Tsoukalos, Mihalis
Paperback
iPhone 8: The User Guide For all iPhone 8, iPhone 8 Plus and older iPhone model Users
Binjeh, Jhale
Paperback
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Limoncelli, Thomas
Hogan, Christina
Chalup, Strata
Paperback
Robotic Process Automation Using Uipath Studiox: A Citizen Developer's Guide to Hyperautomation
Malik, Nadia
Javed, Adeel
Sundrani, Anum
Paperback
Asynchronous Programming in Rust: Learn asynchronous programming by building working examples of futures, green threads, and runtimes
Samson, Carl Fredrik
Paperback
Comando de Linux: Una guía completa para principiantes para aprender los reinos del comando Linux desde A-Z
Vance, William
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
The Elements of Networking Style: And Other Essays & Animadversions on the Art of Intercomputer Networking
Padlipsky, M. a.
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
It Auditing Using Controls to Protect Information Assets, Third Edition
Kegerreis, Mike
Schiller, Mike
Davis, Chris
Paperback
Vmware Vsphere Essentials: A Practical Approach to Vsphere Deployment and Management
Patrão, Luciano
Paperback
Ansible: Up and Running: Automating Configuration Management and Deployment the Easy Way
Hochstein, Lorin
Moser, René
Meijer, Bas
Paperback
Mike Meyers' Comptia Network+ Guide to Managing and Troubleshooting Networks, Sixth Edition (Exam N10-008)
Jernigan, Scott
Paperback
Creating Business Applications with Microsoft 365: Techniques in Power Apps, Power Bi, Sharepoint, and Power Automate
Rhodes, Jeffrey M.
Paperback
Intro to Bluetooth Low Energy: Learn Bluetooth Low Energy in a single weekend
Afaneh, Mohammad
Paperback
Mastering Palo Alto Networks - Second Edition: Build, configure, and deploy network solutions for your infrastructure using features of PAN-OS
'Reaper', Tom Piens Aka
Paperback
Hands-On Network Programming with C: Learn socket programming in C and write secure and optimized network code
Van Winkle, Lewis
Paperback
The Home Network Manual: The Complete Guide to Setting Up, Upgrading, and Securing Your Home Network
Buchanan, Marlon
Paperback
Mpls-Enabled Applications: Emerging Developments and New Technologies
Lucek, Julian
Minei, Ina
Paperback
Understanding Linux Network Internals: Guided Tour to Networking on Linux
Benvenuti, Christian
Paperback
Guide to Parallel Operating Systems with Windows 10 and Linux
Hardee, Mary Ellen
Carswell, Ron
Jiang, Shen
Paperback
IP Subnetting for Beginners: Your Complete Guide to Master IP Subnetting in 4 Simple Steps
Nastase, Ramon A.
Paperback
PowerShell for Penetration Testing: Explore the capabilities of PowerShell for pentesters across multiple platforms
Blyth, Andrew
Paperback
A Beginner's Guide to Ssd Firmware: Designing, Optimizing, and Maintaining Ssd Firmware
Kuppan Thirumalai, Gopi
Paperback
CompTIA Network+: A Comprehensive Beginners Guide to Learn About The CompTIA Network+ Certification from A-Z
Schmidt, Walker
Paperback
The Software Developer's Guide to Linux: A practical, no-nonsense guide to using the Linux command line and utilities as a software developer
Cohen, David
Sturm, Christian
Paperback
Azure Networking: Understand key concepts and design secure Cloud networking architectures (English Edition)
Moreno, Jose
Stuart, Adam
Paperback
Cisco Certified Devnet Associate Devasc 200-901 Official Cert Guide
Jackson, Chris
Iliesiu, Adrian
Gooley, Jason
Hardcover
The Book of PF, 3rd Edition: A No-Nonsense Guide to the OpenBSD Firewall
Hansteen, Peter N. M.
Paperback
Computer Networking for Beginners: The Beginner's guide for Mastering Computer Networking, the Internet and the OSI Model
Nastase, Ramon Adrian
Paperback
Security Monitoring with Wazuh: A hands-on guide to effective enterprise security using real-life use cases in Wazuh
Gupta, Rajneesh
Paperback
Continuous Integration (CI) and Continuous Delivery (CD): A Practical Guide to Designing and Developing Pipelines
Van Merode, Henry
Paperback
IT Troubleshooting Skills Training: Practical Guide To IT Problem Solving For Analysts And Managers
Botwright, Rob
Paperback
Network Engineer's Bible: Mastering 100 Protocols For Communication, Management, And Security
Botwright, Rob
Paperback
Segment Routing for Service Provider and Enterprise Networks
Hoxha, Leonir
Deragisch, Florian
Minder, Rene
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Understanding Microsoft Teams Administration: Configure, Customize, and Manage the Teams Experience
Tripathy, Durgesh
Ireddy, Vijay
Ilag, Balu N.
Paperback
Computer Networking: Beginner's guide for Mastering Computer Networking and the
Nastase, Ramon
Paperback
Electronics Projects with the Esp8266 and Esp32: Building Web Pages, Applications, and Wifi Enabled Devices
Cameron, Neil
Paperback
Minimalismo Digital: Una Guía para Simplificar tu Vida Digital y Vivir con Menos Estrés
Serna, Iago
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Hardcover