Sign-In
Cart
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
Paperback
ISBN13: 9783030720124
Publisher: Springer
Published: Mar 23 2021
Pages: 465
Weight: 1.49
Height: 0.98 Width: 6.14 Depth: 9.21
Language: English
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic.
The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers.
The papers are organized in topical sections as follows:
Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication.
Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
1 different editions
Also available
Also in
General Computers
This Program Is Brought to You by . . .: Distributing Television News Online
Braun, Joshua A.
Paperback
The Year in Tech, 2025: The Insights You Need from Harvard Business Review
Webb, Amy
Farri, Elisa
Review, Harvard Business
Paperback
The Technological Republic: Hard Power, Soft Belief, and the Future of the West
Zamiska, Nicholas W.
Karp, Alexander C.
Hardcover
AI Snake Oil: What Artificial Intelligence Can Do, What It Can't, and How to Tell the Difference
Kapoor, Sayash
Narayanan, Arvind
Hardcover
Hbr's 10 Must Reads on AI (with Bonus Article How to Win with Machine Learning by Ajay Agrawal, Joshua Gans, and AVI Goldfarb)
Review, Harvard Business
Davenport, Thomas H.
Iansiti, Marco
Paperback
Mindmasters: The Data-Driven Science of Predicting and Changing Human Behavior
Matz, Sandra
Hardcover
The Coming Wave: Technology, Power, and the Twenty-First Century's Greatest Dilemma
Suleyman, Mustafa
Hardcover
Generative Ai: The Insights You Need from Harvard Business Review
Cremer, David De
Review, Harvard Business
Mollick, Ethan
Paperback
AI for Educators: Learning Strategies, Teacher Efficiencies, and a Vision for an Artificial Intelligence Future
Miller, Matt
Paperback
More Human: How the Power of AI Can Transform the Way You Lead
Carter, Jacqueline
Hougaard, Rasmus
Hardcover
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Kleppmann, Martin
Paperback
Teaching with AI: A Practical Guide to a New Era of Human Learning
Bowen, José Antonio
Watson, C. Edward
Paperback
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Bender, Emily M.
Hanna, Alex
Hardcover
Brave New Words: How AI Will Revolutionize Education (and Why That's a Good Thing)
Khan, Salman
Hardcover
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
Atlas of AI: Power, Politics, and the Planetary Costs of Artificial Intelligence
Crawford, Kate
Paperback
Princeton Review AP Computer Science a Prep, 8th Edition: 5 Practice Tests + Complete Content Review + Strategies & Techniques
The Princeton Review
Paperback
AI Valley: Microsoft, Google, and the Trillion-Dollar Race to Cash in on Artificial Intelligence
Rivlin, Gary
Hardcover
Banking on (Artificial) Intelligence: Navigating the Realities of AI in Financial Services
Lau, Theodora
Paperback
Digital Dharma: How AI Can Elevate Spiritual Intelligence and Personal Well-Being
Chopra, Deepak
Hardcover
Nexus: A Brief History of Information Networks from the Stone Age to AI (Large Print Edition)
Harari, Yuval Noah
Paperback
RHCSA Red Hat Enterprise Linux 9: Training and Exam Preparation Guide (EX200), Third Edition
Ghori, Asghar
Paperback
AI for Life: 100+ Ways to Use Artificial Intelligence to Make Your Life Easier, More Productive...and More Fun!
Quillian, Celia
Paperback
The Black Swan: Second Edition: The Impact of the Highly Improbable: With a New Section: On Robustness and Fragility
Taleb, Nassim Nicholas
Paperback
Minecraft: Exploded Builds: Medieval Fortress: An Official Mojang Book
The Official Minecraft Team
Mojang Ab
Paperback
The Death of Expertise: The Campaign Against Established Knowledge and Why It Matters
Nichols, Tom
Paperback
Fans First: Change The Game, Break the Rules & Create an Unforgettable Experience
Cole, Jesse
Paperback
Minecraft: Guide Collection 4-Book Boxed Set (Updated): Survival (Updated), Creative (Updated), Redstone (Updated), Combat
Mojang Ab
The Official Minecraft Team
Hardcover
Hands-On Large Language Models: Language Understanding and Generation
Alammar, Jay
Grootendorst, Maarten
Paperback
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
The Thinking Machine: Jensen Huang, Nvidia, and the World's Most Coveted Microchip
Witt, Stephen
Hardcover
The Chaos Machine: The Inside Story of How Social Media Rewired Our Minds and Our World
Fisher, Max
Paperback
R for Data Science: Import, Tidy, Transform, Visualize, and Model Data
Wickham, Hadley
Grolemund, Garrett
Cetinkaya-Rundel, Mine
Paperback
What Tech Calls Thinking: An Inquiry Into the Intellectual Bedrock of Silicon Valley
Daub, Adrian
Paperback
Recoding America: Why Government Is Failing in the Digital Age and How We Can Do Better
Pahlka, Jennifer
Hardcover
Computer Science: An Illustrated History of the World's Smartest Machines (100 Ponderables)
Jackson, Tom
Hardcover
Practical Charts: The Essential Guide to Creating Clear, Compelling Charts for Reports and Presentations
Desbarats, Nicholas P.
Paperback
Laptops for Seniors in Easy Steps, 9th Edition: Updated to Cover All Laptops with the Windows 11 2024 Update
Vandome, Nick
Paperback
The Mechanic and the Luddite: A Ruthless Criticism of Technology and Capitalism
Sadowski, Jathan
Paperback
Exploring Windows 11 - 2024 Edition: The Illustrated, Practical Guide to Using Microsoft Windows
Wilson, Kevin
Paperback
Fundamentals of Data Engineering: Plan and Build Robust Data Systems
Housley, Matt
Reis, Joe
Paperback
Prompt Engineering for Generative AI: Future-Proof Inputs for Reliable AI Outputs
Phoenix, James
Taylor, Mike
Paperback
Isc2 Cissp Certified Information Systems Security Professional Official Study Guide & Practice Tests Bundle
Gibson, Darril
Chapple, Mike
Stewart, James Michael
Paperback
Algorithms to Live by: The Computer Science of Human Decisions
Christian, Brian
Griffiths, Tom
Paperback
Arduino: 101 Beginners Guide: How to get started with Your Arduino (Tips, Tricks, Projects and More!)
Savasgard, Erik
Paperback
You Look Like a Thing and I Love You: How Artificial Intelligence Works and Why It's Making the World a Weirder Place
Shane, Janelle
Paperback
Human + Machine, Updated and Expanded: Reimagining Work in the Age of AI
Wilson, H. James
Daugherty, Paul R.
Hardcover
Verified: How to Think Straight, Get Duped Less, and Make Better Decisions about What to Believe Online
Wineburg, Sam
Caulfield, Mike
Paperback
How to Teach AI: Weaving Strategies and Activities Into Any Content Area
Poth, Rachelle Dené
Paperback
Crypto Confidential: Winning and Losing Millions in the New Frontier of Finance
Eliason, Nathaniel
Hardcover
Exploring Apple Mac - Sequoia Edition: The Illustrated, Practical Guide to Using MacOS
Wilson, Kevin
Paperback
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Huyen, Chip
Paperback
Your Stone Age Brain in the Screen Age: Coping with Digital Distraction and Sensory Overload
Cytowic, Richard E.
Hardcover
Building AI-Powered Products: The Essential Guide to AI and Genai Product Management
Nika, Marily
Paperback
Future Ready: The Four Pathways to Capturing Digital Value
Sebastian, Ina M.
Woerner, Stephanie L.
Weill, Peter
Hardcover
AP Computer Science a Premium, 12th Edition: Prep Book with 6 Practice Tests + Comprehensive Review + Online Practice
Teukolsky, Roselyn
Barron's Educational Series
Paperback
Automate the Boring Stuff with Python, 2nd Edition: Practical Programming for Total Beginners
Sweigart, Al
Paperback
PLC Controls with Structured Text (ST), V3: IEC 61131-3 and best practice ST programming
Antonsen, Tom Mejer
Paperback
Irresistible: The Rise of Addictive Technology and the Business of Keeping Us Hooked
Alter, Adam
Paperback
Ocp Oracle Certified Professional Java Se 21 Developer Study Guide
Selikoff, Scott
Boyarsky, Jeanne
Paperback
ITIL(R) 4 Essentials: Your essential guide for the ITIL 4 Foundation exam and beyond
Agutter, Claire
Paperback
The Algorithm: How AI Decides Who Gets Hired, Monitored, Promoted, and Fired and Why We Need to Fight Back Now
Schellmann, Hilke
Hardcover
NPR's Podcast Start Up Guide: Create, Launch, and Grow a Podcast on Any Budget
Weldon, Glen
Paperback
Better Data Visualizations: A Guide for Scholars, Researchers, and Wonks
Schwabish, Jonathan
Paperback
The Afterlife of Data: What Happens to Your Information When You Die and Why You Should Care
Öhman, Carl
Hardcover