» książki » Computers - Languages - General
 |
Clause and Effect: PROLOG Programming for the Working Programmer
ISBN: 9783540629719 / Angielski / Miękka / 143 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a reference manual. The emphasis of this book is on a simplified and disciplined methodology for discerning the mathematical structures related to a problem, and then turning these structures into Prolog programs. This book is therefore not concerned about the particular features of the language nor about Prolog programming skills or techniques in general. A relatively pure subset of Prolog is used, which includes the 'cut', but no input/output, no...
This book is for people who have done some programming, either in Prolog or in a language other than Prolog, and who can find their way around a refer...
|
cena:
301,89 |
 |
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:
201,24 |
 |
ADA 95 Reference Manual: Language and Standard Libraries: International Standard Iso/Iec 8652:1995 (E)
ISBN: 9783540631446 / Angielski / Miękka / 533 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The thorough technical revisions and extensions documented in this manual are built on broad participation from the international Ada community and generous support by leading institutions. Over 750 submitted revision requests were evaluated, and the resulting enhancements make Ada 95 an outstanding language. The flexibility of languages such as C++, modern features such as object orientation, and improved interfacing capabilities have been added to...
This Ada 95 Reference Manual is essentially identical to the new International Standard ISO/IEC 8652:1995(E) for the Ada programming language. The tho...
|
cena:
402,53 |
 |
Theoretical and Practical Aspects of Spin Model Checking: 5th and 6th International Spin Workshops, Trento, Italy, July 5, 1999, Toulouse, France, Sep
ISBN: 9783540664994 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design process for software and hardware systems. Many approaches to reaching this goal have been developed, including rigorous speci cation, formal veri cation, automated validation, and testing. Finite-state model checking, as it is supported by the explicit-state model checkerSPIN, is enjoying a constantly increasingpopularity in automated property validation of concurrent, message based systems. SPIN has been in large parts implemented and is being...
Increasing the designer s con dence that a piece of software or hardwareis c- pliant with its speci cation has become a key objective in the design pr...
|
cena:
201,24 |
 |
Computational Linguistics and Intelligent Text Processing: 8th International Conference, Cicling 2007, Mexico City, Mexico, February 18-24, 2007, Proc
ISBN: 9783540709381 / Angielski / Miękka / 670 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CICLing 2007, held in Mexico City, Mexico in February 2007. The 53 revised full papers presented together with 3 invited papers cover all current issues in computational linguistics research and present intelligent text processing applications. This book constitutes the refereed proceedings of the 8th International Conference on Computational Linguistics and Intelligent Text Processing, CI... |
cena:
402,53 |
 |
Programming Languages and Systems: 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Pra
ISBN: 9783540713142 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 2007. It covers models and languages for Web services, verification, term rewriting, language based security, logics and correctness proofs, static analysis and abstract interpretation, semantic theories for object oriented languages, process algebraic techniques, applicative programming, and types for systems properties. This book constitutes the refereed proceedings of the 16th European Symposium on Programming, ESOP 2007, held in Braga, Portugal in March/April 200... |
cena:
402,53 |
 |
Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday
ISBN: 9783540713159 / Angielski / Miękka / 380 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions to the areas of programming languages, compilers and compiler generators, static program analysis, program transformation, algorithm animation, and real-time systems; co-founded a company to transfer some of these ideas to industry; held the Chair for Programming Languages and Compiler Construction at Saarland University; and served since its inception in 1990 as the Scientific Director of the International Conference and Research Center for... Reinhard Wilhelm's career in Computer Science spans more than a third of a century. During this time, he has made numerous research contributions t... |
cena:
201,24 |
 |
Programmieren Lernen: Eine Grundlegende Einführung Mit Java
ISBN: 9783540723639 / Niemiecki / Miękka / 604 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Objektorientiertes Programmieren mit Java - in der neuen Version 6: Systematisch, grundlich und Schritt fur Schritt erlautert der Autor die klassischen Programmierkonzepte, wie z.B. bedingte Anweisungen, Schleifen und Rekursion fur vielfaltige Anwendungen. Objekte und (generische) Klassen, Datenstrukturen, wichtige Algorithmen zum Suchen und Sortieren, einfache numerische Anwendungen, u.v.a. erganzen diese 3., korrigierte und erweiterte Auflage. Zusatzlich beschreibt der Autor Modularisierungskonzepte und Methoden fur die Programmierung mittels Threads, Exception-Handling, die Ein- und... Objektorientiertes Programmieren mit Java - in der neuen Version 6: Systematisch, grundlich und Schritt fur Schritt erlautert der Autor die klassis... |
cena:
188,08 |
 |
