» książki » Computers - Programming - Compilers
topmenu
 |
Functional and Logic Programming: 5th International Symposium, Flops 2001, Tokyo, Japan, March 7-9, 2001. Proceedings
ISBN: 9783540417392 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001. The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculus.
This text constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japa...
|
cena:
191,40 zł |
 |
Compilers: A Practical Approach
ISBN: 9780982505731 / Angielski / Twarda / 302 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This exciting and practical book for compiler construction combines history and development of several early programming languages together with sufficient theory to develop a compiler for an extensive language. The book reflects the author's views that compiler construction can best be learned by the actual implementation of a compiler. A source language, equivalent to early translating languages, is developed. An object language consisting entirely of numbers is also developed. The student will learn to write programs in the developed source and object language. Using the language C++, the...
This exciting and practical book for compiler construction combines history and development of several early programming languages together with suffi...
|
cena:
259,97 zł |
 |
Perspectives of Systems Informatics
ISBN: 9783642114854 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorodok (Novosibirsk, Russia), June 15-19, 2009. PSI is a forum for academic and industrial researchers, developers and users working on topics relating to computer, software and information sciences. The conference serves to bridge the gaps between di?erent communities whose - searchareasarecoveredbybutnotlimitedtofoundationsofprogramandsystem development and analysis, programming methodology and softwareengineering, and information technologies....
This volume contains the ?nal proceedings of the 7th International Andrei Ershov Memorial Conference on Perspectives of System Informatics Akad- gorod...
|
cena:
191,40 zł |
 |
C++: Grundlagen und Programmierung
ISBN: 9783211824153 / Niemiecki / Miękka / 306 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Viele Anzeichen sprechen dafiir, daB C++ zu der Programmiersprache der neunziger Jahre wird: Auf Konferenzen im Bereich der objektorientierten Software entwicklung behandeln typischerweise etwa die Halfte der programmiersprachen orientierten Beitrage C++, ein Viertel beschaftigt sich mit Smalltalk, aIle anderen Sprachen gemeinsam teilen sich auf das restliche Viertel auf. Ahnliche Tendenzen zeichnen sich am einschlagigen Stellenmarkt ab; der "Marktanteil" von C++ ist dort zwar noch geringer, befindet sich aber in standigem Wachstum. Die Griinde fiir diese Entwicklung sind offensichtlich: C++...
Viele Anzeichen sprechen dafiir, daB C++ zu der Programmiersprache der neunziger Jahre wird: Auf Konferenzen im Bereich der objektorientierten Softwar...
|
cena:
196,76 zł |
 |
