topmenu
• Nauka
[3090713]
[1812092]
[52353]
[156406]
• Komiksy
[36497]
[23076]
[611051]
• Hobby
[103270]
[1744]
[194823]
[382]
• Słowniki
[2994]
• Inne
[446649]
[242]
[166396]
[420635]
• Religia
[508575]
[545]
• Sport
[61132]
• Sztuka
[249371]
[3442]
[230899]
• Zdrowie
[98302]
[126]
• Zabawki
[2532]
[4027]
[273]
[8376]
Programowanie
ilość książek w kategorii: 16946
 |
Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
ISBN: 9780521018456 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the...
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to des...
|
cena:
286,64 |
 |
Two-Level Functional Languages
ISBN: 9780521018470 / Angielski / Miękka / 2005 / 312 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is run-time and compile-time) that distinguishes between them. Consequently, the ability to specify code and verify program correctness can be improved. Two developments are needed, the first of which introduces the binding time distinction into the lambda calculus in a manner analogous with the introduction of types into the untyped lambda calculus. Methods are also presented for introducing combinators for run-time. The second concerns the...
The authors describe here a framework in which the type notation of functional languages is extended to include a notation for binding times (that is ...
|
cena:
319,00 |
 |
Foundations of Parallel Programming
ISBN: 9780521018562 / Angielski / Miękka / 2005 / 212 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an integrated approach to developing software for parallel machines that addresses software issues and performance issues together. The author describes a methodology for software construction that is architecture-independent and intellectually abstract. The software can execute efficiently on a range of existing and potential hardware configurations. The approach is based on the construction of categorical data types, a generalization of abstract...
Using parallel machines is difficult because of their inherent complexity and because their architecture changes frequently. This book presents an int...
|
cena:
245,03 |
 |
The B-Book: Assigning Programs to Meanings
ISBN: 9780521021753 / Angielski / Miękka / 2005 / 816 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations, including a systematic construction of predicate logic and set...
The B method is a means for specifying, designing and coding software systems. The long-awaited B Book is the standard reference for everything concer...
|
cena:
637,99 |
 |
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
ISBN: 9780521022545 / Angielski / Miękka / 2005 / 280 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles, and intensionality.
This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unificat...
|
cena:
286,64 |
 |
Building Natural Language Generation Systems
ISBN: 9780521024518 / Angielski / Miękka / 2006 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book explains how to build Natural Language Generation (NLG) systems--computer software systems that automatically generate understandable texts in English or other human languages. NLG systems use knowledge about language and the application domain to automatically produce documents, reports, explanations, help messages, and other kinds of texts. The book covers the algorithms and representations needed to perform the core tasks of document planning, microplanning, and surface realization, using a case study to show how these components fit together. It is essential reading for...
This book explains how to build Natural Language Generation (NLG) systems--computer software systems that automatically generate understandable texts ...
|
cena:
360,60 |
 |
Architectures and Mechanisms for Language Processing
ISBN: 9780521027502 / Angielski / Miękka / 2006 / 376 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The architectures and mechanisms underlying language processing form one important part of the general structure of cognition. This book, written by leading experts in the field, brings together linguistic, psychological, and computational perspectives on some of the fundamental issues. Several general introductory chapters offer overviews on important psycholinguistic research frameworks and highlight both shared assumptions and controversial issues. Subsequent chapters explore syntactic and lexical mechanisms, the interaction of syntax and semantics in language understanding, and the...
The architectures and mechanisms underlying language processing form one important part of the general structure of cognition. This book, written by l...
|
cena:
226,54 |
 |
Parallel Computing: Principles and Practice
ISBN: 9780521031899 / Angielski / Miękka / 2006 / 360 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book sets out the principles of parallel computing, explaining why, where, and how parallel computing is used. It is unique in its coverage of both conventional and neural computing (which act in ways similar to human brains), and also covers such topics as the fundamental paradigms employed in the field, how systems are programmed or trained, technical aspects including connectivity and processing element complexity, and how system performance is estimated (and why doing so is difficult). The penultimate chapter comprises a set of case studies of archetypal parallel computers, each...
This book sets out the principles of parallel computing, explaining why, where, and how parallel computing is used. It is unique in its coverage of bo...
|
cena:
268,14 |
 |
Deductive and Declarative Programming
ISBN: 9780521032513 / Angielski / Miękka / 2006 / 288 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive theories of suitable data type specifications and exploit both classical theorem-proving and term rewriting. Detailed examples accompany the development of the methods, and their use is supported by a prototyping system that is documented at the end of the book.
In this book, the author develops deduction-oriented methods for reasoning about functional and logic programs. The methods are based on the inductive...
|
cena:
286,64 |
 |
Compiling with Continuations
ISBN: 9780521033114 / Angielski / Miękka / 2007 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations.
This book shows how continuation-passing style is used as an intermediate representation on which to perform optimisations and program transformations...
|
cena:
540,91 |
 |
Systemic Text Generation as Problem Solving
ISBN: 9780521039260 / Angielski / Miękka / 2007 / 228 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. An exploration of a new approach to text generation that interprets systemic grammar as a computational representation. Patten demonstrates that systemic grammar can be easily and automatically translated into current AI-knowledge representations and efficiently processed by the same knowledge-based techniques currently exploited by expert systems. Thus, the fundamental methodological problem of interfacing specialized computational representations with equally specialized linguisticrepresentations can be resolved. The study provides a detailed discussion of the formal model proposed and of a...
An exploration of a new approach to text generation that interprets systemic grammar as a computational representation. Patten demonstrates that syste...
|
cena:
226,54 |
 |
An Introduction to Functional Programming Systems Using Haskell
ISBN: 9780521277242 / Angielski / Miękka / 1992 / 304 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Functional programming, is a style of programming that has become increasingly popular during the past few years. Applicative programs have the advantage of being almost immediately expressible as functional descriptions; they can be proved correct and transformed through the referential transparency property. This book presents the basic concepts of functional programming, using the language HASKELL for examples. The author incorporates a discussion of lambda calculus and its relationship with HASKELL, exploring the implications for parallelism.
Functional programming, is a style of programming that has become increasingly popular during the past few years. Applicative programs have the advant...
|
cena:
226,60 |
 |
Computational Linguistics: An Introduction
ISBN: 9780521310383 / Angielski / Miękka / 1986 / 200 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In spite of the rapid growth of interest in the computer analysis of language, this book provides an integrated introduction to the field. Inevitably, when many different approaches are still being considered, a straightforward work of synthesis would be neither possible nor practicable. Nevertheless, Ralph Grishman provides a valuable survey of various approaches to the problems of syntax analysis, semantic analysis, text analysis and natural language generation, while considering in greater detail those that seem to him most productive. The book is written for readers with some background...
In spite of the rapid growth of interest in the computer analysis of language, this book provides an integrated introduction to the field. Inevitably,...
|
cena:
217,22 |
 |
A Practical Introduction to Denotational Semantics
ISBN: 9780521314237 / Angielski / Miękka / 1987 / 148 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach and the student is encouraged to write and test denotational definitions. The first section is devoted to the mathematical foundations of the subject and sufficient detail is given to illustrate the fundamental problems. The remainder of the book covers the use of denotational semantics to describe sequential programming languages such as Algol, Pascal and C. Throughout, numerous exercises, usually in Pascal, will help the student practise...
This textbook is an introduction to denotational semantics and its applications to programming languages. Dr Allison emphasizes a practical approach a...
|
cena:
146,92 |
 |
Program Construction
ISBN: 9780521318839 / Angielski / Miękka / 1987 / 384 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction from the original specifications through to the final program. The formal verification of intermediate versions of the program is studied in considerable detail. The authors show how, given the formal specification of a program, data structure and program structure diagrams are drawn and then converted into a procedural program in a program design language (PDL). They demonstrate the conversion of PDL into a variety of real programming languages...
This textbook is an introduction to the design and writing of computer programs. It leads the reader through all the stages of program construction fr...
|
cena:
212,49 |
 |
Illustrating PASCAL
ISBN: 9780521336956 / Angielski / Miękka / 1987 / 196 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book provides an introduction to programming in Pascal for the complete beginner. It starts with the fundamental concept of a stored program and works through to the manipulation of records in dynamic storage. The style of presentation is pictorial, with well-chosen illustrations replacing lengthy descriptions. Besides defining the statements and structures of Pascal, this book illustrates the use of such features in small, but complete, programs. The programs themselves introduce fundamental techniques of programming and tools of the programmer's trade. This book may be used as a...
This book provides an introduction to programming in Pascal for the complete beginner. It starts with the fundamental concept of a stored program and ...
|
cena:
254,28 |
 |
Testing in Software Development
ISBN: 9780521337861 / Angielski / Miękka / 1986 / 136 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software developer to rely solely on testing the code produced. Testing must begin with the specification of requirements, continue on the design and finally on the implemented system. This book gives guidance on how testing can be carried out at each of the stages of software development. It does this by looking at the development process from four viewpoints: that of the intended user of the system, of its designers, of its programmers, and of the...
With the increasing application of software in systems, especially safety- or even life-critical systems, it is no longer sufficient for the software ...
|
cena:
151,60 |
 |
Concurrent Programming
ISBN: 9780521339933 / Angielski / Miękka / 1992 / 252 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book is designed as a first book on concurrent programming and provides a comprehensive introduction to the problems of concurrency. The book builds on the reader's familiarity with sequential programming in a high-level language. It is concerned mainly with the high-level aspects of concurrency, which will be equally applicable to traditional time-sliced or more recent truly parallel systems. Topics covered include: processes and inter-process communication, shared data and message passing constructs, languages for concurrency, and the implementation of concurrent kernel.
This book is designed as a first book on concurrent programming and provides a comprehensive introduction to the problems of concurrency. The book bui...
|
cena:
203,16 |
 |
A Practical Handbook for Software Development
ISBN: 9780521347921 / Angielski / Miękka / 1988 / 272 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This handbook offers the implementer of software systems a guide to 25 different techniques for the complete development process, from system definition through design and into production. The techniques are described against a common background of the traditional development path, its activities, and deliverable items. In addition, the concepts of metrics and indicators are introduced as tools for both technical and managerial monitoring and control of progress and quality. This book will enable system developers and their managers to widen their knowledge of this process, and will also...
This handbook offers the implementer of software systems a guide to 25 different techniques for the complete development process, from system definiti...
|
cena:
245,34 |
 |
Systemic Text Generation
ISBN: 9780521350761 / Angielski / Twarda / 1988 / 228 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. An exploration of a new approach to text generation that interprets systemic grammar as a computational representation. Patten demonstrates that systemic grammar can be easily and automatically translated into current AI-knowledge representations and efficiently processed by the same knowledge-based techniques currently exploited by expert systems. Thus, the fundamental methodological problem of interfacing specialized computational representations with equally specialized linguisticrepresentations can be resolved. The study provides a detailed discussion of the formal model proposed and of a...
An exploration of a new approach to text generation that interprets systemic grammar as a computational representation. Patten demonstrates that syste...
|
cena:
540,65 |
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
