![]() |
Git Essentials: Developer's Guide to Git
ISBN: 9798719413419 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
117,34 |
![]() |
Model-Based Safety and Assessment: 8th International Symposium, Imbsa 2022, Munich, Germany, September 5-7, 2022, Proceedings
ISBN: 9783031158414 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks,...
This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in...
|
cena:
221,37 |
![]() |
You Belong In Tech: How to Go From Zero Programming Knowledge to Hired
ISBN: 9783982435817 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
86,28 |
![]() |
Descriptional Complexity of Formal Systems: 24th Ifip Wg 1.02 International Conference, Dcfs 2022, Debrecen, Hungary, August 29-31, 2022, Proceedings
ISBN: 9783031132568 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was supposed to take place in Debrecen, Hungary in August 2022. The 14 full papers presented in this volume were carefully reviewed and selected from 17 submissions. The book also contains 4 invited talks. The conference focus to all aspects of descriptional complexity including Automata, grammars, languages, and other formal systems; various modes of operations and complexity...
This book constitutes the proceedings of the 24th International Conference on Descriptional Complexity of Format Systems, DCFS 2022, which was suppose...
|
cena:
301,89 |
![]() |
Professionelles Programmieren von Anfang an: mit Free Pascal und der freien Entwicklungsumgebung Lazarus
ISBN: 9783945899014 / Niemiecki / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
216,47 |
![]() |
La Era del Código: Introducción a la Programación y al Sector del Desarrollo de Software
ISBN: 9798846225077 / Hiszpański / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
74,73 |
![]() |
Understanding Your ZX81 ROM
ISBN: 9781789829877 / Angielski / Miękka / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
52,56 |
![]() |
Dev-Sec-Ops com Jenkins: Criando uma esteira de entrega contínua
ISBN: 9798842788057 / Portugalski / Miękka / 114 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
60,29 |
![]() |
The Battle Hardened Developer
ISBN: 9798842906277 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
110,59 |
![]() |
Edsger Wybe Dijkstra: His Life, Work, and Legacy
ISBN: 9781450397735 / Angielski / Twarda Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and...
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contribut...
|
cena:
528,96 |
![]() |
Edsger Wybe Dijkstra: His Life, Work, and Legacy
ISBN: 9781450397711 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra's algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and...
Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contribut...
|
cena:
367,33 |
![]() |
Learning Git: A Hands-On and Visual Guide to the Basics of Git
ISBN: 9781098133917 / Angielski / Miękka / 225 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
186,14 |
![]() |
Pocket guide to the Professional Scrum Master Certification (PSM 1)
ISBN: 9781638862789 / Angielski / Miękka / 48 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
43,65 |
![]() |
Logic-Based Program Synthesis and Transformation: 32nd International Symposium, Lopstr 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
ISBN: 9783031167669 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022, which was held during September 21-23, 2022.
The 8 full papers were selected from 17 submissions and cover different aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. This book constitutes the refereed proceedings of the 32nd International Symposium on Logic-Based Synthesis and Transformation, LOPSTR 2022...
|
cena:
221,37 |
![]() |
String Algorithms for the day before your Coding Interview
ISBN: 9798645079598 / Angielski / Miękka / 40 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
28,89 |
![]() |
JavaScript D3 in 20 Minutes: (Coffee Break Series)
ISBN: 9798451313169 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
76,84 |
![]() |
Java Quiz Book: A Compendium of over 1,200 questions, with answers and programs
ISBN: 9798592365287 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
48,51 |
![]() |
Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, Cosim-Cps, Opencert, Asyde, Virtual Event, December 6-10, 2021, Revise
ISBN: 9783031124280 / Angielski / Miękka / 350 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6-10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of...
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and ...
|
cena:
201,24 |
![]() |
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26-28, 2022, Proceedings
ISBN: 9783031169113 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.
This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi,...
|
cena:
233,45 |
![]() |
Algebraic Informatics: 9th International Conference, CAI 2022, Virtual Event, October 27–29, 2022, Proceedings
ISBN: 9783031196843 / Angielski / Miękka / 223 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed papers presented in this volume were carefully reviewed and selected from 17 submissions. The papers contain original and unpublished research; the topics of them lie in automata theory, cryptography, coding theory, DNA computation, computer algebra, and theory of software architectures.
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–2...
|
cena:
201,24 |