» książki » Computers - Programming - Compilers
topmenu
 |
The F Language Guide
ISBN: 9783540761655 / Angielski / Miękka / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Fortran is currently the world's most powerful numeric language and F is a subset of this. F is a programming language which is nearly as powerful as its parent language, containing the modern language features of Fortran, yet smaller and easier to use, debug and teach than Fortran. As with his previous Fortran books, Wilhelm Gehrke has provided a clear and comprehensive guide to the F language in this book which will be welcomed by practitioners and students alike. The F Language Guide will serve as a language reference manual for the novice as well as for the experienced programmer,...
Fortran is currently the world's most powerful numeric language and F is a subset of this. F is a programming language which is nearly as powerful as ...
|
cena:
271,36 |
 |
Key Java: Advanced Tips and Techniques
ISBN: 9783540762591 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Java is such a rapidly evolving language, it can be difficult for developers to keep abreast of developments. It has moved beyond a lnaguage used just for creating Web-based applets to one that is being used for developing serious applications. Key Java is intended for those who already know the Java language, the classes and the tools, but who want to get more out of Java. They are wanting to know about subjects such as good Java style for reusable components, about using Java beans, about the JDBC, about optimising their code, about testing their code appropriately and about using the IFC,...
Java is such a rapidly evolving language, it can be difficult for developers to keep abreast of developments. It has moved beyond a lnaguage used just...
|
cena:
203,13 |
 |
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:
394,74 |
 |
Semantics-Directed Compiler Generation: Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980
ISBN: 9783540102502 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
142,18 |
 |
Compiler Specification and Verification
ISBN: 9783540108863 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,42 |
 |
An Analytical Description of Chill, the Ccitt High Level Language
ISBN: 9783540111962 / Angielski / Miękka / 287 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,13 |
 |
Rims Symposium on Software Science and Engineering II: Proceedings of the Symposia 1983 and 1984, Kyoto, Japan
ISBN: 9783540164708 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,13 |
 |
Anna a Language for Annotating ADA Programs: Reference Manual
ISBN: 9783540179801 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally specifying the intended behavior of ADA programs.
This reference manual of ANNA is another volume addressed to the ADA community. ANNA is a language extension of ADA to include facilities for formally...
|
cena:
203,13 |
 |
A Review of ADA Tasking
ISBN: 9783540180081 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the US Department of Defense (DoD) ensures that it will be used extensively for the indefinite future in programming large and complex systems. The growing availability of compilers means that many organisations are already committed to using the language for sizable and significant applications. As a perhaps inevitable result of its design goals, Ada is a "large" language. It has Pascal-like control and type constructs; a mechanism for exception...
Ada* is unquestionably one of the most significant programming languages to emerge in the last decade. The manner of its inception and support by the ...
|
cena:
203,13 |
 |
PORTAL Language Description
ISBN: 9783540189602 / Angielski / Miękka / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
203,13 |
 |
ESOP '88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
ISBN: 9783540190271 / Angielski / Miękka / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, specification and implementation of programming languages and systems. Particular emphasis is placed on work in which an implemented system embodies an important concept or formal model of programming in such a way that its usefulness is demonstrated. Among the five sections of the volume, the one on language implementation contains the most papers. Here a rather wide spectrum of aspects, ranging from language implementation problems on parallel...
The volume contains the 23 papers selected for presentation at the ESOP '88 Conference, Nancy 1988. The theme of the ESOP conferences is the design, s...
|
cena:
203,13 |
 |
Recent Trends in Data Type Specification: Fifth Workshop on Specification of Abstract Data Types. Gullane, Scotland, September 1-4, 1987. Selected Pap
ISBN: 9783540503255 / Angielski / Miękka / 268 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based on selected talks presented at the workshop. The algebraic specification of abstract data types has been a flourishing topic in computer science since 1974. The main goal of work in this area is to evolve a methodology to support the design and formal development of reliable software. The particular approach taken builds upon concepts from universal algebra and elementary category theory. The core of this work has now stabilized to a great extent...
The Fifth Workshop on Specification of Abstract Data Types took place 1-4 September 1987 in Gullane, near Edinburgh. This book contains papers based o...
|
cena:
203,13 |
 |
