![]() |
Formal Methods for an Informal World
ISBN: 9783031436772 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic. The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide... This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an... |
cena:
203,61 |
![]() |
Arduino for Beginners: Beginners guide on How To Learn Arduino Advanced Methods and Strategies
ISBN: 9781803064185 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
121,04 |
![]() |
Building an API Product: Design, implement, and release API products that meet user needs
ISBN: 9781837630448 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
183,70 |
![]() |
Continuous Deployment: Enable Faster Feedback, Safer Releases, and More Reliable Software
ISBN: 9781098146726 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
257,75 |
![]() |
Edge Computing Patterns for Solution Architects: Learn methods and principles of resilient distributed application architectures from hybrid cloud to
ISBN: 9781805124061 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
174,94 |
![]() |
Playful Python Projects: Modeling and Animation
ISBN: 9781032595832 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
341,33 |
![]() |
Playful Python Projects: Modeling and Animation
ISBN: 9781032595849 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
252,27 |
![]() |
C# Interview Guide: Boost your confidence with answers to hundreds of secret interview questions
ISBN: 9781805120469 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
183,70 |
![]() |
Differential Equations: Solving Ordinary and Partial Differential Equations with Mathematica(r)
ISBN: 9783111411095 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
451,21 |
![]() |
Programmierung in Python: Ein Kompakter Einstieg F?r Die Praxis
ISBN: 9783658442859 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
190,29 |
![]() |
Your Code as a Crime Scene, Second Edition: Use Forensic Techniques to Arrest Defects, Bottlenecks, and Bad Design in Your Programs
ISBN: 9798888650325 / Angielski / Miękka / 335 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
212,70 |
![]() |
Taming the Infinities of Concurrency: Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
ISBN: 9783031562211 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
529,44 |
![]() |
Programming with Python for Engineers
ISBN: 9783031571473 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
325,79 |
![]() |
Programmieren in PL 1
ISBN: 9783112716984 / Niemiecki Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
554,60 |
![]() |
Ultimate Rust for Systems Programming
ISBN: 9788196994730 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
196,64 |
![]() |
Practical WebAssembly: Fast, Maintainable, and Secure Code for Web Developers
ISBN: 9781098142520 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
275,97 |
![]() |
Cloud Native Go: Building Reliable Services in Unreliable Environments
ISBN: 9781098156428 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
273,38 |
![]() |
Object-based Programming with Go
ISBN: 9783658447038 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
154,73 |
![]() |
Qt 6 C++ GUI Programming Cookbook - Third Edition: Practical recipes for building cross-platform GUI applications, widgets, and animations with Qt 6
ISBN: 9781805122630 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,19 |
![]() |
Git Repository Management in 30 Days: Learn to manage code repositories like a pro (English Edition)
ISBN: 9789355518071 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
114,63 |