C2 Compiler Concepts
ISBN: 9783211824313 / Angielski / Miękka / 176 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Writing a compiler is a very good practice for learning how complex problems could be solved using methods from software engineering. It is extremely important to program rather carefully and exactly, because we have to remember that a compiler is a program which has to handle an input that is usually incorrect. Therefore, the compiler itself must be error-free. Referring to Niklaus Wirth, we postulate that the grammatical structure of a language must be reflected in the structure of the compiler. Thus, the complexity of a language determines the complexity of the compiler (cf. Compilerbau....
Writing a compiler is a very good practice for learning how complex problems could be solved using methods from software engineering. It is extremely ...
|
cena:
191,40 zł |
 |
Computational Logic
ISBN: 9783642636707 / Angielski / Miękka / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from mathematical logic, in particular proof theory and model theory, are of great help here and will be used much more in future than previously. This book provides an excellent introduction to the interplay of mathematical logic and computer science. It contains extensively reworked versions of the lectures given at the 1997 Marktoberdorf Summer School by leading researchers in the field.
Topics covered include: proof theory and specification of... Recent developments in computer science clearly show the need for a better theoretical foundation for some central issues. Methods and results from ma...
|
cena:
574,29 zł |
 |
Theoretical Aspects of Computer Software: International Symposium Tacs '94 Sendai, Japan, April 19-22, 1994 Proceedings
ISBN: 9783540578871 / Angielski / Miękka / 892 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japan in April 1994. This top-level international symposium on theoretical computer science is devoted to theoretical aspects of programming, programming languages and system, and parallel and distributed computation. The papers in the volume are grouped into sessions on: lambda calculus and programming; automated deduction; functional programming; objects and assignments; concurrency; term rewriting and process equivalence; type theory and...
This volume contains the proceedings of the Second International Symposium on Theoretical Aspects of Computer Science, held at Tohoku University, Japa...
|
cena:
191,40 zł |
 |
Parsing Techniques: A Practical Guide
ISBN: 9781441919014 / Angielski / Miękka / 662 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing techniques are also implemented in a number of other disciplines, including but not limited to, document preparation and conversion, typesetting chemical formulae, and chromosome recognition. This second edition presents new developments and discoveries that have been made in the field. Parsing techniques have grown considerably in importance, both in computational linguistics where such parsers are the only option, and computer science,... Parsing, also referred to as syntax analysis, has been and continues to be an essential part of computer science and linguistics. Today, parsing te... |
cena:
842,30 zł |
 |
The Austin Protocol Compiler
ISBN: 9781441935885 / Angielski / Miękka / 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:
382,84 zł |
 |
Multi-Agent Programming: Languages, Platforms and Applications
ISBN: 9781441937537 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. While previous research has focused on the development of formal and informal approaches to analyze and specify Multi-Agent Systems, this book focuses on the development of programming languages and tools which not only support MAS programming, but also implement key concepts of MAS in a unified framework. Part I describes approaches that rely on computational logic or process algebra Jason, 3APL, IMPACT, and CLAIM/SyMPA. Part II presents... Multi-Agent Programming is an essential reference for anyone interested in the most up-to-date developments in MAS programming. Wh... |
cena:
574,29 zł |
 |
Retargetable Compiler Technology for Embedded Systems: Tools and Applications
ISBN: 9781441949288 / Angielski / Miękka / 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:
382,84 zł |
 |
Loop Parallelization
ISBN: 9781441951410 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great practical award. There is a tremendous investment in existing sequential programs, and scientists and engineers continue to write their application programs in sequential languages (primarily in Fortran). The demand for higher speedups increases. The job of a restructuring compiler is to discover the dependence structure and the characteristics of the given machine. Much attention has been focused on the Fortran do loop. This is where...
Automatic transformation of a sequential program into a parallel form is a subject that presents a great intellectual challenge and promises a great p...
|
cena:
574,29 zł |
 |
Compiler Construction Using Java, Javacc, and Yacc
ISBN: 9780470949597 / Angielski / Twarda / 664 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant advances in compiler technology taking place. Today, a renewed focus on do-it-yourself programming makes a quality textbook on compilers, that both students and instructors will enjoy using, of even more vital importance. This book covers every topic essential to learning compilers from the ground up and is accompanied by a powerful and flexible software package for evaluating projects, as well as several tutorials, well-defined projects, and...
Broad in scope, involving theory, the application of that theory, and programming technology, compiler construction is a moving target, with constant ...
|
cena:
523,89 zł |
 |
Symbolic Analysis for Parallelizing Compilers
ISBN: 9780792396239 / Angielski / Twarda / 138 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in tackling important optimization problems, some of which inhibit loop parallelization. The framework that Haghighat presents has proved extremely successful in induction and wraparound variable analysis, strength reduction, dead code elimination and symbolic constant propagation. The approach can be applied to any program transformation or optimization problem that uses properties and value ranges of program names. Symbolic analysis can be used...
In Symbolic Analysis for Parallelizing Compilers the author presents an excellent demonstration of the effectiveness of symbolic analysis in ...
|
cena:
382,84 zł |
 |
Principles of Program Analysis
ISBN: 9783642084744 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications include compilers (for code improvement), software validation (for detecting errors in algorithms or breaches of security) and transformations between data representation (for solving problems such as the Y2K problem). This book is unique in giving 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 demonstrates the...
Program analysis concerns static techniques for computing reliable approximate information about the dynamic behaviour of programs. Applications inclu...
|
cena:
191,40 zł |
 |
Funktionale Programmierung: In Opal, ML, Haskell Und Gofer
ISBN: 9783540436218 / Niemiecki / Twarda / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt keine Programmierkenntnisse voraus und eignet sich damit insbesondere fur Anfanger, aber auch fur alle, die mit der imperativen Programmierung vertraut sind und sich in die Thematik einarbeiten mochten. Mathematisch fundiert werden die theoretischen Grundlagen der Programmierung und ihre praktische Umsetzung behandelt. Das Ziel dabei ist, auch grosse Systeme entwerfen und handhaben zu konnen. Am Beispiel der modernen Programmiersprachen Opal, ML,...
Dieses Lehrbuch gibt eine kompakte Einfuhrung in die Konzepte, Methoden und Techniken der funktionalen oder applikativen Programmierung. Es setzt kein...
|
cena:
118,04 zł |
 |
Listen, Bäume Und Graphen ALS Objekte: Mit Beispielen in Object Pascal
ISBN: 9783211825785 / Niemiecki / Miękka / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt seine Leser in den Umgang mit Listen, Baumen und Graphen sowie in deren wichtigste Anwendungen ein und macht mit objektorientierten Entwurfs- und Programmierverfahren vertraut. Der hier verwendete objektorientierte Ansatz wird in der Literatur zur Entwicklung von Datenstrukturen und Algorithmen bisher wenig verwendet. Er hilft, Datenstrukturen und Algorithmen schrittweise zu entwickeln und verstandlich darzustellen. Ausserdem bietet er erweiterte...
Das Buch behandelt die Entwicklung von Datenstrukturen und Algorithmen fur Listen, Baume und Graphen mittels objektorientierter Verfahren. Es fuhrt se...
|
cena:
196,76 zł |
 |
Programmierumgebungen: Entwicklungswerkzeuge Und Programmiersprachen
ISBN: 9783540129219 / Niemiecki / Miękka / 238 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen Kapitel sind Mitarbeiter des Fachgebietes Softwaretechnik der Siemens AG, die aIle beruf lich mit der Thematik befal3t sind. Dabei wurden die Kapitel aufeinander abge stimmt, ohne jedoch die 'Perstinlichkeit' der einzelnen Autoren einzuschranken. Das Buch stellt somit eine Sammlung von einzelnen Beitragen dar, die - als Ge samtheit gesehen - den Uberblick iiber den heutigen Stand der Technik bei der vorgegebenen Thematik reprasentieren. Wegen...
Das vorliegende Buch behandelt diese Aspekte, wobei in besonderem Mal3e Wert auf die beiden genannten Aspekte gelegt wird. Die Autoren der einzelnen K...
|
cena:
196,76 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:
287,12 zł |
 |
Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung
ISBN: 9783540551911 / Niemiecki / Miękka / 250 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Banden wird das gesamte Gebiet der... Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darst...
|
cena:
178,73 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
