Resultados de Pesquisa

INGLÊS

Complex Analysis

de Serge Lang

23,84€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The present book is meant as a text for a course on complex analysis at the advanced undergraduate level, or first-year graduate level. The first half, more or less, can be used for a one-semester course addressed to undergraduates. The second half can be used for a second semester, at either level. Somewhat more material has been included than can be covered at leisure in one or two terms, to give opportunities for the instructor to exercise individual taste, and to lead the course in whatever directions strikes the instructor''s fancy at the time as well as extra read ing material for students on their own. A large number of routine exer cises are included for the more standard portions, and a few harder exercises of striking theoretical interest are also included, but may be omitted in courses addressed to less advanced students. In some sense, I think the classical German prewar texts were the best (Hurwitz-Courant, Knopp, Bieberbach, etc. ) and I would recommend to anyone to lookthrough them. More recent texts have emphasized connections with real analysis, which is important, but at the cost of exhibiting succinctly and clearly what is peculiar about complex analysis: the power series expansion, the uniqueness of analytic continuation, and the calculus of residues.
INGLÊS

Algorithmic Language And Program Development

de F.L. Bauer e H. Wossner

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The title of this book contains the words ALGORITHMIC LANGUAGE, in the singular. This is meant to convey the idea that it deals not so much with the diversity of program ming languages, but rather with their commonalities. The task of formal program develop It allows classifying ment proved to be the ideal frame for demonstrating this unity. concepts and distinguishing fundamental notions from notational features; and it leads immediately to a systematic disposition. This approach is supported by didactic, practical, and theoretical considerations. The clarity of the structure of a programming language de signed according to the principles of program transformation is remarkable. Of course there are various notations for such a language. The notation used in this book is mainly oriented towards ALGOL 68, but is also strongly influenced by PASCAL - it could equally well have been the other way round. In the appendices there are occa sional references to the styles used in ALGOL, PASCAL, LISP, and elsewhere.
INGLÊS

Reliable Computer Systems - Collected Papers Of The Newcastle Reliability Project

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 A research project to investigate the design and construction of reliable computing systems was initiated by B. Randell at the University of Newcastle upon Tyne in 1972. In over ten years of research on system reliability, a substantial number of papers have been produced by the members of this project. These papers have appeared in a variety of journals and conference proceedings and it is hoped that this book will prove to be a convenient reference volume for research workers active in this important area. In selecting papers published by past and present members of this project, I have used the following criteria: a paper is selected if it is concerned with fault tolerance and is not a review paper and was published before 1983. I have used these criteria (with only one or two exceptions!) in order to present a collection of papers with a common theme and, at the same time, to limit the size of the book to a reasonable length. The papers have been grouped into seven chapters. The first chapter introduces fundamental concepts of fault tolerance and ends with the earliest Newcastle paper on reliability. The project perhaps became well known after the invention of recovery blocks - a simple yet effective means of incorporating fault tolerance in software. The second chapter contains papers on recovery blocks, starting with the paper which first introduced the concept.
INGLÊS

Programming In Modula-2

de Niklaus Wirth

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This text is an introduction to programming in general, and a manual for programming with the language Modula-2 in particular. It is oriented primarily towards people who have already acquired some basic knowledge of programming and would like to deepen their understanding in a more structured way. Neveltheless, an introductory chapter is included for the benefit of the beginner, displaying in a concise form some of the fundamental concepts of computers and their programming. The text is therefore also suitable as a self-contained tutorial. The notation used is Modula-2, which lends itself well for a structured approach and leads the student to a working style that has generally become known under the title of structured programming. As a manual for programming in Modula-2, the text covers practically all facilities of that language. Part 1 covers the basic notions of the variable, expression, assignment, conditional and repetitive statement, and array data structure. Together with Palt 2 which introduces the important concept of the procedure or subroutine, it contains essentially the material commonly discussed in introductory programming courses. Part 3 concerns data types and structures and constitutes the essence of an advanced course on programming. Palt 4 introduces the notion of the module, a concept that is fundamental to the design of larger programmed systems and to programming as team work. The most commonly used utility programs for input and output are presented as examples of modules.
INGLÊS

