» książki » Computers - Programming - Compilers
 |
Python Mastery Bible: A Comprehensive Guide from Novice to Expert
ISBN: 9798348523503 / Angielski / Miękka / 668 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
232,81 |
|
Formal Verification of Just-in-Time Compilation
ISBN: 9798400713781 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,93 |
 |
Functional Data Structures and Algorithms – A Proof Assistant Approach
ISBN: 9798400731594 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting and searching, it moves on to priority queues and advanced design and analysis techniques: dynamic programming, amortized analysis, splay trees, skew heaps and pairing heaps. The final part of the book covers a number of selected fun topics: graph algorithms, string search, Huffman's algorithm for generating optimal codes and alpha-beta pruning of game trees. The book covers both correctness (does the algorithm do what it is supposed to... This book is an introduction to data structures and algorithms for functional programming languages, with a focus on proofs. Starting with sorting ... |
cena:
233,93 |
 |
Blazor WebAssembly By Example - Second Edition: Use practical projects to start building web apps with .NET 7, Blazor WebAssembly, and C#
ISBN: 9781803241852 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Build exciting web apps following step-by-step instructions and video examples. Purchase of the print or Kindle book includes a free eBook in PDF format.Key Features Explore and build complete, easy-to-follow web projects using Blazor. Each project includes a video example too. Test your skills in building a weather app, an expense tracker, and a Kanban board with real-world applications. Develop a deeper understanding on how to work with Blazor WebAssembly without spending too much time focusing on the theory. Book DescriptionBlazor WebAssembly helps developers build web applications...
Build exciting web apps following step-by-step instructions and video examples. Purchase of the print or Kindle book includes a free eBook in PDF form...
|
cena:
235,00 |
 |
Nebenläufige Programme
ISBN: 9783540577836 / Niemiecki / Twarda / 488 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Programmierung nebenl ufiger, verteilter und echtzeitabh ngiger Systeme ist durch den zunehmenden Einsatz von neuartigen Rechnerarchitekturen und Rechnernetzen, z.B. in der Telekommunikation, der Produktionstechnik und der B roautomation, gegen ber der klassischen sequentiellen Programmierung in den Vordergrund ger ckt. Dieses Buch stellt die daf r grundlegenden Konzepte, Methoden und Techniken im Zusammenhang dar. Das Buch wendet sich an Informatiker, Ingenieure und Naturwissenschaftler. Es soll sowohl Studierenden als auch den in der Praxis T tigen ein umfassendes Grundwissen...
Die Programmierung nebenl ufiger, verteilter und echtzeitabh ngiger Systeme ist durch den zunehmenden Einsatz von neuartigen Rechnerarchitekturen und ...
|
cena:
235,26 |
 |
Speech Application SDK Mit ASP.NET: Design Und Implementierung Sprachgestützter Web-Applikationen
ISBN: 9783540208723 / Niemiecki / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Speech Application SDK ermoglicht den Aufbau von sprachgestutzten Web-Applikationen innerhalb des .NET-Frameworks. Im vorliegenden Buch wird die Implementierung entsprechender Programme anhand fundierter und praxisnaher Code-Beispiele dargestellt. Als Werkzeuge werden das .NET Framework 1.1 und das aktuelle SASDK 1.0 zum Einsatz kommen, wobei die einzelnen Komponenten des Visual Studio 2003 ebenso beschrieben werden wie auch SML (Semantic Markup Language) und SALT (Speech Application Language Tags) sowie JScript/JScript.NET und C#. Hierbei soll das Verstandnis dieser... Das Speech Application SDK ermoglicht den Aufbau von sprachgestutzten Web-Applikationen innerhalb des .NET-Frameworks. Im vorliegenden Buch... |
cena:
235,26 |
 |
