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
 |
Data Structures and Algorithms Using Visual Basic.Net
ISBN: 9780521547659 / Angielski / Miękka / 2005 / 414 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Including a tutorial on how to use data structures and algorithms and a reference for implementation using VB.NET and the .NET Framework Class Library, this is the first Visual Basic.NET book to provide a comprehensive discussion of the major data structures and algorithms. Michael McMillan presents arrays and arraylists, linked lists, hash tables, dictionaries, trees, graphs, sorting and searching as well as more advanced algorithms, such as probabilistic algorithms and dynamic programming in an object-oriented fashion. Finally, the professional or student VB.NET programmer has a dedicated...
Including a tutorial on how to use data structures and algorithms and a reference for implementation using VB.NET and the .NET Framework Class Library...
|
cena:
268,78 |
 |
ML for the Working Programmer
ISBN: 9780521565431 / Angielski / Miękka / 1996 / 500 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and teaching the fundamentals of functional programming. The major change is the early and prominent coverage of modules, which the author extensively uses throughout. In addition, Paulson has totally rewritten the first chapter to make the book more accessible to students who have no experience of programming languages. The author describes the main features of new Standard Library for the revised version of ML, and gives many new examples, e.g....
The new edition of this successful and established textbook retains its two original intentions of explaining how to program in the ML language, and t...
|
cena:
296,91 |
 |
Neural Network Learning: Theoretical Foundations
ISBN: 9780521573535 / Angielski / Twarda / 1999 / 404 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This important work describes recent theoretical advances in the study of artificial neural networks. It explores probabilistic models of supervised learning problems, and addresses the key statistical and computational questions. Chapters survey research on pattern classification with binary-output networks, including a discussion of the relevance of the Vapnik Chervonenkis dimension, and of estimates of the dimension for several neural network models. In addition, Anthony and Bartlett develop a model of classification by real-output networks, and demonstrate the usefulness of classification...
This important work describes recent theoretical advances in the study of artificial neural networks. It explores probabilistic models of supervised l...
|
cena:
564,08 |
 |
Topology Via Logic
ISBN: 9780521576512 / Angielski / Miękka / 1996 / 220 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting properties of open sets in the real line. Second, the author freely exploits the methods of locale theory. Third, there is substantial discussion of some computer science applications. As computer scientists become more aware of the mathematical foundations of their discipline, it is appropriate that such topics are presented in a form of direct...
This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite ...
|
cena:
240,66 |
 |
The Functional Approach to Programming
ISBN: 9780521576819 / Angielski / Miękka / 1998 / 460 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. A programming course should concentrate on a program's logical structure and design rather than on simply writing code. The functional approach to programming achieves this aim because logical concepts are evident and programs are transparent, and so can be written quickly and cleanly. In this book, the authors emphasize the notions of function and relate programming to familiar concepts from mathematics and logic. They introduce functional programming via examples but also explain what programs compute and how to reason about them. They show how the ideas can be implemented in the Caml...
A programming course should concentrate on a program's logical structure and design rather than on simply writing code. The functional approach to pro...
|
cena:
296,91 |
 |
Probabilistic Modelling
ISBN: 9780521585309 / Angielski / Miękka / 1997 / 236 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Probabilistic modelling is the most cost-effective means of performance and reliability evaluation of complex dynamic systems. This self-contained text offers an introduction to the tools and applications used in probabilistic modelling.
Probabilistic modelling is the most cost-effective means of performance and reliability evaluation of complex dynamic systems. This self-contained tex...
|
cena:
212,54 |
 |
Theories of Programming Languages
ISBN: 9780521594141 / Angielski / Twarda / 1998 / 514 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including...
This textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of ...
|
cena:
334,40 |
 |
Formal Semantics and Pragmatics for Natural Language Querying
ISBN: 9780521602747 / Angielski / Miękka / 2004 / 212 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links them via a common view of the semantics of time. It is argued that a coherent theory of the semantics of time is an essential ingredient for the success of efforts to incorporate more ???real world??? semantics into database models. This idea is a relatively recent concern of database research but it is receiving growing interest. The book begins with a discussion of database querying which motivates the use of the paradigm of Montague Semantics...
This book discusses the connection between two areas of semantics, namely the semantics of databases and the semantics of natural language, and links ...
|
cena:
286,64 |
 |
Axiomatic Domain Theory in Categories of Partial Maps
ISBN: 9780521602778 / Angielski / Miękka / 2004 / 256 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic account of the subject and studies mathematical structures suitable for modelling functional programming languages in an axiomatic (i.e. abstract) setting. In particular, the author develops theories of partiality and recursive types and applies them to the study of the metalanguage FPC; for example, enriched categorical models of the FPC are defined. Furthermore, FPC is considered as a programming language with a call-by-value operational...
Axiomatic categorical domain theory is crucial for understanding the meaning of programs and reasoning about them. This book is the first systematic a...
|
cena:
249,65 |
 |
Information Dispersal and Parallel Computation
ISBN: 9780521602792 / Angielski / Miękka / 2004 / 200 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In 1989, Michael Rabin proposed a fundamentally new approach to the problems of fault-tolerant routing and memory management in parallel computation, based on the idea of information dispersal. Yuh-Dauh Lyuu developed this idea in a number of new and exciting ways in his PhD thesis. Further work has led to extensions of these methods to other applications such as shared memory emulations. This volume presents an extended and updated printing of Lyuu's thesis. It gives a detailed treatment of the information dispersal approach to the problems of fault-tolerance and distributed representations...
In 1989, Michael Rabin proposed a fundamentally new approach to the problems of fault-tolerant routing and memory management in parallel computation, ...
|
cena:
245,03 |
 |