Prototyping-Oriented Software Development - Concepts And Tools

de Gustav Pomberger e Walter R. Bischofberger

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book is intended for anyone who plans, designs and implements software systems, for anyone who is involved with quality assurance, and hence for anyone who is interested in the practicability of modern concepts, methods and tools in the software development process. The book aims at software engineers and at students with specialized interests in the area of software engineering. The reader is expected to be familiar with the fundamental concepts of software engineering. In writing the book, the authors tap years of experience in industrial projects and research work in the development of methods and tools that support the software development process. Perhaps now more than ever, the buzzword "software crisis" serves to alert us that software systems are often error-prone, that significant diffi culties arise in mastering complexity in the production of software systems, and that the acceptance and adequacy of software products is significantly lower than is the case with other technical products. The following goals have been suggested for the improvement of the software development process: • exact fulfillment of user requirements • increased reliability and robustness • greater modularity of both the development process and the product • simple and adequate operation, i. e. , better ergonomics • easy maintainability and extensibility • cost-effective portability • increased reusability of software components • reduced costs for production, operation and maintenance VI Preface Research and development work in the area of software engineering has in creased dramatically in recent years.
INGLÊS

Adaptive Information Processing - An Introductory Survey

de Jeffrey R. Sampson

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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. The objective of the course has been threefold: (l) to expose undergraduate computer scientists to a variety of subjects in the theory and application of computation, subjects which are too often postponed to the graduate level or never taught at all; (2) to provide undergraduates with a background sufficient to make them effective participants in graduate level courses in Automata Theory, Biological Information Processing, and Artificial Intelligence; and (3) to present a personal viewpoint which unifies the apparently diverse aspects of the subject matter covered. All of these goals apply equally to this book, which is primarily designed for use in a one semester undergraduate computer science course. I assume the reader has a general knowledge of computers and programming, though not of particular machines or languages. His mathematical background should include basic concepts of number systems, set theory, elementary discrete probability, and logic.
INGLÊS

Design Of Digital Computers - An Introduction

de E.J. Mccluskey e Hans W. Gschwind

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 I have been using the first edition of this book as a text for a number of years. This was in a Stanford University first-year graduate course that is taken by students from Electrical Engineering or Computer Science who are interested in computer organization. Because computer tech nology has been changing so rapidly, it became necessary to supplement the text with additional readings. My colleagues and I examined many newly-published books for possible use as texts. We found no book with the same excellent choice of topics and thorough coverage as Dr. Gschwind''s first edition. Springer-Verlag''s request that I prepare a second edition of this book came at a time when I had many other projects underway. Before I de cided whether to take on the project of preparing a revision, I asked many of my students for their opinions of Dr. Gschwind''s first edition. Even I was surprised by the enthusiasm that this rather skeptical and critical group of students displayed for the book. It was this enthusiasm that convinced me of the value and importance of preparing the revision.
INGLÊS

