» książki » Computers - Programming - Compilers
topmenu
 |
Essential Visual C++ 6.0 Fast: An Introduction to Windows Programming Using the Microsoft Foundation Class Library
ISBN: 9781852331702 / Angielski / Miękka / 214 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Microsoft's Visual C++ 6.0 contains lots of new features designed to help developers build high performance applications. This book covers all these, which makes it ideal reading for those who want a quick introduction to Windows programming with Visual C++ and the Microsoft Foundation class (MFC) library. Topics covered by Ian Chivers in this book include: The 2 key Windows classes: CFrameWnd and CWinApp; Message Maps; Controls. Graphical Output Newcomers to the package will find that Essential Visual C++ 6.0 fast will help them to create their own applications - incorporating...
Microsoft's Visual C++ 6.0 contains lots of new features designed to help developers build high performance applications. This book covers all these, ...
|
cena:
209,75 |
 |
Software Design - Cognitive Aspect
ISBN: 9781852332532 / Angielski / Miękka / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Design - Cognitive Aspects covers a variety of areas including software analysis, design, coding and maintenance. It details the history of the research that has been conducted since the 1970s in this fast-developing field before defining a computer program from a computing and cognitive psychology viewpoint. Detailed treatment is given to the two essential sides of programming; software production and software understanding and throughout the book parallels are drawn between studies on processing texts written in natural language and processing computer programs.
This book... Software Design - Cognitive Aspects covers a variety of areas including software analysis, design, coding and maintenance. It details the histo...
|
cena:
209,75 |
 |
Introducing Fortran 95
ISBN: 9781852332761 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Introducing Fortran 95 contains:
- Lots of clear and simple examples highlighting the language features - Details of a variety of internet based sources which will prove invaluable for those seeking further information and support - Key features of the latest version of Fortran, including ISO Technical Reports TR 15580 and TR 15581 This comprehensive introduction will be essential to the complete beginner who wants to learn the fundamentals of programming using a modern, powerful, expressive and safe language, and to those wanting to update their programming skills by... Introducing Fortran 95 contains:
- Lots of clear and simple examples highlighting the language features - Details of a variety of intern... |
cena:
209,75 |
 |
Solving Problems in Scientific Computing Using Maple and MATLAB®
ISBN: 9783540211273 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. From the reviews: American Mathematical Monthly ..". the book is worth buying if you want guidance in applying Maple and MATLAB to problems in the workplace..." Computing Reviews ..". The presentation is unique, and extremely interesting. I was thrilled to read this text, and to learn the powerful problem-solving skills presented by these authors. I recommend the text highly, as a learning experience, not only to engineering students,... From the reviews: American Mathematical Mon... |
cena:
209,75 |
 |
Java and the Java Virtual Machine: Definition, Verification, Validation
ISBN: 9783540420880 / Angielski / Twarda / 381 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnichen, J. Loeckx, and M. Wirsing. During that seminar, after Egon Borger's talk on How to Use Abstract State Machines in Software Engineering, Wolfram Schulte, at the time a research assistant at the University of Ulm, Germany, questioned whether ASMs provide anything special as a scientifically well founded and rigorous yet simple and industrially viable framework for high level design and analysis of complex systems, and for natural refinements...
The origin of this book goes back to the Dagstuhl seminar on Logic for System Engineering, organized during the first week of March 1997 by S. Jiihnic...
|
cena:
209,75 |
 |
Types for Proofs and Programs: International Workshop, Types 2000, Durham, Uk, December 8-12, 2000. Selected Papers
ISBN: 9783540432876 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham, UK in December 2000. The 15 revised full papers presented were carefully reviewed and selected during two rounds of refereeing and revision. They address significant issues on type theory and type systems and their applications to programming, systems design and proof theory.
This volume constitutes the thoroughly refereed post-proceedings of the International Workshop of the TYPES Working Group, TYPES 2000, held in Durham,...
|
cena:
209,75 |
 |
ADA 95 Rationale: The Language - The Standard Libraries
ISBN: 9783540631439 / Angielski / Miękka / 466 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Ada 95 is the advanced version of the Ada programming language. The book is divided into four parts: the introduction is a general discussion of the scope and objectives of the Ada 95 and its major technical features; the second part contains a more detailed step-by-step account of the core language; part three consists of several annexes addressing the predefined environment and specialized application areas; finally the three appendices are devoted to the upward compatibility with Ada 83 and a summary of requirements. The text aims to provide a systematic guide to the new features of the...
Ada 95 is the advanced version of the Ada programming language. The book is divided into four parts: the introduction is a general discussion of the s...
|
cena:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
 |
Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006 Budapest, Hungary, September 4-6, 2006 Revised Selected
ISBN: 9783540741299 / Angielski / Miękka / 272 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:
209,75 |
 |
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:
209,75 |
 |
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:
209,75 |
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
