» książki » Computers - Languages - General
 |
Functional Programming in C#
ISBN: 9781617299827 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
320,78 zł |
 |
JMP for Mixed Models
ISBN: 9781951684020 / Angielski / Miękka / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
236,51 zł |
 |
JMP for Mixed Models
ISBN: 9781952365218 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
305,38 zł |
 |
Beginner's Guide to Kotlin Programming
ISBN: 9783030808921 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
221,90 zł |
 |
Git for Programmers: Master Git for effective implementation of version control for your programming projects
ISBN: 9781801075732 / Angielski / Miękka / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
236,69 zł |
 |
Quantum Computing: An Applied Approach
ISBN: 9783030832735 / Angielski / Twarda / 422 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
161,36 zł |
 |
Euro-Par 2021: Parallel Processing: 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Procee
ISBN: 9783030856649 / Angielski / Miękka / 607 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
484,18 zł |
 |
The Art of Machine Learning: A Hands-On Guide to Machine Learning with R
ISBN: 9781718502109 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
242,07 zł |
 |
Go Brain Teasers: Exercise Your Mind
ISBN: 9781680508994 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
86,66 zł |
 |
bash Idioms: Write Powerful, Flexible, Readable Shell Scripts
ISBN: 9781492094753 / Angielski / Miękka / 167 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
215,17 zł |
 |
Logic and Argumentation: 4th International Conference, Clar 2021, Hangzhou, China, October 20-22, 2021, Proceedings
ISBN: 9783030893903 / Angielski / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
363,12 zł |
 |
R 4 Quick Syntax Reference: A Pocket Guide to the Language, Api's and Library
ISBN: 9781484279236 / Angielski / Miękka / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
211,32 zł |
 |
Practical Digital Design: An Introduction to VHDL
ISBN: 9781612497662 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
365,83 zł |
 |
Understanding Programming Languages
ISBN: 9783030592592 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,72 zł |
 |
Machine Learning for Decision Sciences with Case Studies in Python
ISBN: 9781032193564 / Angielski / Twarda / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
853,61 zł |
 |
Cutting Down: An Evidence-Based CBT Workbook for Treating Young People Who Self-Harm
ISBN: 9780367755805 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
658,50 zł |
 |
Coding All-in-One For Dummies
ISBN: 9781119889564 / Angielski / Miękka / 896 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
146,23 zł |
 |
Solutions Architect's Handbook - Second Edition: Kick-start your career as a solutions architect by learning architecture design principles and strate
ISBN: 9781801816618 / Angielski / Miękka / 588 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
387,33 zł |
 |
Software Verification: 13th International Conference, Vstte 2021, New Haven, Ct, Usa, October 18-19, 2021, and 14th International Workshop, N
ISBN: 9783030955601 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pandemic the conference was held virtually.
There were 10 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers focuses on challenges of the verification of cyber-physical systems with machine learning components and making large-scale verified software a practical reality... This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14th Internat...
|
cena:
221,90 zł |
 |
Introducing Software Verification with Dafny Language: Proving Program Correctness
ISBN: 9781484279779 / Angielski / Miękka / 152 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some other books on this topic are quite mathematically rigorous, this book will use as little mathematical symbols and rigor as possible, and explain every concept using plain English. It's the perfect primer for software programmers and developers with C# and other programming language skills. Writing correct software can be hard, so you'll learn the concept of computation and software verification. Then, apply these...
Get introduced to software verification and proving correctness using the Microsoft Research-backed programming language, Dafny. While some...
|
cena:
126,78 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
