» książki » Computers - Programming - Compilers
 |
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:
229,43 |
 |
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:
229,43 |
 |
Essential Java 2 Fast: How to Develop Applications and Applets with Java 2
ISBN: 9781852330712 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. If you are a new programmer or a Java programmer moving to Java 2 then this is the book for you It offers: a complete introduction to Java 2; describes the language and many of its class libraries; shows how they are used; describes the key concepts of object orientation with lots of examples of how to apply the theory. This book will show you how to take advantage of Java 2's new features (such as the abstract windowing toolkit and the Swing classes) for creating graphical user interfaces. John Cowell explains how to use Swing components to change the look and feel of your Java applications...
If you are a new programmer or a Java programmer moving to Java 2 then this is the book for you It offers: a complete introduction to Java 2; describ...
|
cena:
230,53 |
 |
Essential XHTML Fast: Creating Dynamic Web Sites with XHTML and JavaScript
ISBN: 9781852336844 / Angielski / Miękka / 246 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Headings 34 Line breaks 35 Inserting lines 36 Colours and Fonts: 37 Settingthebackground colour 38 Settingthetextcolour 38 Setting thefont 39 Lists 39 Nesting lists 41 Definition lists 42 5. CREATING LINKS 45 Introduction 46 WhatisaURL? 46 The protocol identifier 47 The Web server 47 The folder and filename 47 The aelement 48 Absolute and relative URLs 48 Absolute URLs 48 Relative URLs 49 Server relative URLs 51 Linkswithinadocument 51 Email links 52 6. CREATING AND USING TABLES 53 Introduction 54 Creating tables 54 Formatting tables 57 Formattingcells 62 The align and valign attributes 62...
Headings 34 Line breaks 35 Inserting lines 36 Colours and Fonts: 37 Settingthebackground colour 38 Settingthetextcolour 38 Setting thefont 39 Lists 39...
|
cena:
230,53 |
 |
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:
230,53 |
 |
Software Engineering in C
ISBN: 9780387965741 / Angielski / Miękka / 612 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The author starts with the premise that C is an excellent language for software engineering projects. The book con- centrates on programming style, particularly readability, maintainability, and portability. Documents the proposed ANSI Standard, which is expected to be ratified in 1987. This book is designed as a text for both beginner and inter- mediate-level programmers.
The author starts with the premise that C is an excellent language for software engineering projects. The book con- centrates on programming style, pa...
|
cena:
230,53 |
 |
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:
233,45 |
 |
Openmp: Balancing Productivity and Performance Portability: 21st International Workshop on Openmp, Iwomp 2025, Charlotte, Nc, Usa, October 1-October 3
ISBN: 9783032063427 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Programming and Performance Visualization Tools: International Workshops, Espt 2017 and Vpa 2017, Denver, Co, Usa, November 12 and 17, 2017, and Espt
ISBN: 9783030178710 / Angielski / Miękka / 285 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
End-User Development: 7th International Symposium, Is-Eud 2019, Hatfield, Uk, July 10-12, 2019, Proceedings
ISBN: 9783030247805 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Reversible Computation: 11th International Conference, Rc 2019, Lausanne, Switzerland, June 24-25, 2019, Proceedings
ISBN: 9783030214999 / Angielski / Miękka / 247 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems: 7th International Workshop, Extraamas 2025, Detroit, Mi, Usa, May 19-20, 2025, R
ISBN: 9783032013989 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
233,45 |
 |
D Cookbook
ISBN: 9781783287215 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
234,10 |
![Learn LLVM 12: A beginner's guide to learning LLVM compiler tools and core libraries with C]+ Nacke, Kai 9781839213502 Packt Publishing](/9781839213502_learn_llvm_12_a_beginners_guide_to_learning_llvm_compiler_tools_and_core_libraries_with_c.jpg "Learn LLVM 12: A beginner's guide to learning LLVM compiler tools and core libraries with C]+") |
Learn LLVM 12: A beginner's guide to learning LLVM compiler tools and core libraries with C]+
ISBN: 9781839213502 / Angielski / Miękka / 392 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
234,10 |
 |
Foundational Java: Key Elements and Practical Programming
ISBN: 9783030545208 / Angielski / Miękka / 626 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java is now well-established as one of the world’s major programming languages, used in everything from desktop applications to web-hosted applications and enterprise systems, and embedded in devices such as mobile phones and Blu-ray players. Foundational Java: Key Elements and Practical Programming presents a detailed guide to the core features of Java – and some more recent innovations – enabling the reader to build their skills and confidence though tried-and-trusted stages, supported by exercises that reinforce the key learning points. All of the most useful and... Java is now well-established as one of the world’s major programming languages, used in everything from desktop applications to web-hosted applic... |
cena:
241,50 |
 |
Design Patterns with Java: An Introduction
ISBN: 9783658398286 / Angielski / Miękka / 343 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented Software" by the author group Gamma, Helm, Johnson and Vlissides (also called "Gang of Four", GoF for short). All patterns are explained in detail by means of examples and also critically appreciated. Furthermore, design principles of object-oriented programming are described and considered. All examples are commented in detail in the source code and are executable under Java 16. In part, newer features of Java up to and including version 16 are...
A practical description of the software design patterns as they are mentioned in the 1994 book "Design Patterns - Elements of Reusable ObjectOriented ...
|
cena:
241,50 |
 |
Compiler Construction: Fundamentals and Applications
ISBN: 9783031848124 / Angielski / Miękka / 251 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook covers the fundamentals of compiler construction, from lexical analysis and syntax analysis to semantic processing and code generation. As a running example, a compiler for a simple Java-like programming language (MicroJava) is described and developed. It generates executable bytecode similar to Java bytecode. Other topics include the description of translation processes using attributed grammars and the use of a compiler generator to automatically generate the core parts of a compiler. For syntax analysis, the book concentrates on top-down parsing using recursive descent, but...
This textbook covers the fundamentals of compiler construction, from lexical analysis and syntax analysis to semantic processing and code generation. ...
|
cena:
241,50 |
 |
Answer Set Programming
ISBN: 9783030246600 / Angielski / Miękka / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Pro Python 3: Features and Tools for Professional Development
ISBN: 9781484243848 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
 |
Answer Set Programming
ISBN: 9783030246570 / Angielski / Twarda / 190 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
241,50 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