Prozessintegration Mit SAP Netweaver(r) Pi 7.1: Eine Einführung in Die Architektur Der Prozessintegration Anhand Von Fallstudien Unternehmensinterner
ISBN: 9783834815644 / Niemiecki / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die vollstandige elektronische Integration logistischer Prozesse in heterogenen Systemlandschaften wird in Zukunft immer mehr an Bedeutung gewinnen. Ebenso wird derzeit die konkrete Umsetzung eines SOA-Konzepts auf Basis eines EAI-Systems unter Verwendung von Webservices sehr stark diskutiert. Wichtigste Ziele dieser Strategien sind der vollstandig medienbruchfreie Austausch von Nachrichten sowie eine flexible und entkoppelte Ausfuhrung unternehmensinterner sowie unternehmensubergreifender Geschaftsprozesse. Dieses Buch stellt nach einer Einfuhrung in die Prozessintegration mittels SAP...
Die vollstandige elektronische Integration logistischer Prozesse in heterogenen Systemlandschaften wird in Zukunft immer mehr an Bedeutung gewinnen. E...
|
cena:
235,26 |
 |
Einführung in Javafx/Openjfx: Moderne GUIs Für Rias Und Java-Applikationen
ISBN: 9783658355388 / Niemiecki / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
235,26 |
 |
Haxe 2 Beginner's Guide
ISBN: 9781849512565 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. haXe is the universal programming language that is completely cross-platform and provides a standard library that remains the same regardless of platform. haXe 2 Beginner's Guide will get you up and running with this exciting language and will guide you through its features in the easiest way possible. haXe has filled the gap in creating multi-platform applications, and haXe 2 Beginner's Guide will fill the gap in learning all you need to know about haXe even if it's the first time you have heard of it. This book will enable you to fully realize haXe's potential for translating code from a...
haXe is the universal programming language that is completely cross-platform and provides a standard library that remains the same regardless of platf...
|
cena:
237,46 |
 |
LLVM Cookbook
ISBN: 9781785285981 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
237,46 |
 |
IntelliJ IDEA Essentials
ISBN: 9781784396930 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
237,46 |
 |
Roslyn Cookbook
ISBN: 9781787286832 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
237,46 |
 |
Les Casseurs: Rhodes
ISBN: 9781537308043 / Francuski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
238,51 |
 |
Bad Programming Practices 101: Become a Better Coder by Learning How (Not) to Program
ISBN: 9781484234105 / Angielski / Miękka / 221 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
238,79 |
 |
Pro Spring Boot 3: An Authoritative Guide with Best Practices
ISBN: 9781484292938 / Angielski / Miękka / 933 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configurations.Pro Spring Boot 3will show you how to fully leverage Spring Boot 3's robust features and how to apply them to create enterprise-ready applications, microservices, and web/cloud applications that just work.Special focus is given to what's been added in the new Spring Boot 3 release, including support for Java 17 and 19; changes to Spring Security; Spring Boot Actuator with Micrometer updates; GraalVM support; RSocket service interfaces; many...
This book will teach you how to build complex Spring applications and microservices out of the box, with minimal concern over things like configuratio...
|
cena:
238,79 |
 |
Principles of Program Analysis
ISBN: 9783642084744 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving an overview of the four major approaches to program analysis: data flow analysis, constraint based analysis, abstract interpretation, and type and effect systems. The presentation demonstrates the...
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications inclu...
|
cena:
239,12 |
 |
Compiler Design: Syntactic and Semantic Analysis
ISBN: 9783642435911 / Angielski / Miękka / 225 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate them from other software systems. Their functionality is almost completely well-defined ideally there exist complete precise descriptions of the source and target languages. Additional descriptions of the interfaces to the operating system, programming system and programming environment, and to other compilers and libraries are often available. This book deals with the analysis phase of translators for programming languages. It... While compilers for high-level programming languages are large complex software systems, they have particular characteristics that differentiate th... |
cena:
239,12 |
 |
Concrete Semantics: With Isabelle/Hol
ISBN: 9783319357591 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the reader the art of precise logical reasoning and the practical use of a proof assistant as a surgical tool for formal proofs about computer science artefacts.
Part II can be read even without familiarity with Isabelle's proof language, all proofs are described in detail but informally.The book teaches the re...
|
cena:
239,12 |
 |
Below The Binary: A Practical Guide to Reverse Engineering
ISBN: 9798254400707 / Angielski / Miękka / 658 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,17 |
 |
Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
ISBN: 9783032009418 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
243,32 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
