Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I
ISBN: 9783031198489 / Angielski / Miękka / 598 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program specification paradigms; x-by-construction meets runtime verification; verification and validation of concurrent and distributed heterogeneous systems; programming - what is next: the role of...
This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic...
|
|
cena:
325,42 zł |
Programmieren in C++ Für Elektrotechniker Und Mechatroniker: Das Lern- Und Übungsbuch
ISBN: 9783658385002 / Niemiecki / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch Programmieren in C++ für Elektrotechniker und Mechatroniker bietet einen Einstieg in die moderne Softwareentwicklung für Studierende der Ingenieurwissenschaften. Dabei wird ein durchgängiger Ansatz verfolgt, der, beginnend mit den Grundlagen der Programmierung, bis hin zu weiterführenden Themen, wie Hardware-nahe Programmierung, zahlreiche Themengebiete betrachtet und Studierende nicht nur für die Prüfung, sondern auch für den Arbeitsalltag vorbereitet. Da man Programmieren nur durch Üben erlernen kann, liefert das Buch einen umfangreichen Aufgabenkatalog.
Das Buch Programmieren in C++ für Elektrotechniker und Mechatroniker bietet einen Einstieg in die moderne Softwareentwicklung für Studierende der In...
|
|
cena:
135,92 zł |
Java Aufgaben Und Übungen: Aufgaben, Lösungen, Pap Und Struktogramme Für Den It-Unterricht
ISBN: 9783658389994 / Niemiecki / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vorhanden mit Lösungen im Quellcode (Source). Das Buch bietet ebenfalls Präsentationsvorlagen, die auf die Syntax der Programmanweisungen eingehen.Zu der Planung von Software gehört die UML (Unified Modeling Language), eine grafische Modellierungssprache. Da sie zu den Ausbildungszielen verschiedener Berufsgruppen dazugehört, ist sie ebenfalls Bestandteil des Buches. So werden zu den Aufgaben einige Teile der UML wie PAP, Struktogramme und...
Dieses Lehrbuch erklärt grundlegende JAVA-Konzepte mit Hilfe von zahlreichen Beispielen und Aufgabenstellungen. Insgesamt sind über 100 Aufgaben vo...
|
|
cena:
143,08 zł |
Machine Translation: 18th China Conference, CCMT 2022, Lhasa, China, August 6–10, 2022, Revised Selected Papers
ISBN: 9789811979590 / Angielski / Miękka / 161 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 18th China Conference onMachine Translation, CCMT 2022, held in Lhasa, China, during August 6–10, 2022.The 16 full papers were included in this book were carefully reviewed and selected from 73 submissions.
This book constitutes the refereed proceedings of the 18th China Conference onMachine Translation, CCMT 2022, held in Lhasa, China, during August 6â...
|
|
cena:
248,84 zł |
Beginning MERN Stack Development
ISBN: 9789811815522 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
78,02 zł |
.NET MAUI in Action
ISBN: 9781633439405 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. .NET MAUI in Action shows you how to use the cutting-edge MAUI framework to write apps that will run on Windows, Android, macOS and iOS platforms using your existing .NET development skills. This book reveals essential MAUI development techniques through hands-on example applications and will help you start building your own rich apps.
.NET MAUI in Action shows you how to use the cutting-edge MAUI framework to write apps that will run on Windows, Android, macOS and iOS platforms usin...
|
|
cena:
271,91 zł |
Deliver: How to deliver software projects using Agile ways of working
ISBN: 9780645489705 / Angielski / Miękka / 194 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
82,35 zł |
Introduction to Computation in Physical Sciences: Interactive Computing and Visualization with Python(tm)
ISBN: 9783031176456 / Angielski / Twarda / 255 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides a practical and comprehensive introduction to computational problem solving from the viewpoints of practitioners in both academic and industrial worlds.  The authors present scientific problem-solving using computation and aim to increase computational thinking, which is the mindset and skillset required to solve scientific problems with computational methodologies via model building, simulation, data analysis, and visualization using the Python programming language. Topics and examples span fundamental areas of physical science as well as contemporary topics including...
This book provides a practical and comprehensive introduction to computational problem solving from the viewpoints of practitioners in both academic a...
|
|
cena:
191,40 zł |
Low-Code/No-Code: Citizen Developers and the Surprising Future of Business Applications
ISBN: 9798985814750 / Angielski / Twarda / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The future of software development is here. Low-Code/No-Code is an invaluable treasure trove of insightful analysis, synthesis, examples, and advice that has arrived at the perfect time. The future of software development is here. Low-Code/No-Code is an invaluable treasure trove of insightful analysis, synthesis, examples, ... |
|
cena:
147,22 zł |
Low-Code/No-Code: Citizen Developers and the Surprising Future of Business Applications
ISBN: 9798985814736 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The future of software development is here. Low-Code/No-Code is an invaluable treasure trove of insightful analysis, synthesis, examples, and advice that has arrived at the perfect time. The future of software development is here. Low-Code/No-Code is an invaluable treasure trove of insightful analysis, synthesis, examples, ... |
|
cena:
103,86 zł |
Building Modern Business Applications: Reactive Cloud Architecture for Java, Spring, and PostgreSQL
ISBN: 9781484289914 / Angielski / Miękka / 186 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Intermediate user level
Intermediate user level
|
|
cena:
210,55 zł |
A Geographer's Guide to Computing Fundamentals: Python in Arcgis Pro
ISBN: 9783031084973 / Angielski / Twarda / 267 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This upper-undergraduate textbook teaches students programming in GIS using a mix of computer science theory and hands-on activities, with the aim of empowering students to understand fundamentals and apply their knowledge beyond the specific examples in the book. Each of the book's twenty-one chapters integrates instructional material with exercises in ArcGIS Pro. In doing so, this book combines the strengths of workbooks and theoretical textbooks to provide a holistic and comprehensive text. Each chapter concludes with an unguided task that ensures students have learned the broader...
This upper-undergraduate textbook teaches students programming in GIS using a mix of computer science theory and hands-on activities, with the aim of ...
|
|
cena:
248,84 zł |
ASCII Shrug: An Overview of the History, Basics, and Challenges of Computer Science
ISBN: 9781663247216 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
108,32 zł |
Cloud Identity Patterns and Strategies: Design enterprise cloud identity models with OAuth 2.0 and Azure Active Directory
ISBN: 9781801810845 / Angielski / Miękka / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Get to grips with identity patterns and design a structured enterprise identity model for cloud applications Key Features Learn all you need to know about different identity patterns and implementing them in real-world scenarios Handle multi-IDP-related common situations no matter how big your organization Gain practical insights into OAuth implementation patterns and flows Book DescriptionIdentity is paramount for every architecture design, making it crucial for enterprise and solutions architects to understand the benefits and pitfalls of implementing identity patterns. However,...
Get to grips with identity patterns and design a structured enterprise identity model for cloud applications Key Features Learn all you need to know...
|
|
cena:
179,66 zł |
Mathematical Foundations of Software Engineering: A Practical Guide to Essentials
ISBN: 9783031262111 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in areas such as error-correcting codes, cryptography, the safety and security critical fields, the banking and insurance fields, as well as traditional engineering applications.Topics and features:Addresses core mathematics for critical thinking and problem solvingDiscusses propositional and predicate logic and various proof techniques to demonstrate the correctness of a logical argument.Examines number theory and its...
This textbook presents an introduction to the mathematical foundations of software engineering. It presents the rich applications of mathematics in ...
|
|
cena:
325,42 zł |
Succeed In Software: A Comprehensive Guide To Software Career Excellence
ISBN: 9798987497630 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
173,42 zł |
Creating Software with Modern Diagramming Techniques: Build Better Software with Mermaid
ISBN: 9781680509830 / Angielski / Miękka / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Expand your professional vocabulary by learning to communicate with diagrams as easily and naturally as speaking or writing. This book will provide you with the skills and tools to turn ideas into clear, meaningful, and attractive diagrams in mere minutes, using nothing more complicated than text-based markup.
Expand your professional vocabulary by learning to communicate with diagrams as easily and naturally as speaking or writing. This book will provide yo...
|
|
cena:
121,58 zł |
Introduction to Computer Graphics: Using OpenGL and Java
ISBN: 9783031281341 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. A basic understanding of the key techniques in computer graphics can open the door to this exciting field and its many applications, including for video games and for augmented and virtual reality.This easy-to-follow textbook and reference introduces the fundamental concepts of computer graphics, integrating both technical background and theory with practical examples and applications throughout. Thoroughly revised and updated, this new edition continues to present a user-friendly approach to creating images and animations, complementing the expanded coverage of topics with usage of example...
A basic understanding of the key techniques in computer graphics can open the door to this exciting field and its many applications, including for vid...
|
|
cena:
153,11 zł |
Web Coding & Development All-in-One For Dummies
ISBN: 9781394197026 / Miękka / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
191,05 zł |
Machine Learning with Python Cookbook: Practical Solutions from Preprocessing to Deep Learning
ISBN: 9781098135720 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. This practical guide provides more than 200 self-contained recipes to help you solve machine learning challenges you may encounter in your work.
This practical guide provides more than 200 self-contained recipes to help you solve machine learning challenges you may encounter in your work.
|
|
cena:
324,28 zł |