» książki » Computers - Programming - Compilers
 |
Nonsequential and Distributed Programming with Go: Synchronization of Concurrent Processes
ISBN: 9783662709283 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed programming with Go. It systematically presents basic concepts for the synchronization and communication of concurrent processes. These include locks, semaphores, fairness and deadlocks, monitors, local and network-wide message passing, networks as graphs, network exploration, distributed depth and breadth first search, and the selection of a leader in networks. In order to make readers familiar with the concepts, the author always takes up the same...
After a short chapter on basic aspects of software engineering and its realization in Go, this book introduces to nonsequential and distributed progra...
|
cena:
241,50 |
 |
Formal Verification of Just-in-Time Compilation
ISBN: 9798400713781 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
225,30 |
 |
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an
ISBN: 9783031911200 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
 |
Programming Languages and Systems: 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory an
ISBN: 9783031911170 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
160,99 |
 |
Logic and Argumentation: 6th International Conference, Clar 2025, Taiyuan, China, June 14-16, 2025, Proceedings
ISBN: 9789819679553 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Informatics in Schools. Fostering Problem-Solving, Creativity, and Critical Thinking Through Computer Science Education: 18th International Conference
ISBN: 9783032012210 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,24 |
 |
Practical Microservices Architectural Patterns
ISBN: 9798868816055 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Upgrade your distributed applications with microservices. This practical guide bridges core concepts and advanced patterns to help you build resilient, scalable and high performing microservices, whether you're transitioning from monolithic architectures or starting fresh with microservices. Fully updated for Spring Boot 3 and Spring Cloud, The Second covers modern capabilities, like reactive programming, enhanced observability, advanced security and streamlined configuration management. Learn to solve common architectural challenges in cloud-native development, including service... Upgrade your distributed applications with microservices. This practical guide bridges core concepts and advanced patterns to help you build resili... |
cena:
231,17 |
| |
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:
225,30 |
| |
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:
303,66 |
 |
Formal Methods and Software Engineering: 26th International Conference on Formal Engineering Methods, ICFEM 2025, Hangzhou, China, November 10-13, 202
ISBN: 9789819542123 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
297,86 |
 |
ISO 27001: 2022 - Explications: Syst?me de Management de la S?curit? de l'Information - Guide Pratique
ISBN: 9783852281414 / Francuski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
293,44 |
| |
Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-Solving Approach
ISBN: 9781041109570 / Angielski / 06-07-2026 Książka dostępna od: 06-07-2026 |
|
Termin ukazania się książki: 06-07-2026
Książkę można już zamówić z rabatem 5% |
|
452,85 |
| |
Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-Solving Approach
ISBN: 9781041117001 / Angielski / 06-07-2026 Książka dostępna od: 06-07-2026 |
|
Termin ukazania się książki: 06-07-2026
Książkę można już zamówić z rabatem 5% |
|
547,63 |
 |
Multimedia Introduction to Programming Using Java
ISBN: 9780387226811 / Angielski / Miękka / 556 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This bookanchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containing over 250 recorded lectures with synchronized animation, ProgramLive allows users to see, first-hand and in real time, processes like stepwise refinement of algorithms, development of loops, execution of method calls and associated changes to the call stack, and much more. The zip file also includes all programs from the book, 35 guided instruction sets for closed lab sessions, and a 70-page hyperlinked glossary. With its comprehensive... This bookanchors its pedagogy in the program ProgramLive that you may find at extras.springer.com, a complete multimedia module in itself. Containi... |
cena:
201,24 |
 |
Process Assessment and Improvement: A Practical Guide
ISBN: 9780387300443 / Angielski / Twarda / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through process assessment, combined with people factors such as organizational culture and team-based improvement. Originally published in 2004 as the first practical guide to the emerging ISO/IEC 15504 standard, this second edition presents an updated version of process assessments and includes new risk methods. The book covers three major business reasons for process assessment: setting Target Profiles, Process Capability Determination, and Process... Process Assessment and Improvement: A Practical Guide, 2nd ed. provides a powerful and practical approach to improving organizations through proces... |
cena:
603,81 |
 |
Abstraction, Refinement and Proof for Probabilistic Systems
ISBN: 9780387401157 / Angielski / Twarda / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm .
|
cena:
603,81 |
 |
C a Software Engineering Approach
ISBN: 9780387946757 / Angielski / Miękka / 498 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. to Software Engineering For 'tis the sport to have the engineer Hoist with his own petar. Shakespeare, Hamlet In the previous chapter, we introduced same basic information about pro gramming and programming languages, particularly C. If this were a book about building bridges, this first chapter might have been an introduction to the tools you would neeci-hammer, saw, drill, etc. Obviously there is a lot more to building a good bridge than simply knowing how to use the tools. Similarly, creating software products requires considerably more skill than simply wielding the programming tools....
to Software Engineering For 'tis the sport to have the engineer Hoist with his own petar. Shakespeare, Hamlet In the previous chapter, we introduced s...
|
cena:
201,24 |
 |
Reasoning about Program Transformations: Imperative Programming and Flow of Data
ISBN: 9780387953915 / Angielski / Twarda / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines frameworks we inherited from designs...
Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative pro...
|
cena:
201,24 |
 |
Goal-Directed Proof Theory
ISBN: 9780792364733 / Angielski / Twarda / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable for proof search. The methodology is applied for the first time in a uniform way to a wide range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. The book can also be used as an...
Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of whic...
|
cena:
402,53 |
 |
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
ISBN: 9780792395379 / Angielski / Twarda / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current generation of programming environments, including Hewlett-Packard's Softbench, DEC's FUSE, Sun's Tooltalk, Lucid's Energize, and SGI's Codevision. FIELD pioneered the notion of broadcast messaging as a basis for tool integration. Moreover, many of the other tool concepts introduced in FIELD have made their way into these environments. Thus in discussing the FIELD environment, this book actually explains the inner workings of today's programming...
FIELD has been a remarkably successful research project. The ideas first exhibited in the environment now form the basis for most of the current gener...
|
cena:
603,81 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