Languages and Compilers for Parallel Computing: 19th International Workshop, Lcpc 2006, New Orleans, La, Usa, November 2-4, 2006, Revised Papers
ISBN: 9783540725206 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans, LouisianaUSA.Morethan40researchers from around the world gathered together to present their latest results and to exchange ideas on topics ranging from parallel programming models, code generation, compilationtechniques, paralleldatastructureandparallelexecution models, toregisterallocationandmemorymanagementinparallelenvironments. Out of the 49 paper submissions, the Program Committee, with the help of external reviewers, selected 24 papers for presentation at the workshop. Each paper had...
The 19th Workshop on Languages and Compilers for Parallel Computing was heldinNovember2006inNewOrleans, LouisianaUSA.Morethan40researchers from around...
|
cena:
201,24 |
 |
Object Oriented Computer Systems Engineering
ISBN: 9783540760207 / Angielski / Miękka / 337 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in their own right, for example a computer, or they may be the computerised control systems inside larger products, such as factory automation systems, transportation systems and vehicles, and personal appliances such as portable telephones. In using the term engineering the authors have in mind a development process that operates in an integrated sequence of steps, employing defined techniques that have some scientific basis. Furthermore we expect...
This book addresses issues concerning the engineering of system prod ucts that make use of computing technology. These systems may be prod ucts in the...
|
cena:
201,24 |
 |
Data Structures and Algorithms: A First Course
ISBN: 9783540760474 / Angielski / Miękka / 419 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. All young computer scientists who aspire to write programs must learn something about algorithms and data structures. This book does exactly that. Based on lecture courses developed by the author over a number of years the book is written in an informal and friendly way specifically to appeal to students.
The book is divided into four parts: the first on Data Structures introduces a variety of structures and the fundamental operations associated with them, together with descriptions of how they are implemented in Pascal; the second discusses algorithms and the notion of complexity; Part... All young computer scientists who aspire to write programs must learn something about algorithms and data structures. This book does exactly that. Bas...
|
cena:
201,24 |
 |
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:
201,24 |
 |
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:
201,24 |
 |
Programming in Lua
ISBN: 9788590379829 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Authored by Roberto Ierusalimschy, the chief architect of the language, this volume covers all aspects of Lua 5---from the basics to its API with C---explaining how to make good use of its features and giving numerous code examples. (Computer Books)
Authored by Roberto Ierusalimschy, the chief architect of the language, this volume covers all aspects of Lua 5---from the basics to its API with C---...
|
cena:
189,86 |
 |
Lua 5.1 Reference Manual
ISBN: 9788590379836 / Angielski / Miękka / 112 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This manual is the official definition of Lua 5.1. It covers Lua's syntax and semantics, the full API with C, and the standard libraries. Lua is an extension programming language designed to support general procedural programming with data description facilities. It also offers good support for object-oriented programming, functional programming, and data-driven programming. Lua is intended to be used as a powerful, light-weight scripting language for any program that needs one. Lua is implemented as a library, and is highly portable, being written in clean C (that is, in the common subset of...
This manual is the official definition of Lua 5.1. It covers Lua's syntax and semantics, the full API with C, and the standard libraries. Lua is an ex...
|
cena:
75,95 |
 |
The Design and Implementation of Concurrentsmalltalk
ISBN: 9789810201128 / Angielski / Twarda / 172 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
223,46 |
 |
Non-Deterministic Concurrent Logic Programming in Pandora
ISBN: 9789810212513 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is a comprehensive study of the design, application and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating processes, which opens up interesting application areas that cannot conveniently be expressed in existing logic programming languages. The author describes the use of Pandora for constraint programming, solving resource allocation problems, heuristic...
This monograph is a comprehensive study of the design, application and implementation of Pandora, a new parallel logic programming language. Pandora c...
|
cena:
398,34 |
 |
An Algebraic Approach to Compiler Design
ISBN: 9789810223915 / Angielski / Twarda / 204 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adopted is to reduce an arbitrary source program to a general "normal form", capable of representing an arbitrary target machine. This is acheived by a series of normal form reduction theorems which are proved algebraically from the more basic laws. The normal form and the related reduction theorems can then be instantiated to design compilers for distinct target machines. This constitutes the main novelty of the author's approach to...
This work investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular str...
|
cena:
383,76 |
 |
Real Time Programming: Languages, Specification and Verification
ISBN: 9789810225667 / Angielski / Twarda / 264 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this by examining such areas as the characteristics of real-time/reactive programs, reactive programming languages, verification and refinements.
The aim of this text is to present research efforts that have gone into, or are going on in, the systematic design of real-time programs. It does this...
|
cena:
490,64 |
 |
Language Prototyping: An Algebraic Specification Approach
ISBN: 9789810227326 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping, and is centered around the ASF+SDF formalism and meta-environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The acompanying software is available in the public domain.
Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an...
|
cena:
582,94 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