Origins Of Digital Computers - Selected Papers

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 My interest in the history of digital computers became an active one when I had the fortune to come across the almost entirely forgotten work of PERCY LUDGATE, who designed a mechanical program-controlled computer in Ireland in the early 1 ''JOO''s. I undertook an investigation of his life and work, during which I began to realise that a large number of early developments, which we can now see as culminating in the modern digital computer, had been most undeservedly forgotten. Hopefully, historians of science, some of whom are now taking up the subject of the development of the computer and accumulating valuable data, particularly about the more recent events from the people concerned, will before too long provide us with comprehensive analytical accounts of the invention of the computer. The present book merely aims to bring together some of the more important and interesting written source material for such a history of computers. (Where necessary, papers have been translated into English, but every attempt has been made to retain the flavour of the original, and to avoid possibly misleading use of modern computing terminology.
INGLÊS

Programming In Modula-2

de N. Wirth

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This text is an introduction to programming in general, and a manual for programming with the language Modula-2 in particular. It is oriented primarily towards people who have already acquired some basic knowledge of programming and would like to deepen their understanding in a more structured way. Nevertheless, an introductory chapter is included for the benefit of the beginner, displaying in a concise form some of the fundamental concepts of computers and their programming. The text is therefore also suitable as a self-contained tutorial. The notation used is Modula-2, which lends itself well for a structured approach and leads the student to a working style that has generally become known under the title of structured programming. As a manual for programming in Modula-2, the text covers practically all facilities of that language. Part 1 covers the basic notions of the variable, expression, assignment, conditional and repetitive statement, and array data structure. Together with Part 2 which introduces the important concept of the procedure or subroutine, it contains essentially the material commonly discussed in introductory programming courses. Part 3 concerns data types and structures and constitutes the essence of an advanced course on programming. Part 4 introduces the notion of the module, a concept that is fundamental to the design of larger programmed systems and to programming as team work. The most commonly used utility programs for input and output are presented as examples of modules. And finally, Part 5 covers facilities for system programming, device handling, and multiprogramming.
INGLÊS

Programming In Modula-2

de Niklaus Wirth

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This text is an introduction to programming in general, and a manual for programmjng with the language Modula-2 in particular. It is oriented primarily towards people who have already acquired some basic knowledge of programming and would like to deepen their understanding in a more structured way. Nevertheless, an introductory chapter is included for the benefit of the beginner, displaying in a concise form some of the fundamental concepts of computers and their programming. The text is therefore also suitable as a self-contained tutorial. The notation used is Modula-2, which lends itself well for a structured approach and leads the student to a working style that has generally become known under the title of structured programming. As a manual for programming in Modula-2, the text covers practically all facilities of that language. Part 1 covers the basic notions of the variable, expression, assignment, conditional and repetitive statement, and array data structure. Together with Part 2 which introduces the important concept of the procedure or subroutine, it contains essentially the material commonly discussed in introductory programming courses. Part 3 concerns data types and structures and constitutes the essence of an advanced course on programming. Part 4 introduces the notion of the module, a concept that is fundamental to the design of larger programmed systems and to programming as team work. The most commonly used utility programs for input and output are presented as examples of modules. And finally, Part 5 covers facilities for system programming, device handling, and multiprogramming.
INGLÊS

Verification Of Sequential And Concurrent Programs

de Ernst-Rudiger Olderog e Krzysztof R. Apt

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This book provides a structured introduction to the verification of sequen tial and concurrent programs. It thus belongs to the area of programming languages but at the same time it is firmly based on mathematical logic. In logic one usually studies fixed syntactic or semantic objects. This is not necessarily the case in the area of program verification. The objects studied here, namely programs, do not have a standard syntax, their semantics can be defined in many different ways, and several approaches to their verification can be contemplated. These differences lead to various difficult design decisions. Even though we restrict our attention here to one programming style - imperative pro gramming - we are still confronted with a veritable cornucopia of pro gramming constructs from which an appropriate selection has to be made. Having studied some of these constructs separately does not yet imply that we understand their combined effect.
INGLÊS

High Performance Discovery In Time Series - Techniques And Case Studies

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 A survey of concepts and techniques for describing and analyzing large-scale time-series data streams. It covers such topics as algorithms for query by humming, gamma-ray burst detection, pairs trading, and density detection. It includes descriptions of wavelets, fast Fourier transforms, and sketches as they apply to time-series analysis.
INGLÊS

Logical Approach To Discrete Math

de David Gries e Fred B. Schneider

66,24€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 This text attempts to change the way logic and discrete math are taught in computer science and mathematics. While many books treat logic simply as another topic of study, this book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area.
INGLÊS

Panoramic Vision - Sensors, Theory, And Applications

131,84€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Panoramic vision is a subset of computer vision that focuses on the creation and analysis of images with unusually wide fields of view that extend far beyond a single camera snapshot. This title covers various topics in this area. It features sections on the design of panoramic image capturing systems, and applications that use panoramic images.
INGLÊS

Set Theory For Computing - From Decision Procedures To Declarative Programming With Sets

de Alberto Policriti, Domenico Cantone e Eugenio Omodeo

171,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Presents a comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
INGLÊS

On A Method Of Multiprogramming

de A.J.M. Van Gasteren e W.H.J. Feijen

171,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Describes about how to design parallel programs from their specification. This book follows from the Owicki/Gries theory and can be put to work for the formal development of multiprograms regardless of whether these algorithms are distributed or not.
INGLÊS

Geometrical Methods In Robotics

de J.M. Selig

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The main aim of this book is to introduce Lie groups and allied algebraic and geometric concepts to a robotics audience. These topics seem to be quite fashionable at the moment, but most of the robotics books that touch on these topics tend to treat Lie groups as little more than a fancy notation. I hope to show the power and elegance of these methods as they apply to problems in robotics. A subsidiary aim of the book is to reintroduce some old ideas by describing them in modem notation, particularly Study''s Quadric-a description of the group of rigid motions in three dimensions as an algebraic variety (well, actually an open subset in an algebraic variety)-as well as some of the less well known aspects of Ball''s theory of screws. In the first four chapters, a careful exposition of the theory of Lie groups and their Lie algebras is given. Except for the simplest examples, all examples used to illustrate these ideas are taken from robotics. So, unlike most standard texts on Lie groups, emphasis is placed on a group that is not semi-simple-the group of proper Euclidean motions in three dimensions. In particular, the continuous subgroups of this group are found, and the elements of its Lie algebra are identified with the surfaces of the lower Reuleaux pairs. These surfaces were first identified by Reuleaux in the latter half of the 19th century.
INGLÊS

First-Order Logic And Automated Theorem Proving

de Melvin Fitting

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 There are many kinds of books on formal logic. Some have philosophers as their intended audience, some mathematicians, some computer scientists. Although there is a common core to all such books they will be very dif ferent in emphasis, methods, and even appearance. This book is intended for computer scientists. But even this is not precise. Within computer sci ence formal logic turns up in a number of areas, from program verification to logic programming to artificial intelligence. This book is intended for computer scientists interested in automated theorem proving in classical logic. To be more precise yet, it is essentially a theoretical treatment, not a how-to book, although how-to issues are not neglected. This does not mean, of course, that the book will be of no interest to philosophers or mathematicians. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but not incompleteness issues. The first item to be addressed is, what are we talking about and why are we interested in it. We are primarily talking about truth as used in mathematical discourse, and our interest in it is, or should be, self-evident. Truth is a semantic concept, so we begin with models and their properties. These are used to define our subject.
INGLÊS

Logic For Applications

de Anil Nerode e Richard A. Shore

95,40€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the recent dramatic growth in the applications of logic to computer science. Thus our choice of topics has been heavily influenced by such applications. Of course, we cover the basic traditional topics - syntax, semantics, soundness, completeness and compactness - as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much of our book, however, deals with other less traditional topics. Resolution theorem proving plays a major role in our treatment of logic, especially in its application to Logic Programming and PROLOG. We deal extensively with the mathematical foundations of all three of these subjects. In addition, we include two chapters on nonclassical logic- modal and intuitionistic - that are becoming increasingly important in computer science. We develop the basic material on the syntax and se mantics (via Kripke frames) for each of these logics. In both cases, our approach to formal proofs, soundness and completeness uses modifications of the same tableau method introduced for classical logic. We indicate how it can easily be adapted to various other special types of modal log ics. A number of more advanced topics (including nonmonotonic logic) are also briefly introduced both in the nonclassical logic chapters and in the material on Logic Programming and PROLOG.
INGLÊS

String-Rewriting Systems

de Friedrich Otto e Ronald V. Book

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The subject of this book is string-rewriting systems. It is generally accepted that string-rewriting was first introduced by Axel Thue in the early part of this century. In the 1960''s and early 1970''s, it received renewed attention due to interest in formal language theory. In the 1980''s and 1990''s, it has received more interest since it can be viewed as a special case of term rewriting, a subject that has become important in the study of automated deduction. Today, string-rewriting is studied by researchers in theoretical computer science and also by researchers interested in the foundations of artificial intelligence. A sketch of the way that the subject has developed is contained in Chapter 0, and the reader is advised to begin with that chapter. Both authors have been active in the field and have lectured on the subject in several universities. Lecture notes have been produced and dis tributed. This monograph is a result of revising and rewriting those notes. It represents an attempt by the authors to present the concepts that the authors consider to be most fundamental and to gather together the most useful results in such a way that they can be understood and used in studies relating to more general rewriting, to automated deduction, and to algo rithmic problems of algebraic structures. This monograph is written for independent study by researchers in the oretical computer science or in the foundations of artificial intelligence.
INGLÊS

Programming In The 1990s - An Introduction To The Calculation Of Programs

de Edward Cohen

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 Programming is a fascinating and challenging subject. Unfortunately, it is rarely presented as such. Most often it is taught by "induction": features of some famous programming languages are given operational meaning (e.g. a loop "goes round and round"), a number of examples are shown, and by induction, we are asked to develop other programs, often radically different from the ones we''ve seen. Basically we are taught to guess our programs, and then to patch up our guesses. Our errors are given the cute name of "bugs". Fixing them becomes puzzle-solving, as does finding tricks that exploit or avoid poorly designed features of the programming language. The entire process is time-consuming and expensive. And even so, we are never quite sure if our programs really work in all cases. When approached in this way, programming is indeed a dull activity. There is, however, another approach to programming, an approach in which programs can be developed reliably, with attention to the real issues. It is a practical approach based on methodically developing programs from their specifications. Besides being practical, it is exciting. Many programs can be developed with relative ease. Problems which once were difficult can now be solved by beginners. Elegant solutions bring great satisfaction. This is our subject. We are interested in making programming an exciting topic!
INGLÊS

Programming With Specifications - An Introduction To Anna, A Language For Specifying Ada Programs

de David Luckham

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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 be expressed in a programming lan guage. In the past, the word "specification" has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.
INGLÊS

Vlsi Placement And Routing: The Pi Project

de Alan T. Sherman

59,61€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 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 theses, confer ence papers, and memoranda. He has provided here a balanced and comprehensive presentation of the key ideas and techniques used in PI, discussing part of his own Ph. D. work (primarily on the place ment problem) in the context of the overall design of PI and the contributions of the many other PI team members. I began the PI Project in 1981 after learning first-hand how dif ficult it is to manually place modules and route interconnections in a custom VLSI chip. In 1980 Adi Shamir, Leonard Adleman, and I designed a custom VLSI chip for performing RSA encryp tion/decryption [226]. I became fascinated with the combinatorial and algorithmic questions arising in placement and routing, and be gan active research in these areas. The PI Project was started in the belief that many of the most interesting research issues would arise during an actual implementation effort, and secondarily in the hope that a practically useful tool might result. The belief was well-founded, but I had underestimated the difficulty of building a large easily-used software tool for a complex domain; the PI soft ware should be considered as a prototype implementation validating the design choices made.
INGLÊS

Synthesizer Generator Reference Manual

de Thomas W. Reps e Tim Teitelbaum

118,59€ + 10% EM CARTÃO

DISPONIBILIDADE IMEDIATA

 The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The Synthesizer Generator is a generalization of our earlier system, the Cor- nell Program Synthesizer (Teitelbaum81), which was a programming environ- ment for a specific small dialect of PL/I.
A carregar resultados...

Ver mais resultados