![]() |
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and A
ISBN: 9783031212215 / Angielski / Miękka / 205 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel formal methods techniques to discussing on how formal methods can be used to increase predictability, explainability,...
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous...
|
cena:
261,63 |
![]() |
Trends in Functional Programming: 23rd International Symposium, TFP 2022, Virtual Event, March 17–18, 2022, Revised Selected Papers
ISBN: 9783031213137 / Angielski / Miękka / 193 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virtually in March 2022.The 9 full papers presented in this volume were carefully reviewed and selected from 17 submissions. They deal with all aspects of functional programming, taking a broad view of current and future trends in the area.
This book constitutes revised selected papers from the 23rd International Symposium on Trends in Functional Programming, TFP 2022, which was held virt...
|
cena:
181,11 |
![]() |
7 days with Dynamic Programming
ISBN: 9798678637253 / Angielski / Miękka / 48 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
32,98 |
![]() |
Graph Algorithms for the day before your coding interview
ISBN: 9798651977642 / Angielski / Miękka / 46 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
60,65 |
![]() |
Arduino IDE: Einführung in die Sprache der Entwicklungsumgebung
ISBN: 9798356366222 / Niemiecki / Miękka / 58 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
48,55 |
![]() |
Programming in Two Semesters: Using Python and Java
ISBN: 9783031013256 / Angielski / Twarda / 661 str. Termin realizacji zamówienia: 22 dni roboczych This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory programming language before going on to use Java as the vehicle for more advanced programming concepts. The first part, which teaches Python, covers fundamental programming concepts, such as data types and control structures and functions. It introduces more complex data types such as lists and dictionaries and also deals with file handling. It introduces object-oriented concepts and ends with a case study bringing together all the...
This highly accessible textbook teaches programming from first principles. In common with many programming courses, it uses Python as the introductory...
|
122,78 |
![]() |
Analog Computing
ISBN: 9783110787610 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The computing paradigm offered by analog computing is nearly forgotten, although it offers a path to both high-speed and low-power computing, which are in even more demand now than they were back in the heyday of electronic analog computers.This book provides a comprehensive introduction to analog computing. This second expanded edition contains the recent advancements of the last eight years.
The computing paradigm offered by analog computing is nearly forgotten, although it offers a path to both high-speed and low-power computing, which ar...
|
cena:
403,47 |
![]() |
Theoretical Aspects of Computing - Ictac 2022: 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings
ISBN: 9783031177149 / Angielski / Miękka / 482 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
This book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilis...
|
cena:
201,24 |
![]() |
Programming Language Theory
ISBN: 9781774694374 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
729,76 |
![]() |
Programming Logic & Design
ISBN: 9780357880876 / Angielski / Miękka / 608 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Learn the fundamental principles of developing structured program logic and be prepared for success with Joyce Farrell�s PROGRAMMING LOGIC AND DESIGN, 10th EDITION. This edition takes a comprehensive and language-independent approach to programming logic with an emphasis on modern conventions. It avoids technical jargon while introducing universal programming concepts and ensuring strong programming style and logical thinking. Chapters contain figures that illustrate the logic described in the text, and there are diverse and project-rich opportunities for you to creatively apply logic to...
Learn the fundamental principles of developing structured program logic and be prepared for success with Joyce Farrell�s PROGRAMMING LOGIC AND DESIG...
|
cena:
371,14 |
![]() |
The Python Workshop - Second Edition: Write Python code to solve challenging real-world problems
ISBN: 9781804610619 / Angielski / Miękka / 600 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Gain proficiency, productivity, and power by working on projects and kick-starting your career in Python with this comprehensive, hands-on guide. Key Features Understand and utilize Python syntax, objects, methods, and best practices Explore Python's many features and libraries through real-world problems and big data Use your newly acquired Python skills in machine learning as well as web and software development Book DescriptionPython is among the most popular programming languages in the world. It's ideal for beginners because it's easy to read and write, and for developers, because...
Gain proficiency, productivity, and power by working on projects and kick-starting your career in Python with this comprehensive, hands-on guide. Key...
|
cena:
224,39 |
![]() |
Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday
ISBN: 9783031223365 / Angielski / Miękka / 666 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.This Festschrift volume celebrates his many contributions in the field of computer science, with 31 papers covering various research and application directions, authored by scientists inspired by his efforts and example over many years.
This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022.This Festschrift volume celebrates his many contribu...
|
cena:
362,27 |
![]() |
Oracle Database 12c Administration Exam Practice Questions & Dumps: 220+ Practice Tests for Oracle 1Z0-062 Updated 2020
ISBN: 9798625695572 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
56,65 |
![]() |
Advanced Applications of Python Data Structures and Algorithms
ISBN: 9781668471012 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. Data structures are essential principles applicable to any programming language in computer science. Data structures may be studied more easily with Python than with any other programming language because of their interpretability, interactivity, and object-oriented nature. Computers may store and process data at an extraordinary rate and with outstanding accuracy. Therefore, it is of the utmost importance that the data is efficiently stored and is able to be accessed promptly. In addition, data processing should take as little time as feasible while maintaining the highest possible level of...
Data structures are essential principles applicable to any programming language in computer science. Data structures may be studied more easily with P...
|
cena:
1046,57 |
![]() |
Domain Science and Engineering: A Foundation for Software Development
ISBN: 9783030734862 / Angielski / Miękka / 401 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for computing systems from domain descriptions. A further motivation is to present domain descriptions, requirements prescriptions, and software design specifications as mathematical quantities.The author's maxim is that before software can be designed we must understand its requirements, and before requirements can be prescribed we must analyse and describe the domain for which the software is intended. He does this by focusing on what it takes to...
In this book the author explains domain engineering and the underlying science, and he then shows how we can derive requirements prescriptions for com...
|
cena:
684,33 |
![]() |
Solving Rubik\'s Cube with Excel
ISBN: 9789528069072 / Fiński / Miękka / 60 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
60,29 |
![]() |
Clinical Trials Programming Using SAS 9 (A00-281) Exam Practice Questions & Dumps: Exam Practice Questions for SAS A00-281 LATEST VERSION
ISBN: 9798575374886 / Angielski / Miękka / 50 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
60,69 |
![]() |
The Big Blue Assembler Book
ISBN: 9798842487646 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
141,41 |
![]() |
Confident Coding: Learn How to Code and Master the Essentials
ISBN: 9781398611894 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Coding is one of the most in-demand skills in the job market. Whether you're a recent graduate or a professional, Confident Coding offers the career insights and technical knowledge you need for success. A unique combination of technical insights and fascinating career guidance, this book highlights the importance of coding, whatever your professional profile. For entrepreneurs, being able to create your own website or app can grant you valuable freedom and revolutionize your business. For aspiring developers, this book will give you the building blocks to embark on your career path. This...
Coding is one of the most in-demand skills in the job market. Whether you're a recent graduate or a professional, Confident Coding offers the career i...
|
cena:
257,78 |
![]() |
Peeking at Call-A.P.P.L.E. 1978: Compendium of Magazine Articles
ISBN: 9781678169718 / Angielski / Miękka / 104 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
107,68 |