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

Édition : Jonathan P. Bowen

10 septembre 2023

84,99 $ ~~Réduction sur le prix courant 105,68 $ à~~

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

Acheter le livre numérique

Description

Langue

anglais

Lecture Notes In Computer Science

Publié par: Springer Nature Switzerland

ISBN: 9783031404368

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

jonathan p bowen

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