Passer au contenu principal Passer au contenu du pied de page

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Jonathan P. Bowen Édition : Qin Li , Qiwen Xu

10 août 2023

116,95 $

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 585 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

413

Lecture Notes In Computer Science

Publié par: Springer Nature

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

ISBN: 9783031404351

Analysis of Experimental Algorithms: Special Event, SEA 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Paper: Special Event, SEA 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers

Ilias Kotsireas Couverture souple
131,50 $
2 formats offerts
Data Science and Machine Learning Interview Questions Using R: Crack the Data Scientist and Machine Learning Engineers Interviews with Ease

Vishwanathan Narayanan Livre numérique Kobo
16,99 $ ~~Réduction sur le prix courant 20,48 $ à~~
Modernizing Oracle Tuxedo Applications with Python: A practical guide to using Oracle Tuxedo in the 21st century

Aivars Kalvans Livre numérique Kobo
40,99 $ ~~Réduction sur le prix courant 50,66 $ à~~
Programming Languages with Applications to Biology and Security: Essays Dedicated To Pierpaolo Degano On The Occasion Of His 65th Birthday

Chiara Bodei Couverture souple
80,50 $
2 formats offerts
PYTHON DATA SCIENCE FOR BEGINNERS: Unlock the Power of Data Science with Python and Start Your Journey as a Beginner (2023 Crash Course)

Rufus Johnston Livre numérique Kobo
9,99 $ ~~Réduction sur le prix courant 11,99 $ à~~
Human Pose Analysis: Deep Learning Meets Human Kinematics in Video

Songlin Du Couverture rigide
262,95 $
Python Data Science for Beginners: Unlock the Power of Data Science with Python and Start Your Journey as a Beginner (2023 Crash Course)

Rufus Johnston Couverture souple
31,99 $
Learn all about Spring Boot: Building Modern Java Applications

Innoware Pjp Couverture souple
19,50 $
Building Big Data Pipelines with Apache Beam: Use a single programming model for both batch and stream data processing

Jan Lukavsky Livre numérique Kobo
43,99 $ ~~Réduction sur le prix courant 54,77 $ à~~
Distributed AI in Edge-Based Zero-Touch Networks

Couverture rigide
269,99 $
Cool Math For Hot Music: A First Introduction To Mathematics For Music Theorists

Guerino Mazzola Couverture souple
102,50 $
2 formats offerts
Next-gen Digital Services. A Retrospective And Roadmap For Service Computing Of The Future: Essays Dedicated To Michael Papazoglou On The Occasion Of His 65th Birthday And His Retirement

Marco Aiello Couverture souple
80,50 $
2 formats offerts
Instant Apache Maven Starter

Maurizio Turatti Couverture souple
22,99 $
State-of-the-art Deep Learning Models In Tensorflow: Modern Machine Learning In The Google Colab Ecosystem

David Paper Couverture souple
116,95 $
2 formats offerts
Microsoft OneDrive 2024: Exploring the advanced features of Microsoft OneDrive in the Business World. Save and secure your document in the cloud, scan it with your mobile phone, and a lot more.

Nelson Turner Couverture souple
15,95 $
Cabling: The Complete Guide to Copper and Fiber-Optic Networking

Bill Woodward Couverture souple
113,00 $
2 formats offerts
Visual Studio 2019 VB.NET Reports: Working with the OLEDB and the Dataset

Richard Edwards Couverture souple
13,00 $
Web Development with Blazor - Third Edition: A practical guide to start building interactive UIs with C# 12 and .NET 8

Jimmy Engström Couverture souple
69,99 $
Learn to Code. Get a Job. The Ultimate Guide to Learning and Getting Hired as a Developer.

Gwendolyn Faraday Livre numérique Kobo
6,99 $
HTML, CSS, Bootstrap, Php, Javascript and MySql: All you need to know to create a dynamic site

OLGA MARIA STEFANIA CUCARO Livre numérique Kobo
24,99 $

Évaluation éditoriale

qin li

Auteur

Applicable Formal Methods for Safe Industrial Products: Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Anne E. Haxthausen Couverture souple
109,50 $
2 formats offerts
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday

Jean-françois Raskin Couverture souple
145,95 $
2 formats offerts
The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hahnle on the Occasion of His 60th Birthday

Wolfgang Ahrendt Couverture souple
160,95 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
109,50 $
2 formats offerts
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Pedro Lopez-garcia Couverture souple
204,50 $
2 formats offerts
A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

Nils Jansen Couverture souple
80,50 $
2 formats offerts
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Couverture souple
109,50 $
2 formats offerts
Treewidth, Kernels, And Algorithms: Essays Dedicated To Hans L. Bodlaender On The Occasion Of His 60th Birthday

Fedor V. Fomin Couverture souple
102,50 $
2 formats offerts
Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Venanzio Capretta Couverture souple
189,95 $
2 formats offerts
Fields Of Logic And Computation Iii: Essays Dedicated To Yuri Gurevich On The Occasion Of His 80th Birthday

Andreas Blass Couverture souple
80,50 $
2 formats offerts
Symposium On Real-time And Hybrid Systems: Essays Dedicated To Professor Chaochen Zhou On The Occasion Of His 80th Birthday

Cliff Jones Couverture souple
80,50 $
2 formats offerts
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Stefan Kiefer Couverture souple
189,95 $
2 formats offerts
Formal Methods In Outer Space: Essays Dedicated To Klaus Havelund On The Occasion Of His 65th Birthday

Ezio Bartocci Couverture souple
87,95 $
2 formats offerts
Models, Languages, And Tools For Concurrent And Distributed Programming: Essays Dedicated To Rocco De Nicola On The Occasion Of His 65th Birthday

Michele Boreale Couverture souple
80,50 $
2 formats offerts
Programming Languages with Applications to Biology and Security: Essays Dedicated To Pierpaolo Degano On The Occasion Of His 65th Birthday

Chiara Bodei Couverture souple
80,50 $
2 formats offerts
The Combined Power of Research, Education, and Dissemination: Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

Mike Hinchey Couverture souple
109,50 $
2 formats offerts
Model Checking, Synthesis, And Learning: Essays Dedicated To Bengt Jonsson On The Occasion Of His 60th Birthday

Ernst-Rüdiger Olderog Couverture souple
102,50 $
2 formats offerts
The Application of Formal Methods: Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

Simon Foster Couverture souple
72,95 $
From Multimedia Communications to the Future Internet: Essays Dedicated to Ralf Steinmetz on the Occasion of His Retirement

Stefan Schulte Couverture souple
94,95 $
2 formats offerts
Logic, Computation And Rigorous Methods: Essays Dedicated To Egon Borger On The Occasion Of His 75th Birthday

Alexander Raschke Couverture souple
80,50 $
2 formats offerts