(Izdošanas datums: 17-Jan-2014, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461293774)
In the 1930s, mathematical logicians studied the notion of effective comput ability using such notions as recursive functions, A-calculus, and Turing machines. The 1940s saw the construction of the first electronic computers, and the next 20 years...Lasīt vairāk
(Izdošanas datums: 31-Jul-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781468402131)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical fo...Lasīt vairāk
(Izdošanas datums: 31-Jul-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781468403596)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
This monograph on classical logic presents fundamental concepts and results in a rigorous mathematical style. Applications to automated theorem proving are considered and usable programs in Prolog are provided. This material can be used both as a fir...Lasīt vairāk
(Izdošanas datums: 24-May-2013, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461297314)
Compilers and operating systems constitute the basic interfaces between a programmer and the machine for which he is developing software. In this book we are concerned with the construction of the former. Our intent is to provide the reader with a fi...Lasīt vairāk
(Izdošanas datums: 24-Mar-2013, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781475780758)
An invited collection of peer-reviewed papers surveying key areas of Roger Needhams distinguished research career at Cambridge University and Microsoft Research.From operating systems to distributed computing, many of the worlds leading r...Lasīt vairāk
(Izdošanas datums: 27-Dec-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461293491)
Modula-2 is a simple yet powerful programming language that is suitable for a wide variety of applications. It is based on Pascal, a successful programming language that was introduced in 1970 by Niklaus Wirth. During the 1970s Pascal became the mos...Lasīt vairāk
(Izdošanas datums: 17-Oct-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461265184)
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, t...Lasīt vairāk
(Izdošanas datums: 08-Oct-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461267980)
An approach to complexity theory which offers a means of analysing algorithms in terms of their tractability. The authors consider the problem in terms of parameterized languages and taking k-slices of the language, thus introducing readers to new...Lasīt vairāk
Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu
Sērija : Monographs in Computer Science
(Izdošanas datums: 08-Oct-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781441934727)
Helps in the development of large software projects.Uses a well-known open-source software prototype system (Vesta developed at Digital and Compaq Systems Research Lab)....Lasīt vairāk
(Izdošanas datums: 27-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461270102)
From the reviews: This book offers a coherent treatment, at the graduate textbook level, of the field that has come to be known in the last decade or so as computational geometry. ... ... The book is well organized and lucidly written; a time...Lasīt vairāk
(Izdošanas datums: 05-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461264453)
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, and also demonstrate how to develop all of the most important concepts of object-oriented p...Lasīt vairāk
(Izdošanas datums: 05-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461264484)
A timely survey of the field from the point of view of some of the subjects most active researchers. Divided into several parts organized by theme, the book first covers the underlying methodology regarding active rules, followed by formal specifica...Lasīt vairāk
(Izdošanas datums: 05-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461264279)
In this book, a programming model is developed that addresses the fundamental issues of large-scale programming. The approach unifies several concepts from database theory, object-oriented programming and designs of reactive systems. The model and...Lasīt vairāk
(Izdošanas datums: 03-Sep-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461264446)
There are several theories of programming. The first usable theory, often called Hoares Logic, is still probably the most widely known. In it, a specification is a pair of predicates: a precondition and postcondition (these and all technical terms...Lasīt vairāk
(Izdošanas datums: 26-May-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781441923257)
Describes how to design object-oriented code and accompanying algorithms that can be reverse engineered for greater flexibility in future code maintenance and alteration.Provides essential object-oriented concepts and programming methods for software...Lasīt vairāk
(Izdošanas datums: 15-Apr-2012, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642855030)
This book began as a series of lecture notes for a course called Introduc tion to Adaptive Systems which I developed for undergraduate Computing Science majors at the University of Alberta and first taught in 1973....Lasīt vairāk
James Pustejovsky, Robert N. Moll, Michael A. Arbib, A.J. Kfoury
Sērija : Monographs in Computer Science
(Izdošanas datums: 02-Mar-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461395973)
The study of formal languages and of related families of automata has long been at the core of theoretical computer science. Until recently, the main reasons for this centrality were connected with the specification and analy sis of programming lang...Lasīt vairāk
(Izdošanas datums: 16-Jan-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461396604)
This book provides a superb introduction to and overview of the MIT PI System for custom VLSI placement and routing. Alan Sher man has done an excellent job of collecting and clearly presenting material that was previously available only in various...Lasīt vairāk
(Izdošanas datums: 05-Jan-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461396871)
Topics what this book is about, its intended audience, what the reader ought to know, how the book is organized, acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot...Lasīt vairāk
J.T. Schwartz, R.B.K. Dewar, E. Dubinsky, E. Schonberg
Sērija : Monographs in Computer Science
(Izdošanas datums: 04-Jan-2012, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461395775)
The programming language SETL is a relatively new member of the so-called very-high-level class of languages, some of whose other well-known mem bers are LISP, APL, SNOBOL, and PROLOG. These languages all aim to reduce the cost of programming, rec...Lasīt vairāk
(Izdošanas datums: 27-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461277927)
Mathematical Foundations of Computer Science, Volume I is the first of two volumes presenting topics from mathematics (mostly discrete mathematics) which have proven relevant and useful to computer science. This volume treats basic topics, mos...Lasīt vairāk
(Izdošanas datums: 22-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642824722)
A research project to investigate the design and construction of reliable computing systems was initiated by B. In selecting papers published by past and present members of this project, I have used the following criteria: a paper is selected if it...Lasīt vairāk
(Izdošanas datums: 21-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642847622)
The book is intended for anyone who plans, designs andimplements software products; for anyone who is involvedwith quality assurance; and hence for anyone who isinterested in the software development process. More andmore scientists and pr...Lasīt vairāk
W.H.J. Feijen, A.J.M. van Gasteren, David Gries, J. Misra
Sērija : Monographs in Computer Science
(Izdošanas datums: 16-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461287926)
More than anything else, this book is a tribute to Edsger W. Dijkstra, on the occasion of his sixtieth birthday, by just a few of those fortunate enough to be influenced by him and his work and to be called his friend or relation, his master, colleag...Lasīt vairāk
(Izdošanas datums: 14-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461394570)
Computer science seeks to provide a scientific basis for the study of inform a tion processing, the solution of problems by algorithms, and the design and programming of computers. The last forty years have seen increasing sophistication in the scie...Lasīt vairāk
(Izdošanas datums: 14-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461396253)
The Synthesizer Generator: A System for Constructing Language-Based Editors presents a detailed account of the Synthesizer Generator, a system for automating the construction of customized editors for particular languages. The unique f...Lasīt vairāk
(Izdošanas datums: 14-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781461397731)
The book represents an attempt by the authors to gather together the most fundamental results on string-rewriting systems. The goal is to explain these results in such a way that they can be understood and used in studies relating to more general rew...Lasīt vairāk
New York University, New York University, Donna Ryan
Sērija : Monographs in Computer Science
(Izdošanas datums: 12-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781441918420)
This monograph is a technical survey of concepts and techniques for describing and analyzing large-scale time-series data streams. Some topics covered are algorithms for query by humming, gamma-ray burst detection, pairs trading, and density detectio...Lasīt vairāk
(Izdošanas datums: 12-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag New York Inc., ISBN-13: 9781441928801)
This book features representative work in the design of panoramic image capturing systems, the theory involved in the imaging process, and applications that use panoramic images. This book allows the reader to understand the more technical aspects of...Lasīt vairāk
(Izdošanas datums: 08-Dec-2011, Paperback / softback, Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642835674)
This is the 4th edition of a successful book which first appeared in 1982. It is an introduction to programming in general as well as a manual for programming with the language Modula-2 in particular. It is oriented primarily towards people who have...Lasīt vairāk
