» książki » Computers - Programming - Compilers
 |
Logic Programming and Nonmonotonic Reasoning: 16th International Conference, Lpnmr 2022, Genova, Italy, September 5-9, 2022, Proceedings
ISBN: 9783031157066 / Angielski / Miękka Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held in Genova, Italy, in September 2022.
The 34 full papers and 5 short papers included in this book were carefully reviewed and selected from 57 submissions. They were organized in topical sections as follows: Technical Contributions; Systems; Applications. This book constitutes the refereed proceedings of the 16th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2022, held ...
|
cena:
285,27 zł |
 |
Automated Reasoning: 10th International Joint Conference, Ijcar 2020, Paris, France, July 1-4, 2020, Proceedings, Part II
ISBN: 9783030510534 / Angielski / Miękka / 511 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
285,27 zł |
 |
Einführung in Die Programmiersprache COBOL: Eine Anleitung Zum "Strukturierten Programmieren"
ISBN: 9783528233358 / Niemiecki / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Diese Einfuhrung in die Programmiersprache COBOL ist entstanden aus mehreren Kursen, welche am Rechenzentrum der Universitat Bremen fur Horer aller Fachbereiche und an der Volkshochschule Bremen im Rahmen der beruflichen Weiterbildung abgehalten worden sind. Das Ziel dieser Kurse bestand darin, den Teilnehmern die grundlegenden Sprach elemente von COBOL zu vermitteln und bei der Programmerstellung den Zielvorstellun gen des "Strukturierten Programmierens" Rechnung zu tragen. Dazu wird ein Losungs algorithmus zunachst graphisch - in Form eines Struktogramms - dargestellt und an den in COBOL...
Diese Einfuhrung in die Programmiersprache COBOL ist entstanden aus mehreren Kursen, welche am Rechenzentrum der Universitat Bremen fur Horer aller Fa...
|
cena:
288,25 zł |
 |
The Definitive Guide to Gcc
ISBN: 9781590595855 / Angielski / Miękka / 584 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book, The Definitive Guide to GCC, is about how to build, install, customize, use, and troub- shoot GCC version 4.x. GCC has long been available for most major hardware and operating system platforms and is often the preferred family of compilers. As a general-purpose set of compilers, GCC produces high-quality, fast code. Due to its design, GCC is easy to port to different architectures, which contributes to its popularity. GCC, along with GNU Emacs, the Linux operating system, the Apache Web server, the Sendmail mail server, and the BIND DNS server, are showpieces of the free software...
This book, The Definitive Guide to GCC, is about how to build, install, customize, use, and troub- shoot GCC version 4.x. GCC has long been available ...
|
cena:
289,13 zł |
 |
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:
289,13 zł |
 |
Guide to Html, JavaScript and PHP: For Scientists and Engineers
ISBN: 9780857294487 / Angielski / Twarda / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. HTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in an online environment. This easy-to-read, informative guide/reference will enable readers to quickly develop a working knowledge of HTML, JavaScript and PHP a valuable skill for any scientist or engineer. Updating and expanding upon the author s previous Springer titles, An Introduction to HTML and JavaScript and An Introduction to PHP, the text emphasizes a hands-on approach to learning and makes extensive use of examples throughout the book. A detailed... HTML, JavaScript, and PHP are Web-based programming languages that can be used to solve computational problems in an online environment. This... |
cena:
289,13 zł |
 |
Raspberry Pi GPU Audio Video Programming
ISBN: 9781484224717 / Angielski / Miękka / 439 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you ll also learn some Dispmanx, OpenVG, and GPGPU programming.
The author, Jan Newmarch bumped into a need to do this kind of programming while trying to turn the RPi into a karaoke machine: with the CPU busting its gut rendering MIDI files, there was nothing left for showing images such as karaoke lyrics except for the GPU, and nothing really to tell him how to do it. Raspberry Pi GPU Audio Video Programming scratches his itch and since he had to learn... Delve into the Broadcom VideoCore GPU used on the Raspberry Pi and master topics such as OpenGL ES and OpenMAX. Along the way, you ll also learn some ...
|
cena:
289,13 zł |
 |
Clause and Effect: PROLOG Programming for the Working Programmer
ISBN: 9783540629719 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no...
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a refer...
|
cena:
289,13 zł |
 |
Concrete Semantics: With Isabelle/Hol
ISBN: 9783319105413 / Angielski / Twarda / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle's structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on applications like compilers and program analysers. The distinguishing feature is that all the mathematics has been formalised in Isabelle and much of it is executable. Part I focusses on the details of proofs in Isabelle; Part II can be read even without...
Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and indu...
|
cena:
289,13 zł |
 |
The Blender Python API: Precision 3D Modeling and Add-On Development
ISBN: 9781484228012 / Angielski / Miękka / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Blender is a popular open source 3D modeling software. Using the Python API is difficult due to its complex object hierarchy and vast documentation. This book clearly explains the interface, familiarizing data structures and low-level concepts in both modeling and rendering with special attention given to optimizing procedurally generated models.
Blender is a popular open source 3D modeling software. Using the Python API is difficult due to its complex object hierarchy and vast documentation. T...
|
cena:
289,13 zł |
 |
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:
289,13 zł |
 |
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:
289,13 zł |
 |
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:
289,13 zł |
 |
Ethereum Smart Contract Development in Solidity
ISBN: 9789811562174 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
289,13 zł |
 |
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:
289,13 zł |
 |
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:
289,13 zł |
 |
Practical Microservices Architectural Patterns: Event-Based Java Microservices with Spring Boot and Spring Cloud
ISBN: 9781484245002 / Angielski / Miękka / 902 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
289,13 zł |
 |
Programming Languages and Systems: 19th Asian Symposium, Aplas 2021, Chicago, Il, Usa, October 17-18, 2021, Proceedings
ISBN: 9783030890506 / Angielski / Miękka / 336 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:
289,13 zł |
 |
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:
292,99 zł |
 |
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:
292,99 zł |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
