Sign-In
Cart
Verification and Evaluation of Computer and Communication Systems: 14th International Conference, Vecos 2020, Xi'an, China, October 26-27, 2020, Proce
Paperback
ISBN13: 9783030659547
Publisher: Springer
Published: Dec 20 2020
Pages: 281
Weight: 0.92
Height: 0.62 Width: 6.14 Depth: 9.21
Language: English
This book constitutes the proceedings of the 14th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2020, which was supposed to be held in Xi'an, China, in October 2020, but was held virtually instead.
The 19 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 60 submissions. The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance, and dependability evaluation in order to discuss state of the art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and distributed hardware/software systems. The papers are organized in the following topical sections: petri-net, simulation, and scheduling; formal modeling and verification, testing; and artificial intelligence and machine learning.
Also in
Networking
CompTIA Network+ Certification All-in-One Exam Guide, Ninth Edition (Exam N10-009)
Weissman, Jonathan S.
Paperback
The Groundbreaker: Entrepreneurship, the American Dream, and the Rise of Modern India
Rekhi, Kanwal
Hardcover
The Practice of System and Network Administration: Devops and Other Best Practices for Enterprise It, Volume 1
Chalup, Strata
Limoncelli, Thomas
Hogan, Christina
Paperback
The Wireless Cookbook: Build Real Projects and Master Wi-Fi, Bluetooth, and Lora
Zimmerman, Bill
Paperback
Home Assistant for Beginners: Build a private smart home without relying on the cloud
Haagenrud, Thom
Paperback
Mobile Forensic Investigations: A Guide to Evidence Collection, Analysis, and Presentation, Second Edition
Reiber, Lee
Paperback
Cilium: Up and Running: Cloud Native Networking, Security, and Observability
Laverack, James
Vibert, Nico
Nikolic, Filip
Paperback
Computer Science Unleashed: Harness the Power of Computational Systems
Pictet, Raimondo
Ferreira Filho, Wladston
Paperback
AI Data Center Network Design and Technologies
Styszynski, Michal
Tambakuwala, Himanshu
Subramaniam, Mahesh
Paperback
Mastering the Togaf(r) Standard: A Practical Translation of the World's Leading Architecture Framework
Jager, Eric
Paperback
Meshtastic: A Comprehensive Guide to Off-Grid Mesh Communication: Second Edition
Rodgers, David A., Jr.
Paperback
Root cause: Stories and Lessons from Two Decades of Backend Engineering Bugs
Nasser, Hussein
Paperback
CCNP and CCIE Data Center Core Dccor 350-601 Official Cert Guide
Ahmed, Firas
Nikolov, Iskren
Maloo, Somit
Paperback
Industrial Cybersecurity - Second Edition: Efficiently monitor the cybersecurity posture of your ICS environment
Ackerman, Pascal
Paperback
31 Days Before Your CCNA Exam: A Day-By-Day Review Guide for the CCNA 200-301 Certification Exam
Johnson, Allan
Paperback
Red Team Engineering: The Art of Building Offensive Tools and Infrastructure
Erdmann, Casey
Paperback
CCNP and CCIE Enterprise Core & CCNP Enterprise Advanced Routing Portable Command Guide: All Encor (350-401) and Enarsi (300-410) Commands in One Comp
Empson, Scott
Gargano, Patrick
Paperback
Learn Computer Forensics - Second Edition: Your one-stop guide to searching, analyzing, acquiring, and securing digital evidence
Oettinger, William
Paperback
Zero Trust Networks: Building Secure Systems in Untrusted Networks
Rais, Razi
Morillo, Christina
Gilman, Evan
Paperback
High Performance Browser Networking: What Every Web Developer Should Know about Networking and Web Performance
Grigorik, Ilya
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Paperback
Cisco ASA for Accidental Administrators: An Illustrated Step-by-Step ASA Learning and Configuration Guide
Crawley, Don R.
Paperback
Hands-On Network Forensics: Investigate network attacks and find evidence using common network forensic tools
Jaswal, Nipun
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
The Accidental Administrator: Cisco Router Step-by-Step Configuration Guide
Crawley, Don R.
Paperback
Network Programmability and Automation: Skills for the Next-Generation Network Engineer
Adell, Christian
Lowe, Scott S.
Oswalt, Matt
Paperback
IA desde cero: Inteligencia Artificial explicada de forma fácil
García García-Tuñón, Susana
Paperback
Welcome to the Cold Aisle: A Data Center Technicians No-Nonsense Survival Guide For Day One And On
Ortiz, Jason
Paperback
Crafting Great APIs with Domain-Driven Design: Collaborative Craftsmanship of Asynchronous and Synchronous APIs
Junker, Annegret
Lazzaretti, Fabrizio
Paperback
Delta Lake: The Definitive Guide: Modern Data Lakehouse Architectures with Data Lakes
Lee, Denny
Wentling, Tristen
Haines, Scott
Paperback
Engineering Trustworthy Systems: Get Cybersecurity Design Right the First Time
Saydjari, O. Sami
Paperback
Gray Hat Hacking: The Ethical Hacker's Handbook, Sixth Edition
Sims, Stephen
Harper, Allen
Linn, Ryan
Paperback
Business Data Communications & IT Infrastructures
Daniel, Clinton
Connolly, Amy
Agrawal, Manish
Paperback
Learning API Styles: Understanding the Trade-Offs of Common APIs and Choosing the Correct Solutions
Dynowski, Lukasz
Dulak, Marcin
Paperback
Mike Meyers' Comptia Network+ Guide to Managing and Troubleshooting Networks, Sixth Edition (Exam N10-008)
Jernigan, Scott
Paperback
A Complete Guide to Agentforce: Plan, Design, Build and Run AI Agents with Salesforce
Kovala, Timo
Paperback
The Home Network Manual: The Complete Guide to Setting Up, Upgrading, and Securing Your Home Network
Buchanan, Marlon
Paperback
Wireshark Certified Network Analyst Exam Prep Guide (Second Edition): WCNA Official Exam Prep Guide
Chappell, Laura
Paperback
Linux Kernel Programming - Second Edition: A comprehensive and practical guide to kernel internals, writing modules, and kernel synchronization
Billimoria, Kaiwan N.
Paperback
ITIL(R) 4 Create, Deliver and Support (CDS): Your companion to the ITIL 4 Managing Professional CDS certification
Agutter, Claire
Paperback
A Beginner's Guide to Mainframe z/OS Networking - Connecting and Communicating in the Mainframe World - Book 5
Sahoo, Natabar
Paperback
Mastering Windows Server 2022 - Fourth Edition: Comprehensive administration of your Windows Server environment
Krause, Jordan
Paperback
Fatal Abstraction: Revolutionizing Strategy and Innovation for the Age of AI
Nichols, Michael
Paperback
The Fraud Fighter's AI Playbook: Strategies for the Genai Era
Zamir, Chen
Saporta, Gilit
Maraney, Shoshana
Paperback
Linux for Makers: Understanding the Operating System That Runs Raspberry Pi and Other Maker Sbcs
Newcomb, Aaron
Paperback
Electronics Projects with the Esp8266 and Esp32: Building Web Pages, Applications, and Wifi Enabled Devices
Cameron, Neil
Paperback
CCNP Data Center Application Centric Infrastructure 300-620 Dcaci Official Cert Guide
Ahmadi, Ammar
Hardcover
UNIX in a Nutshell: A Desktop Quick Reference - Covers Gnu/Linux, Mac OS X, and Solaris
Robbins, Arnold
Paperback
Time Management for System Administrators: Stop Working Late and Start Working Smart
Limoncelli, Thomas A.
Paperback
AWS for Solutions Architects - Third Edition: Design and scale secure AWS architectures with GenAI strategies and real-world patterns
Shrivastava, Saurabh
Srivastav, Neelanjali
Thakur, Dhiraj
Paperback
Cisco CCNA Command Guide: An Introductory Guide for CCNA & Computer Networking Beginners
Nastase, Ramon
Paperback
Security Operations Center: Building, Operating, and Maintaining Your Soc
Muniz, Joseph
McIntyre, Gary
Alfardan, Nadhem
Paperback
The Elements of Networking Style: And Other Essays & Animadversions on the Art of Intercomputer Networking
Padlipsky, M. a.
Paperback
Silence on the Wire: A Field Guide to Passive Reconnaissance and Indirect Attacks
Zalewski, Michal
Paperback
The Practice of Network Security Monitoring: Understanding Incident Detection and Response
Bejtlich, Richard
Paperback
Asterisk: The Definitive Guide: Open Source Telephony for the Enterprise
Meggelen, Jim Van
Bryant, Russell
Madsen, Leif
Paperback
IP Subnetting for Beginners: Your Complete Guide to Master IP Subnetting in 4 Simple Steps
Nastase, Ramon A.
Paperback
Development and Deployment of Multiplayer Online Games, Vol. II: DIY, (Re)Actors, Client Arch., Unity/UE4/ Lumberyard/Urho3D
Hare, 'No Bugs'
Hardcover
Mastering Palo Alto Networks - Third Edition: The complete journey to firewall mastery from setup to advanced security
'Reaper', Tom Piens Aka
Paperback
Mastering Linux Security and Hardening - Third Edition: A practical guide to protecting your Linux system from cyber attacks
Tevault, Donald a.
Hardcover
Enterprise Guide for Implementing Generative AI and Agentic AI: A Practical Guide to Developing, Deploying, and Operationalizing Ai-Driven Application
Edward, Shakuntala Gupta
Bhattacharya, Rahul
Sinha, Vikas
Paperback
Top 20 Essential Skills for ArcGIS Utility Network
Mayo, Melissa L.
Cremons, Christopher
Myers, Remi
Paperback
What We Talk About When We Talk About Systems: Essays on the Systems Approach
Davie, Bruce S.
Peterson, Larry L.
Paperback
Hacking Exposed Industrial Control Systems: ICS and Scada Security Secrets & Solutions
Singer, Bryan
Shbeeb, Aaron
Bodungen, Clint
Paperback
Computer Networking: Beginner's guide for Mastering Computer Networking and the
Nastase, Ramon
Paperback
Intro to Bluetooth Low Energy: Learn Bluetooth Low Energy in a single weekend
Afaneh, Mohammad
Paperback
ITIL 4 Digital and IT Strategy (DITS): Your companion to the ITIL 4 Strategic Leader DITS certification
Agutter, Claire
Paperback
iPhone 8: The User Guide For all iPhone 8, iPhone 8 Plus and older iPhone model Users
Binjeh, Jhale
Paperback
Beginning Lora Radio Networks with Arduino: Build Long Range, Low Power Wireless Iot Networks
Seneviratne, Pradeeka
Paperback
The Iot Hacker's Handbook: A Practical Guide to Hacking the Internet of Things
Gupta, Aditya
Paperback
Comando de Linux: Una guía completa para principiantes para aprender los reinos del comando Linux desde A-Z
Vance, William
Paperback
Agentic AI in Enterprise: Harnessing Agentic AI for Business Transformation
Lobo, Lanwin
Ranjan, Sumit
Chembachere, Divya
Paperback
Comptia(r) Network+ 1 Concepts & Implementation Study Guide: A Quickstudy Laminated Reference
Antoniou, George
Other
Perceptrons, Reissue of the 1988 Expanded Edition with a New Foreword by Léon Bottou: An Introduction to Computational Geometry
Minsky, Marvin
Papert, Seymour A.
Paperback
Tapo Tp-Link 1080p Indoor Security Camera User Guide: Unlock Powerful Tools for Safer Spaces and Smarter Control
Marcus, Alex
Paperback
Network Security with OpenSSL: Cryptography for Secure Communications
Viega, John
Messier, Matt
Chandra, Pravir
Paperback
TCP/IP Illustrated, Volume 3: TCP for Transactions, Http, Nntp, and the UNIX Domain Protocols
Stevens, W.
Paperback
IDS and IPS with Snort 3: Get up and running with Snort 3 and discover effective solutions to your security issues
Thomas, Ashley
Paperback
Ethernet: The Definitive Guide: Designing and Managing Local Area Networks
Zimmerman, Joann
Spurgeon, Charles E.
Paperback
Intelligent Iot Analytics: Concepts and Real-World Applications
Mahendra, Adhiguna
Rinaldi, Ekki
Paperback
AI Networking Cookbook: Practical recipes for AI-assisted network automation and development
Chou, Eric
Paperback
Samsung Galaxy A16 5g User Guide for Beginners and Seniors: Samsung Galaxy A16 5g User Guide for Beginners and Seniors
Macvey, Elliot A. a.
Paperback
Cwna Certified Wireless Network Administrator Study Guide: Exam Cwna-108
Coleman, David D.
Westcott, David A.
Paperback
Segment Routing for Service Provider and Enterprise Networks
Deragisch, Florian
Minder, Rene
Hoxha, Leonir
Paperback
Practical Lakehouse Architecture: Designing and Implementing Modern Data Platforms at Scale
Thalpati, Gaurav Ashok
Paperback
Business Data Communications and Networking
Dennis, Alan
Durcikova, Alexandra
Fitzgerald, Jerry
Paperback
Development and Deployment of Multiplayer Online Games, Vol. I: GDD, Authoritative Servers, Communications
Hare, 'No Bugs'
Hardcover
Networking Basics: The Complete Guide on Internet Protocols and OSI Model. Includes a Useful Section about Wireless Home Networking.
Computer Networking School
Paperback
Computer Networking for Beginners: The Beginner's guide for Mastering Computer Networking, the Internet and the OSI Model
Nastase, Ramon Adrian
Paperback
Wireless Security Architecture: Designing and Maintaining Secure Wireless for Enterprise
Minella, Jennifer
Paperback
Eco-Networking for Iot: Designing Energy-Efficient Models to Enhance Network Performance
Pandey, Bishwajeet
Sharma, Divya
Paperback