» książki » Computers - Languages - General
topmenu
 |
The World of Scripting Languages
ISBN: 9780471998860 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Scripting Languages form the basis of technologies on the World Wide Web. Office software suites such as Microsoft Office also rely heavily on them. They provide power and flexibility (even for non-expert programmers) for developing graphical user interfaces. This text surveys a variety of the most important Scripting Languages, illustrating their use in a wide variety of application domains, including Perl V, Tcl, Word Basic, Java Script, Visual Basic, and VB Script. It also explores object architectures such as COM, OLE and ActiveX and how thery rely on scripting.
Scripting Languages form the basis of technologies on the World Wide Web. Office software suites such as Microsoft Office also rely heavily on them. T...
|
cena:
305,12 zł |
 |
Two-Level Functional Languages
ISBN: 9780521018470 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
315,25 zł |
 |
A Practical Introduction to Denotational Semantics
ISBN: 9780521314237 / Angielski / Miękka / 148 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
148,48 zł |
 |
Illustrating PASCAL
ISBN: 9780521336956 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
249,13 zł |
 |
Concurrent Programming
ISBN: 9780521339933 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
202,43 zł |
 |
Distributed Ada: Developments and Experiences: Proceedings of the Distributed ADA '89 Symposium, University of Southampton, 11-12 December 1989
ISBN: 9780521392518 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the symposium was to provide a platform for developers and users with experience in the areas of distributed and parallel environments to reveal the advantages and difficulties encountered. The impact of Ada-9X and other enhancements to the language were also explored.
This book presents the proceedings of the Distributed Ada '89 Symposium held at the University of Southampton in December. The objective of the sympos...
|
cena:
545,80 zł |
 |
Numerical Recipes in FORTRAN 77: Volume 1, Volume 1 of FORTRAN Numerical Recipes: The Art of Scientific Computing
ISBN: 9780521430647 / Angielski / Twarda / 1010 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) This is the greatly revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product of a unique collaboration among four leading scientists in academic research and industry Numerical Recipes is a complete text and reference book on scientific computing. In a self-contained manner it proceeds from mathematical and theoretical considerations to actual practical computer routines. With over 100 new routines bringing the total to well over 300, plus upgraded versions of the original routines, this new edition remains the most...
This is the greatly revised and greatly expanded Second Edition of the hugely popular Numerical Recipes: The Art of Scientific Computing. The product ...
|
cena:
398,61 zł |
 |
Concurrent Programming in ML
ISBN: 9780521480895 / Angielski / Twarda / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Concurrent Programming ML (CML), included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming and functional programming. This practical, "how-to" book focuses on the use of concurrency to implement naturally concurrent applications. In addition to a tutorial introduction to programming in CML, the book presents three extended examples using CML for practical systems programming: a parallel software build system, a simple concurrent window manager, and an implementation of distributed tuple spaces. This book also illustrates advanced...
Concurrent Programming ML (CML), included as part of the SML of New Jersey (SML/NJ) distribution, combines the best features of concurrent programming...
|
cena:
545,80 zł |
 |
Object-Oriented Programming Via FORTRAN 90/95
ISBN: 9780521524087 / Angielski / Miękka / 362 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Writing technical applications in a modern object-oriented approach, using Fortran 90 or 95, can be problematic. This book teaches how to employ the principles of object-oriented programming to produce clear, highly efficient executable codes (rather than focusing on the traditional procedural abilities of Fortran). This text is an excellent harbinger to all the features of the finalized, fully object-oriented Fortran 200X. In addition to covering the OOP methodologies, the basic foundation of the language and solid programming skills are reviewed, making the book valuable also as a good...
Writing technical applications in a modern object-oriented approach, using Fortran 90 or 95, can be problematic. This book teaches how to employ the p...
|
cena:
320,15 zł |
 |
Theoretical Foundations of VLSI Design
ISBN: 9780521545655 / Angielski / Miękka / 452 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer science in general. The physical technologies of very large scale integration (VLSI) are having major effects on the electronic industry. The potential diversity and complexity of digital systems have begun a revolution in the technologies of digital design, involving the application of concepts and methods to do with algorithms and programming. In return, the problems of VLSI design have led to new subjects becoming of importance in computer...
This book discusses recent research in the theoretical foundations of several subjects of importance for the design of hardware, and for computer scie...
|
cena:
325,42 zł |
 |
ML for the Working Programmer
ISBN: 9780521565431 / Angielski / Miękka / 500 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
300,52 zł |
 |
The Functional Approach to Programming
ISBN: 9780521576819 / Angielski / Miękka / 460 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
300,52 zł |
 |
Semantics and Logics of Computation
ISBN: 9780521580571 / Angielski / Twarda / 376 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for graduate students and researchers working in this area.
This accessible and comprehensive volume addresses modern developments in semantics and logic of computation and will be an important source for gradu...
|
cena:
619,37 zł |
 |
Theories of Programming Languages
ISBN: 9780521594141 / Angielski / Twarda / 514 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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,91 zł |
 |
Epistemic Logic for AI and Computer Science
ISBN: 9780521602808 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowledge and belief of agents. This book, based on courses taught at universities and summer schools, provides a broad introduction to the subject; many exercises are included together with their solutions. The authors begin by presenting the necessary apparatus from mathematics and logic, including Kripke semantics and the well-known modal logics K, T, S4 and S5. Then they turn to applications in the contexts of distributed systems and artificial...
Epistemic logic has grown from its philosophical beginnings to find diverse applications in computer science as a means of reasoning about the knowled...
|
cena:
381,36 zł |
 |
Logic Programming: Operational Semantics and Proof Theory
ISBN: 9780521607544 / Angielski / Miękka / 120 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
238,97 zł |
 |
Protocols by Invariants
ISBN: 9780521607551 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Algorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve many problems at once, are conceptually far more complex than algorithms in a single processing unit environment. When the number of simultaneous events becomes large, human minds cannot keep track of all of them. Naturally, it is necessary to know whether a distributed algorithm will have the desired effect. In this book, Dr. Schoone discusses assertational verification by system-wide invariants for use in verifying the behavior of distributed...
Algorithms are a set of rules that specify a sequence of actions to be taken to solve a problem. Distributed algorithms, which are designed to solve m...
|
cena:
284,74 zł |
 |
Domains and Lambda-Calculi
ISBN: 9780521622776 / Angielski / Twarda / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) 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:
668,42 zł |
 |
Purely Functional Data Structures
ISBN: 9780521631242 / Angielski / Twarda / 232 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate well to functional languages such as Standard ML, Haskell, or Scheme. This book describes data structures from the point of view of functional languages, with examples, and presents design techniques that allow programmers to develop their own functional data structures. The author includes both classical data structures, such as red-black trees and binomial queues, and a host of new data structures developed exclusively for functional languages....
Most books on data structures assume an imperative language such as C or C++. However, data structures for these languages do not always translate wel...
|
cena:
374,09 zł |
 |
The Haskell School of Expression: Learning Functional Programming Through Multimedia
ISBN: 9780521643382 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych (dostawa przed świętami) Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes the use of objects). It has become popular in recent years because of its simplicity, conciseness, and clarity. This book teaches functional programming as a way of thinking and problem solving, using Haskell, the most popular purely functional language. Rather than using the conventional (boring) mathematical examples commonly found in other programming language textbooks, the author uses examples drawn from multimedia applications, including...
Functional programming is a style of programming that emphasizes the use of functions (in contrast to object-oriented programming, which emphasizes th...
|
cena:
447,66 zł |
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