Applications of Process Algebra
ISBN: 9780521607506 / Angielski / Miękka / 2005 / 332 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communicating processes studied using an algebraic framework. The approach is axiomatic; the authors consider structures that are some set of mostly equational axioms, which are equipped with several operators. Thus the term ?algebra? is used in the model-theoretic sense. The axiomatic approach enables one to organize the field of process theories. The theory is applied systematically to a number of situations, including systolic algorithms, semantics...
This book gives applications of the theory of process algebra, or Algebra of Communicating Processes (ACP), that is the study of concurrent or communi...
|
cena:
573,27 |
 |
Logic Programming: Operational Semantics and Proof Theory
ISBN: 9780521607544 / Angielski / Miękka / 2004 / 120 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He shows how the rift between theory and practice in logic programming can be bridged. This is achieved by precisely characterizing the way in which ?depth-first? search for solutions to a logical formula - the usual strategy in most practical languages - is incomplete. Languages that perform ?breadth-first? searches reflect more closely the theory underlying logic programming languages. Researchers interested in logic programming or...
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming langua...
|
cena:
245,03 |
 |
Modern Compiler Implementation in ML
ISBN: 9780521607643 / Angielski / Miękka / 2004 / 552 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate representations, instruction selection via tree matching, dataflow analysis, graph-coloring register allocation, and runtime systems. It includes good coverage of current techniques in code generation and register allocation, as well as functional and object-oriented languages, that are missing from most books. In addition, more advanced chapters are now included so that it can be used as the basis for two-semester or graduate course. The most...
This new, expanded textbook describes all phases of a modern compiler: lexical analysis, parsing, abstract syntax, semantic actions, intermediate repr...
|
cena:
537,37 |
 |
Handshake Circuits: An Asynchronous Architecture for VLSI Programming
ISBN: 9780521617154 / Angielski / Miękka / 2004 / 240 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. ?Design by programming? has proved very successful in the development of complex software systems. This book describes the construction of programs for VLSI digital circuit design, using the language Tangram, and shows how they can be compiled automatically in fully asynchronous circuits. Handshake circuits were invented by the author to separate questions involving the efficient implementation of the VLSI circuits from issues arising in their design. Dr van Berkel presents a mathematical theory of handshake circuits and a silicon compiler supported by a correctness proof. The treatment of...
?Design by programming? has proved very successful in the development of complex software systems. This book describes the construction of programs fo...
|
cena:
397,59 |
 |
Intro Clust Large High Dimens Data
ISBN: 9780521617932 / Angielski / Miękka / 2006 / 205 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. There is a growing need for a more automated system of partitioning data sets into groups, or clusters. For example, digital libraries and the World Wide Web continue to grow exponentially, the ability to find useful information increasingly depends on the indexing infrastructure or search engine. Clustering techniques can be used to discover natural groups in data sets and to identify abstract structures that might reside there, without having any background knowledge of the characteristics of the data. Clustering has been used in a variety of areas, including computer vision, VLSI design,...
There is a growing need for a more automated system of partitioning data sets into groups, or clusters. For example, digital libraries and the World W...
|
cena:
249,65 |
 |
Action Semantics
ISBN: 9780521619332 / Angielski / Miękka / 2005 / 396 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of denotational and operational semantics. Action Semantics has considerable pragmatic advantages over all previous approaches, in its comprehensibility and accessibility, and especially in the usefulness of its semantic descriptions of realistic programming languages. In this volume, Dr Peter Mosses gives a thorough introduction to action semantics, and provides substantial illustrations of its use. Graduates of computer science or maths who have...
Action Semantics is a novel approach to the formal description of programming languages. Its abstractness is at an intermediate level, between that of...
|
cena:
346,74 |
 |
Online Computation and Competitive Analysis
ISBN: 9780521619462 / Angielski / Miękka / 2005 / 436 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. In online computation a computer algorithm must decide how to act on incoming items of information without any knowledge of future inputs. How should it route the next telephone call? Where in memory should it store a just-closed record? This book provides an in-depth presentation of competitive analysis, an attractive framework within which such problems can be analyzed and solved. In this framework, the quality of an algorithm is measured relative to the best possible performance of an algorithm that has complete knowledge of the future. This methodology for the analysis of online decision...
In online computation a computer algorithm must decide how to act on incoming items of information without any knowledge of future inputs. How should ...
|
cena:
545,53 |
 |
Building Natural Language Generation Systems
ISBN: 9780521620369 / Angielski / Twarda / 2000 / 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:
535,95 |
 |
Fundamentals of Engineering Programming with C and FORTRAN
ISBN: 9780521620635 / Angielski / Twarda / 1998 / 224 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Fundamentals of Engineering Programming with C and Fortran is a beginner's guide to problem solving with computers that shows how to quickly prototype a program for a particular engineering application. The book's side-by- side coverage of C and Fortran is unique. Myler emphasizes the importance of developing programming skills in C while carefully presenting the importance of maintaining a good reading knowledge of Fortran. Beginning with a brief description of computer architecture, he then covers the fundamentals of computer programming for problem solving. He also devotes separate...
Fundamentals of Engineering Programming with C and Fortran is a beginner's guide to problem solving with computers that shows how to quickly prototype...
|
cena:
474,98 |
 |
Domains and Lambda-Calculi
ISBN: 9780521622776 / Angielski / Twarda / 1998 / 504 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meaning of programming constructs in both a language-independent and a machine-independent way and to prove properties about programs, such as whether they terminate, or whether their result is a solution of the problem they are supposed to solve. In order to achieve this the authors first present, in an elementary and unified way, the theory of certain topological spaces that have proved of use in the modeling of various families of typed lambda...
This book describes the mathematical aspects of the semantics of programming languages. The main goals are to provide formal tools to assess the meani...
|
cena:
662,51 |
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
