Passer au contenu principal Passer au contenu du pied de page

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

Dirk Beyer Édition : Arnd Hartmanns , Fabrice Kordon

5 décembre 2024

80,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 403 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

172

Lecture Notes In Computer Science

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783031676949

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

Dirk Beyer Couverture souple
80,50 $
2 formats offerts
CDC: The happy years with a spectacular IT 'Phenomena': The Control Data Corporation.

Hans Bodmer Couverture souple
33,95 $
2 formats offerts
Bullseye with Dart: Hitting the Mark in App Development

Nina Barrett Livre numérique Kobo
13,99 $
Electronic Warfare for the Digitized Battlefield

Frater Frater Couverture rigide
191,50 $
Digital Gold: Unraveling the Secrets of Bitcoin. Bitcoin: The Ultimate Guide to the Revolutionary Cryptocurrency

Mustafa A.B Livre numérique Kobo
10,99 $
Divided Differences, Falling Factorials, and Discrete Splines: Another Look at Trend Filtering and Related Problems

Ryan J Tibshirani Couverture souple
128,95 $
Decoding Digital Assets: Distinguishing the Dream from the Dystopia in Stablecoins, Tokenized Deposits, and Central Bank Digital Currencies

Leon V. Schumacher Couverture souple
72,95 $
Visioning and Engineering the Knowledge Society - A Web Science Perspective: Second World Summit on the Knowledge Society, WSKS 2009, Chania, Crete, Greece, September 16-18, 2009. Proceedings

Miltiadis D. Lytras Couverture souple
160,95 $
Decoding Digital Assets: Distinguishing the Dream from the Dystopia in Stablecoins, Tokenized Deposits, and Central Bank Digital Currencies

Leon V. Schumacher Couverture rigide
80,50 $
2 formats offerts
AI in Supply Chain and Logistics: Revolutionize Your Supply Chain and Logistics with AI

Prakash Kumar Udupi Couverture souple
32,50 $
The History And Evolutrion Of Bitcoin And Other Cryptocurrencies

Dizzy Davidson Couverture souple
17,99 $
The Cybernetic Society: How Humans and Machines Will Shape the Future Together

Amir Husain Couverture rigide
40,00 $
2 formats offerts
Fun Inc.: Why games are the 21st Century's most serious business

Tom Chatfield Livre numérique Kobo
15,99 $
Security Monitoring with Wazuh: A hands-on guide to effective enterprise security using real-life use cases in Wazuh

Rajneesh Gupta Couverture souple
56,99 $
Protein Homology Detection Through Alignment of Markov Random Fields: Using MRFalign

Jinbo Xu Couverture souple
80,50 $
2 formats offerts
Reduce Cloud Computing Cost: 101 Ideas to Save Millions in Public Cloud Spending

Abhinav Abhinav Mittal Couverture souple
12,95 $
2 formats offerts
A Short Treatise On Several Improvements, Recently Made in Hot-Houses: By Which From Four-Fifths to Nine-Tenths of the Fuel Commonly Used Will Be Saved; Time, Labour, and Risk, Greatly Lessened; and Several Other Advantages Produced. and Which Are Applica

John Claudius Loudon Couverture souple
25,85 $
Smart and Gets Things Done: Joel Spolsky's Concise Guide to Finding the Best Technical Talent

Avram Joel Spolsky Couverture souple
48,50 $
The Ordinary Man's Guide to the History of Information Technology: Computer History

Lawrence H Hardy Couverture souple
18,50 $
Pervasive Displays: Understanding the Future of Digital Signage

Nigel Davies Couverture souple
49,50 $

Évaluation éditoriale

arnd hartmanns

Auteur

TOOLympics Challenge 2023: Updates, Results, Successes of the Formal-Methods Competitions

Dirk Beyer Couverture souple
80,50 $
2 formats offerts
Algorithms for Big Data: DFG Priority Program 1736

Hannah Bast Couverture souple
72,95 $
2 formats offerts
Active Object Languages: Current Research Trends

Frank de Boer Couverture souple
109,50 $
2 formats offerts
Basics Of Bioinformatics: Lecture Notes Of The Graduate Summer School On Bioinformatics Of China

Rui Jiang Couverture souple
160,95 $
3 formats offerts
Reversible Computation: Extending Horizons Of Computing: Selected Results Of The Cost Action Ic1405

Irek Ulidowski Couverture souple
72,95 $
2 formats offerts
Arithmetic Circuits: A Survey of Recent Results and Open Questions

Amir Shpilka Couverture souple
128,95 $
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part I

Ana Cavalcanti Couverture souple
109,50 $
2 formats offerts
The Practice of Formal Methods: Essays in Honour of Cliff Jones, Part II

Ana Cavalcanti Couverture souple
109,50 $
2 formats offerts
Frontiers and Challenges in Warm Dense Matter

Frank Graziani Couverture rigide
248,50 $
2 formats offerts
Cybersecurity of Digital Service Chains: Challenges, Methodologies, and Tools

Joanna Koåodziej Couverture souple
72,95 $
2 formats offerts
Interactive Markov Chains: The Quest For Quantified Quality

Holger Hermanns Couverture souple
80,50 $
Progress on Cryptography: 25 Years of Cryptography in China

Kefei Chen Couverture souple
160,95 $
2 formats offerts
Software Quality Assurance: Consistency In The Face Of Complexity And Change

Neil Walkinshaw Couverture souple
87,95 $
Finite Difference Computing With Exponential Decay Models

Hans Petter Langtangen Couverture souple
87,95 $
3 formats offerts
3D Research Challenges in Cultural Heritage III: Complexity and Quality in Digitisation

Marinos Ioannides Couverture souple
72,95 $
2 formats offerts
Principles Of Parallel Scientific Computing: A First Guide To Numerical Concepts And Programming Methods

Tobias Weinzierl Couverture souple
72,95 $
2 formats offerts
Automata, Logics, And Infinite Games: A Guide To Current Research

Erich Grädel Couverture souple
116,95 $
Interacting Code Motion Transformations: Their Impact And Their Complexity

Oliver Rüthing Couverture souple
80,50 $
Logic Program Synthesis from Incomplete Information

Pierre Flener Couverture souple
248,50 $
2 formats offerts
Computability and Complexity: Foundations and Tools for Pursuing Scientific Applications

Rod Downey Couverture souple
87,95 $