Sign-In
Cart
Rewriting Logic and Its Applications: 14th International Workshop, Wrla 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers
Paperback
Series: Lecture Notes in Computer Science, Book 1325
ISBN13: 9783031124402
Publisher: Springer Nature
Published: Jul 30 2022
Pages: 295
Weight: 0.94
Height: 0.64 Width: 6.14 Depth: 9.21
Language: English
The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.
Also from
Bae, Kyungmin
Also in
Programming
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Collector's Edition
Piggyback
Hardcover
Cracking the Coding Interview: 189 Programming Questions and Solutions
McDowell, Gayle Laakmann
Paperback
The Legend of Zelda(tm) Tears of the Kingdom - The Complete Official Guide: Standard Edition
Piggyback
Paperback
The Pragmatic Programmer: Your Journey to Mastery, 20th Anniversary Edition
Thomas, David
Hunt, Andrew
Hardcover
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Matthes, Eric
Paperback
Accelerate: The Science of Lean Software and DevOps: Building and Scaling High Performing Technology Organizations
Humble, Jez
Kim, Gene
Forsgren Phd, Nicole
Paperback
Embedded Systems with ARM Cortex-M Microcontrollers in Assembly Language and C: Fourth Edition
Zhu, Yifeng
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Hardcover
Learning Php, MySQL & JavaScript: A Step-By-Step Guide to Creating Dynamic Websites
Nixon, Robin
Paperback
The Manager's Path: A Guide for Tech Leaders Navigating Growth and Change
Fournier, Camille
Paperback
Automate the Boring Stuff with Python, 2nd Edition: Practical Programming for Total Beginners
Sweigart, Al
Paperback
The Staff Engineer's Path: A Guide for Individual Contributors Navigating Growth and Change
Reilly, Tanya
Paperback
The Official Raspberry Pi Handbook 2025: Projects, Tutorials, Interviews, and Reviews from the Magpi Magazine
Makers of the Magpi Magazine, The
Paperback
Head First JavaScript Programming: A Learner's Guide to Modern JavaScript
Freeman, Eric
Robson, Elisabeth
Paperback
This Is Service Design Doing: Applying Service Design Thinking in the Real World
Lawrence, Adam
Hormess, Markus Edgar
Stickdorn, Marc
Paperback
The DevOps Handbook: How to Create World-Class Agility, Reliability, & Security in Technology Organizations
Kim, Gene
Humble, Jez
Debois, Patrick
Paperback
Learning Web Design: A Beginner's Guide to Html, Css, Javascript, and Web Graphics
Robbins, Jennifer
Paperback
Head First Design Patterns: Building Extensible and Maintainable Object-Oriented Software
Robson, Elisabeth
Freeman, Eric
Paperback
Spies, Lies, and Algorithms: The History and Future of American Intelligence
Zegart, Amy B.
Paperback
Pro C# 10 with .Net 6: Foundational Principles and Practices in Programming
Japikse, Phil
Troelsen, Andrew
Paperback
Design Patterns: Elements of Reusable Object-Oriented Software
Gamma, Erich
Helm, Richard
Johnson, Ralph
Hardcover
Head First C#: A Learner's Guide to Real-World Programming with C# and .Net
Greene, Jennifer
Stellman, Andrew
Paperback
Embedded Systems with Arm Cortex-M Microcontrollers in Assembly Language and C: Third Edition
Zhu, Yifeng
Paperback
Gestión práctica de proyectos con Scrum: Desarrollo de software ágil para el Scrum Master
Martel, Antonio
Paperback
Serious Cryptography, 2nd Edition: A Practical Introduction to Modern Encryption
Aumasson, Jean-Philippe
Paperback
Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures
Richards, Mark
Sadalage, Pramod
Ford, Neal
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 8 - Volume 1 (Fourth Edition)
Cipriani, Alessandro
Giri, Maurizio
Paperback
Make: Electronics: Learning by Discovery: A Hands-On Primer for the New Electronics Enthusiast
Platt, Charles
Paperback
Learn OpenGL: Learn modern OpenGL graphics programming in a step-by-step fashion.
de Vries, Joey
Paperback
Leading Quality: How Great Leaders Deliver High Quality Software and Accelerate Growth
Peer, Owais
Cummings -. John, Ronald
Paperback
Concrete Mathematics: A Foundation for Computer Science
Graham, Ronald
Patashnik, Oren
Knuth, Donald
Hardcover
Data Visualization with Microsoft Power Bi: How to Design Savvy Dashboards
Zelensky, Maxim
Kolokolov, Alex
Paperback
Living a Jewish Life, Revised and Updated: Jewish Traditions, Customs, and Values for Today's Families
Diamant, Anita
Cooper, Howard
Paperback
Dark Souls: Beyond the Grave Volume 1: Demon's Souls -- Dark Souls -- Dark Souls II
Mecheri, Damien
Romieu, Sylvain
Hardcover
Aprenda Visual Basic (Vba) Y Macros Para Excel: Más de 100 ejercicios resueltos, macros y juegos, para desarrollar tus habilidades de programación
Vidal Bosch, Josep Ramon
Paperback
Building AI-Powered Products: The Essential Guide to AI and Genai Product Management
Nika, Marily
Paperback
Video Game of the Year: A Year-By-Year Guide to the Best, Boldest, and Most Bizarre Games from Every Year Since 1977
Minor, Jordan
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
Cipriani, Alessandro
Giri, Maurizio
Paperback
Computer Science Distilled: Learn the Art of Solving Computational Problems
Ferreira Filho, Wladston
Paperback
The Digital Photography Book: The Step-By-Step Secrets for How to Make Your Photos Look Like the Pros'!
Kelby, Scott
Paperback
Modern Software Engineering: Doing What Works to Build Better Software Faster
Farley, David
Paperback
Linux Basics for Hackers: Getting Started with Networking, Scripting, and Security in Kali
Occupytheweb
Paperback
Javascript: The Definitive Guide: Master the World's Most-Used Programming Language
Flanagan, David
Paperback
Electronic Music and Sound Design - Theory and Practice with Max 8 - Volume 2 (Third Edition)
Cipriani, Alessandro
Giri, Maurizio
Paperback
Software Wasteland: How the Application-Centric Mindset is Hobbling our Enterprises
McComb, Dave
Paperback
Workday Gold: A Collection of Keith Bitikofer's #WorkdayTips Focused on Software Functionality 2021-2023
Bitikofer, Keith
Paperback
JavaScript Crash Course: A Hands-On, Project-Based Introduction to Programming
Morgan, Nick
Paperback
SQL QuickStart Guide: The Simplified Beginner's Guide to Managing, Analyzing, and Manipulating Data With SQL
Shields, Walter
Paperback
Python Basics: A Practical Introduction to Python 3
Heisler, Fletcher
Bader, Dan
Jablonski, Joanna
Paperback
Dark Souls: Beyond the Grave Volume 2: Bloodborne €" Dark Souls III
Mecheri, Damien
Romieu, Sylvain
Hardcover
Designing Distributed Systems: Patterns and Paradigms for Scalable, Reliable Systems Using Kubernetes
Burns, Brendan
Paperback
Python Machine Learning By Example - Fourth Edition: Unlock machine learning best practices with real-world use cases
Liu, Yuxi (Hayden)
Paperback
The Practice of Enterprise Architecture: A Modern Approach to Business and IT Alignment
Kotusev, Svyatoslav
Hardcover
Simple SysML for Beginners: Using CATIA No Magic Products
Hetherington, David
Casse, Olivier
Braun, Frank
Paperback
Algorithms Illuminated (Part 3): Greedy Algorithms and Dynamic Programming
Roughgarden, Tim
Paperback
Blueprints Visual Scripting for Unreal Engine 5: Unleash the true power of Blueprints to create impressive games and applications in UE5
Romero, Marcos
Sewell, Brenden
Paperback
Prompt Engineering for Llms: The Art and Science of Building Large Language Model-Based Applications
Ziegler, Albert
Berryman, John
Paperback