ESOP '90: 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings
ISBN: 9783540525929 / Angielski / Miękka / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementation techniques, programs as data objects, programming styles.
Proceedings of a conference on programming and programming languages. Topics include program development, programming language concepts, implementatio...
|
cena:
190,94 |
 |
Combinatorics on Traces
ISBN: 9783540530312 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concurrency are not yet sufficiently developed. This volume presents a comprehensive study of Mazurkiewicz' trace theory from an algebraic-combinatorial point of view. This theory is recognized as an important tool for a rigorous mathematical treatment of concurrent systems. The volume covers several different research areas, and contains not only known results but also various new results published nowhere else. Chapter 1 introduces basic...
Parallelism or concurrency is one of the fundamental concepts in computer science. But in spite of its importance, theoretical methods to handle concu...
|
cena:
203,13 |
 |
Prospects for Functional Programming in Software Engineering
ISBN: 9783540538523 / Angielski / Miękka / 210 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical point of view. Formal techniques such as abstract interpretation and program transformation are presented and applied to practical problems.
The aim of this study is to provide evidence of the relevance of functional programming for software engineering, both from a research and a practical...
|
cena:
203,13 |
 |
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected
ISBN: 9783540741299 / Angielski / Miękka / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen full papers are presented. Each one was submitted to two rounds of reviews to ensure accuracy, thoroughness, and readability. The papers address all current theoretical and methodological issues in functional and function-based languages. This volume constitutes the post-proceedings of the 18th International Workshop on Implementation and Applications of Functional Languages. Fifteen... |
cena:
203,13 |
 |
Specification and Transformation of Programs: A Formal Approach to Software Development
ISBN: 9783540525899 / Angielski / Miękka / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An introductory textbook on formal specification and transformational programming as an approach to software development.
An introductory textbook on formal specification and transformational programming as an approach to software development.
|
cena:
271,36 |
 |
Compiler Compilers: Third International Workshop, CC `90. Schwerin, Frg, October 22-24, 1990. Proceedings
ISBN: 9783540536697 / Angielski / Miękka / 229 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of biannual workshops. Selected papers address the topics of requirements, properties and theoretical aspects of compiler compilers as well as tools and metatools for software engineering. Contributors cover a wide spectrum in the field, ranging from overviews of new compiler compilers for generating quality compilers to special problems of code generation and optimization. Aspects of compilers for parallel systems and knowledge-based development...
Advances and problems in the field of compiler compilers are considered in this volume, which presents the proceedings of the third in a series of bia...
|
cena:
203,13 |
 |
Ecoop '91 European Conference on Object-Oriented Programming: Geneva, Switzerland, July 15-19, 1991. Proceedings
ISBN: 9783540542629 / Angielski / Miękka / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented programming techniques have quickly gained widespread use and popularity. The proceedings of ECOOP '91 include papers discussing language design, specification, databases, concurrency, types, and software development.
Object-oriented programming techniques have quickly gained widespread use and popularity. The proceedings of ECOOP '91 include papers discussing langu...
|
cena:
203,13 |
 |
Esec '91: 3rd European Software Engineering Conference, Esec '91, Milan, Italy, October 21-24, 1991. Proceedings
ISBN: 9783540547426 / Angielski / Miękka / 536 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, developers and users of software engineering technology. The need for a meeting point to discuss new results and useful experiences was clear from the large amount of high-quality European software engineering research in recent years, stimulated, for example, through major European research programmes. The papers in these proceedings cover a broad range of themes, such as formal methods and practical experiences with them, special techniques for...
This volume details one of a series of conferences set up by European societies with the aim of providing an international forum for researchers, deve...
|
cena:
203,13 |
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
