» książki » Computers - Programming - Compilers
 |
Applied Mathematics with F#
ISBN: 9789819696338 / Angielski / Twarda / 11-02-2027 / 387 str. Książka dostępna od: 11-02-2027 |
|
Termin ukazania się książki: 11-02-2027
Książkę można już zamówić z rabatem 5% |
|
348,74 |
 |
Objektorientierte Anwendungsentwicklung Mit Der Postrelationalen Datenbank Caché
ISBN: 9783642627873 / Niemiecki / Miękka / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ansatz: Anwendungen werden als Software-Objekte modelliert, die sowohl die Eigenschaften als auch das Verhalten von Objekten aus der realen Welt beschreiben. Solche Objekte sind gekapselt und verbergen die innere Komplexitat hinter einer offentlich bekannt gegebenen Schnittstelle. Dadurch konnen Objekte in den verschiedensten Programmpaketen verwendet werden, ohne dass die interne Realisierung bekannt sein muss. Die Verbindung objektorientiert... Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ans... |
cena:
368,39 |
 |
Writing Compilers and Interpreters: A Modern Software Engineering Approach Using Java
ISBN: 9780470177075 / Angielski / Miękka / 864 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this long-awaited, latest edition of this popular book teaches programmers and software engineering students how to write compilers and interpreters using Java. You?ll write compilers and interpreters as case studies, generating general assembly code for a Java Virtual Machine that takes advantage of the Java Collections Framework to shorten and simplify the code. In addition, coverage includes Java Collections Framework, UML modeling, object-oriented...
Long-awaited revision to a unique guide that covers both compilers and interpreters Revised, updated, and now focusing on Java instead of C++, this lo...
|
cena:
374,97 |
 |
The Science of Programming
ISBN: 9780387964805 / Angielski / Miękka / 388 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a program should be developed hand in hand. It is built around the method first proposed by Dijkstra in his monograph The Discipline of Programming (1976), involving a "calculus for the derivation of programs." Directing his materials to the computer programmer with at least one year of experience, Gries presents explicit principles behind program development, and then leads the reader through example programs using those principles. Propositions...
This is the very first book to discuss the theory and principles of computer programming on the basis of the idea that a proof of correctness and a pr...
|
cena:
377,58 |
 |
Interactive Theorem Proving: 9th International Conference, Itp 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 9-
ISBN: 9783319948201 / Angielski / Miękka / 642 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
377,58 |
 |
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, Floc 2018, Oxford, Uk, July 15-
ISBN: 9783319955810 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions.
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018The 44 ...
|
cena:
377,58 |
 |
Introduction to Programming with FORTRAN
ISBN: 9783030092481 / Angielski / Miękka / 956 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
377,58 |
 |
Modern Compiler Implementation in Java
ISBN: 9780521820608 / Angielski / Twarda / 512 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes thorough coverage of current techniques in code generation and register allocation, and the compilation of functional and object-oriented languages. The most accepted and successful techniques are described and illustrated with actual Java DEGREESTM(R) classes. The first part is suitable for a one-semester first course in...
This textbook describes all phases of a compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruct...
|
cena:
384,07 |
 |
Objektorientierte Anwendungsentwicklung Mit Der Postrelationalen Datenbank Caché
ISBN: 9783540432487 / Niemiecki / Twarda / 424 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ansatz: Anwendungen werden als Software-Objekte modelliert, die sowohl die Eigenschaften als auch das Verhalten von Objekten aus der realen Welt beschreiben. Solche Objekte sind gekapselt und verbergen die innere Komplexitat hinter einer offentlich bekannt gegebenen Schnittstelle. Dadurch konnen Objekte in den verschiedensten Programmpaketen verwendet werden, ohne dass die interne Realisierung bekannt sein muss. Die Verbindung objektorientiert... Neuentwickelte Software ist heute oft schon zum Zeitpunkt Ihrer Einfuhrung veraltet. Einen Ausweg aus dieser Krise bietet der objektorientierte Ans... |
cena:
392,10 |
 |
Java in Two Semesters: Includes JavaFX
ISBN: 9783032214331 / Angielski / Twarda / 24-02-2027 / 724 str. Książka dostępna od: 24-02-2027 |
|
Termin ukazania się książki: 24-02-2027
Książkę można już zamówić z rabatem 5% |
|
373,65 |
 |
Logics in Artificial Intelligence: 16th European Conference, Jelia 2019, Rende, Italy, May 7-11, 2019, Proceedings
ISBN: 9783030195694 / Angielski / Miękka / 822 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
411,15 |
 |
