![]() |
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings
ISBN: 9783030037680 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
Java XML and Json: Document Processing for Java Se
ISBN: 9781484243299 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
Spring Boot Persistence Best Practices: Optimize Java Persistence Performance in Spring Boot Applications
ISBN: 9781484256251 / Angielski / Miękka / 1027 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
Chatbot Research and Design: Third International Workshop, Conversations 2019, Amsterdam, the Netherlands, November 19-20, 2019, Revised Selected P
ISBN: 9783030395391 / Angielski / Miękka / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
Ethereum Smart Contract Development in Solidity
ISBN: 9789811562174 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
Openmp: Portable Multi-Level Parallelism on Modern Systems: 16th International Workshop on Openmp, Iwomp 2020, Austin, Tx, Usa, September 22-24, 2020,
ISBN: 9783030581435 / Angielski / Miękka / 344 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024
ISBN: 9789819606160 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
C++/CLI: The Visual C++ Language for .Net
ISBN: 9781590597057 / Angielski / Twarda / 414 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. C++/CLI is arguably the most powerful language on the .NET 2.0 Platform, as it is the only one that gives developers the option to directly access their computer's hardware from within the .NET managed code environment. As such it is ideal for the kind of processor and memory intensive tasks for which C++ has always traditionally been used. This book gives developers - both the experienced and those who have only taken their first few steps - a small, fast-paced primer that will kick-start them into the world of C++/CLI. In twenty no-fluff chapters Microsoft insiders take readers... C++/CLI is arguably the most powerful language on the .NET 2.0 Platform, as it is the only one that gives developers the option to directly access ... |
cena:
314,64 |
![]() |
Programming Languages and Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings
ISBN: 9783030890506 / Angielski / Miękka / 321 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2021.* The 17 papers presented in this volume were carefully reviewed and selected from 43 submissions. They were organized in topical sections named: analysis and synthesis, compilation and transformation, language, and verification. * The conference was held in a hybrid format due to the COVID-19 pandemic. This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in Octobe... |
cena:
314,64 |
![]() |
Advanced Guide to Python 3 Programming
ISBN: 9783031403354 / Miękka / 540 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
314,64 |
![]() |
ISO 27001: 2022 - Explications: Syst?me de Management de la S?curit? de l'Information - Guide Pratique
ISBN: 9783852281414 / Francuski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
316,63 |
![]() |
Evaluation of Novel Approaches to Software Engineering: 13th International Conference, Enase 2018, Funchal, Madeira, Portugal, March 23-24, 2018, Revi
ISBN: 9783030225582 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
318,84 |
![]() |
Quality of Information and Communications Technology: 12th International Conference, Quatic 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedin
ISBN: 9783030292379 / Angielski / Miękka / 348 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
318,84 |
![]() |
Formal Verification of Just-in-Time Compilation
ISBN: 9798400713774 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
319,00 |
![]() |
Functional Data Structures and Algorithms – A Proof Assistant Approach
ISBN: 9798400731570 / Angielski / Twarda 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:
319,00 |
![]() |
A Retargetable C Compiler: Design and Implementation
ISBN: 9780805316704 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
325,94 |
![]() |
Programming Language Fundamentals by Example
ISBN: 9780367453374 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
334,90 |
![]() |
Principles of Program Analysis
ISBN: 9783540654100 / Angielski / Twarda / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers (for code improvement), software validation (for detecting errors) and transformations between data representation (for solving problems such as Y2K). This book is unique in providing 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 illustrates the extensive similarities between the approaches, helping readers to...
Program analysis utilizes static techniques for computing reliable information about the dynamic behavior of programs. Applications include compilers ...
|
cena:
335,62 |
![]() |
Compiler Design: Syntactic and Semantic Analysis
ISBN: 9783642175398 / Angielski / Twarda / 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:
335,62 |
![]() |
Theoretical Aspects of Computing - Ictac 2018: 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings
ISBN: 9783030025076 / Angielski / Miękka / 533 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
335,62 |