Pivotal Certified Professional Core Spring 5 Developer Exam: A Study Guide Using Spring Framework 5
ISBN: 9781484251355 / Angielski / Miękka / 1007 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
415,76 |
 |
Notizen Zu C++
ISBN: 9783540010586 / Niemiecki / Twarda / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die "Notizen zu C++" richten sich an den erfahrenen C++ Software-Entwickler. Sie erlautern fur zahlreiche komplexe Problemstellungen, die sich dem Software-Entwickler bei der taglichen Arbeit stellen, wie die optimale Losung aussieht. Dazu wird in praziser und kompakter Form erklart, warum der aufgezeigte Weg optimal ist. Die jeweils vorgeschlagene Losung wird an Code-Beispielen fundiert umgesetzt. Oft munden die Schlussfolgerungen in einem pragnanten Merksatz, der dann auch die Uberschrift des entsprechenden Kapitels bildet. Der Aufbau dieses Werkes ist den Bedurfnissen von... Die "Notizen zu C++" richten sich an den erfahrenen C++ Software-Entwickler. Sie erlautern fur zahlreiche komplexe Problemstellungen, die sich dem ... |
cena:
419,08 |
 |
Logic Programming and Nonmonotonic Reasoning: 18th International Conference, LPNMR 2026, Klagenfurt, Austria, September 7–11, 2026, Proceedings
ISBN: 9783032383198 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
419,08 |
 |
The Austin Protocol Compiler
ISBN: 9780387232270 / Angielski / Twarda / 141 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c- cerning these protocols. The first is the group of protocol verifiers, and the second is the group of protocol implementors. The main reason for the lack of effective communication between these two groups is that these groups use languages with quite different semantics to specify network protocols. On one hand, the protocol verifiers use specification languages whose semantics are abstract, coarse-grained, and with large atom- ity. Clearly,...
There are two groups of researchers who are interested in designing network protocols and who cannot (yet) effectively communicate with one another c-...
|
cena:
419,54 |
 |
The Synthesizer Generator Reference Manual
ISBN: 9780387969107 / Angielski / Miękka / 171 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen erator:...
The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specifi...
|
cena:
419,54 |
 |
Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
ISBN: 9780792371434 / Angielski / Twarda / 273 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers presented at the International Symposium on Domain Theory which took place in Shanghai in October 1999. Topics of papers range from the encounters between topology and domain theory, sober spaces, Lawson topology, real number computability and continuous functionals to fuzzy modelling, logic programming, and pi-calculi.
This book is a valuable reference for researchers and students interested in this rapidly developing area of theoretical... Domain theory is a rich interdisciplinary area at the intersection of logic, computer science, and mathematics. This volume contains selected papers p...
|
cena:
419,54 |
 |
Interaction Between Compilers and Computer Architectures
ISBN: 9780792373704 / Angielski / Twarda / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Effective compilers allow for a more efficient execution of application programs for a given computer architecture, while well-conceived architectural features can support more effective compiler optimization techniques. A well thought-out strategy of trade-offs between compilers and computer architectures is the key to the successful designing of highly efficient and effective computer systems. From embedded micro-controllers to large-scale multiprocessor systems, it is important to understand the interaction between compilers and computer architectures.
The goal of the Annual Workshop... Effective compilers allow for a more efficient execution of application programs for a given computer architecture, while well-conceived architectural...
|
cena:
419,54 |
 |
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
ISBN: 9780792375784 / Angielski / Twarda / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are used in embedded systems. Such an optimization requires a careful exploration of the design space, including a detailed study of cost/performance tradeoffs. In order to avoid time-consuming assembly language programming during design space exploration, compilers are needed. In order to analyze the effect of various software or hardware configurations on the performance, retargetable compilers are needed that can generate code for numerous...
It is well known that embedded systems have to be implemented efficiently. This requires that processors optimized for certain application domains are...
|
cena:
419,54 |
 |
A Systolic Array Parallelizing Compiler
ISBN: 9780792391227 / Angielski / Twarda / 130 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Widespread use of parallel processing will become a reality only if the process of porting applications to parallel computers can be largely automated. Usually it is straightforward for a user to determine how an application can be mapped onto a parallel machine; however, the actual development of parallel code, if done by hand, is typically difficult and time consuming. Parallelizing compilers, which can gen erate parallel code automatically, are therefore a key technology for parallel processing. In this book, Ping-Sheng Tseng describes a parallelizing compiler for systolic arrays, called...
Widespread use of parallel processing will become a reality only if the process of porting applications to parallel computers can be largely automated...
|
cena:
419,54 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
