Książka: » Informatyka » Bazy danych
topmenu
• Nauka
[2944077]
[1814251]
[70679]
[151074]
[16606]
[38208]
[4956]
[3123]
[13889]
[4145]
[2945]
• Komiksy
[35590]
[23169]
[611005]
• Hobby
[136031]
[1718]
[225599]
[379]
• Słowniki
[2916]
• Inne
[443741]
[1187]
[166463]
[469211]
• Religia
[506887]
[481]
• Sport
[61343]
• Sztuka
[242115]
[3348]
[219293]
• Zdrowie
[98602]
[124]
• Zabawki
[2385]
[3504]
[260]
[7151]
Bazy danych
ilość książek w kategorii: 38275
 |
The Temporal Logic of Reactive and Concurrent Systems: Specification
ISBN: 9780387976648 / Angielski / Twarda / 1991 / 427 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. They are among the most difficult computing systems to program. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems. This volume, the first of two, subtitled Specification, has a self-contained introduction to temporal logic and, more important, an introduction to the computational model for reactive programs, developed by Zohar Manna and Amir Pnueli of Stanford University and the Weizmann...
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. ...
|
cena:
442,79 |
 |
The Design and Analysis of Algorithms
ISBN: 9780387976877 / Angielski / Twarda / 1991 / 322 str. Termin realizacji zamówienia: ok. 22 dni roboczych. These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utive fall semesters from '88 to '90. The course serves a dual purpose: to cover core material in algorithms for graduate students in computer science preparing for their PhD qualifying exams, and to introduce theory students to some advanced topics in the design and analysis of algorithms. The material is thus a mixture of core and advanced topics. At first I meant these notes to supplement and not supplant a textbook, but over the three years they...
These are my lecture notes from CS681: Design and Analysis of Algo rithms, a one-semester graduate course I taught at Cornell for three consec utive f...
|
cena:
402,53 |
 |
The Complete Guide to the Nextstep(tm) User Environment
ISBN: 9780387979564 / Angielski / Miękka / 1993 / 383 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is about the advanced, object-oriented NEXTSTEp(TM) user envi- ronment for NeXT and Intel-based computers. It is intended for those who already own a computer running NEXTSTEP and want to quickly learn what it can do and how to get the most out of it with the least effort. It's also for those who are considering the purchase of NEXTSTEP but want to learn more about how it works before making an investment. Why a book on NEXTSTEP? When I set out to learn how to use NEXT- STEP several years ago, I found it extremely difficult to find information from the usual sources, such as books,...
This book is about the advanced, object-oriented NEXTSTEp(TM) user envi- ronment for NeXT and Intel-based computers. It is intended for those who alre...
|
cena:
309,94 |
 |
Object-Oriented Metamethods
ISBN: 9780387982571 / Angielski / Twarda / 1997 / 158 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Object technology is maturing rapidly. One sign of that is the formality of the discussions that occur all around the world: at conferences, in newsgroups, in industry developer groups and in academe. One face of formality is metamodelling: seeking the model of the model that gives the rules by which the model itself is constructed. In OT terms, it means seeking the underpinning rules in a methodology in which, for instance, it is suggested we depict an aggregate structure using one particular notation. The questions that need answering are the semantics of that relation ship and the...
Object technology is maturing rapidly. One sign of that is the formality of the discussions that occur all around the world: at conferences, in newsgr...
|
cena:
201,24 |
 |
Complexity and Real Computation
ISBN: 9780387982816 / Angielski / Twarda / 1997 / 453 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful framework for theoretical computer science. The thesis of this book, however, is that it provides an inadequate foundation for modern scientific computation where most of the algorithms are real number algorithms. The goal of this book is to develop a formal theory of computation which integrates major themes of the classical theory and which is more directly applicable to problems in mathematics, numerical analysis, and scientific computing. Along...
The classical theory of computation has its origins in the work of Goedel, Turing, Church, and Kleene and has been an extraordinarily successful frame...
|
cena:
321,86 |
 |
Refinement Calculus: A Systematic Introduction
ISBN: 9780387984179 / Angielski / Miękka / 1998 / 520 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving correctness? This latter question is known as the refinement of programs and the purpose of this book is to consider these questions in a formal setting. In fact, correctness turns out to be a special case of refinement and so the focus is on refinement. Although a reasonable background knowledge is assumed from mathematics and CS, the book is a self-contained introduction suitable for graduate students and researchers coming to this subject for...
Much current research in computer science is concerned with two questions: is a program correct? And how can we improve a correct program preserving c...
|
cena:
402,53 |
 |
Implicit Objects in Computer Graphics
ISBN: 9780387984247 / Angielski / Twarda / 2002 / 190 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Implicit definition and description of geometric objects and surfaces plays a critical role in the appearance and manipulation of computer graphics. In addition, the mathematical definition of shapes, using an implicit form, has pivotal applications for geometric modeling, visualization and animation. Until recently, the parametric form has been by far the most popular geometric representation used in computer graphics and computer-aided design. Whereas parametric objects and the techniques associated with them have been exhaustively developed, the implicit form has been used as a...
Implicit definition and description of geometric objects and surfaces plays a critical role in the appearance and manipulation of computer graphics. I...
|
cena:
402,53 |
 |
Active Rules in Database Systems
ISBN: 9780387985299 / Angielski / Twarda / 1998 / 439 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial database companies. This book provides a timely survey of the field from the point of view of some of the subject's most active researchers. The book is divided into several parts, organized by theme: the first, Fundamentals covers the underlying methodology reagrding active rules, next comes a collection of chapters which cover formal specification, rule analysis, performance analysis, and support tools, the third part is devoted to a number of...
Active rules provide a new and important method for designing databases and the subject is seeing an increasing amount of attention from commercial da...
|
cena:
603,81 |
 |
Managing Technological Change: Organizational Aspects of Health Informatics
ISBN: 9780387985480 / Angielski / Twarda / 2004 / 328 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The successful implementation of health information systems in complex health care organizations ultimately hinges upon the receptivity and preparedness of the user. Although the Information Age is well underway, user resistance to information systems is still a valid concern facing the informatics community. This book provides effective management strategies to health care administrators, for the productive integration and maintainance of such information systems. The Second Edition covers three main areas: technical skills, project management skills, and organizational and people skills,...
The successful implementation of health information systems in complex health care organizations ultimately hinges upon the receptivity and preparedne...
|
cena:
684,33 |
 |
Descriptive Complexity
ISBN: 9780387986005 / Angielski / Twarda / 1998 / 268 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of the input problem size. Descriptive complexity is concerned with problems which may be described in first-order logic. By virtue of the close relationship between logic and relational databses, it turns out that this subject has important applications to databases such as analysing the queries computable in polynomial time, analysing the parallel time needed to compute a query, and the analysis of nondeterministic classes. This book is written...
A basic issue in computer science is the complexity of problems. Computational complexity measures how much time or memory is needed as a function of ...
|
cena:
483,04 |
 |
Programming for Everyone in Java
ISBN: 9780387986838 / Angielski / Miękka / 1999 / 260 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This is a book about computer programming for everyone: artist, poet, student, doctor, accountant, or engineer. This book will show students how to write understandable computer programs in Java. While emphasizing general principles of programming this book: - uses examples from the humanities only, requiring no math or engineering knowledge -explains all programming concepts by means of complete programs -concentrates on exercises solved by writing complete programs -takes the reader from text input/output to object-oriented programming in the equivalent of a one semester class. -gives the...
This is a book about computer programming for everyone: artist, poet, student, doctor, accountant, or engineer. This book will show students how to wr...
|
cena:
201,24 |
 |
Perspectives of Information Systems
ISBN: 9780387987125 / Angielski / Twarda / 1999 / 271 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Information system science, defined broadly, is highly interdisciplinary because it can be seen as the effective analysis, design, delivery, use, and impact of infor mation technology in organizations and society. Many basic as well as advanced books on information systems and their development apply approaches and theo ries from such disciplines as technology, management science, economics, math ematics, psychology, sociology, and philosophy. Such new branches of information system science as mobile information systems, multimedia informa tion systems, telematic commerce, and cooperative...
Information system science, defined broadly, is highly interdisciplinary because it can be seen as the effective analysis, design, delivery, use, and ...
|
cena:
201,24 |
 |
Parallel Processing and Parallel Algorithms: Theory and Computation
ISBN: 9780387987163 / Angielski / Twarda / 1999 / 566 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Motivation It is now possible to build powerful single-processor and multiprocessor systems and use them efficiently for data processing, which has seen an explosive ex pansion in many areas of computer science and engineering. One approach to meeting the performance requirements of the applications has been to utilize the most powerful single-processor system that is available. When such a system does not provide the performance requirements, pipelined and parallel process ing structures can be employed. The concept of parallel processing is a depar ture from sequential processing. In...
Motivation It is now possible to build powerful single-processor and multiprocessor systems and use them efficiently for data processing, which has se...
|
cena:
402,53 |
 |
Modal and Temporal Properties of Processes
ISBN: 9780387987170 / Angielski / Twarda / 2001 / 191 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods.
In recent years, model checking has become an essential technique for the formal verification of systems. With a clarity of presentation and its many ...
|
cena:
201,24 |
 |
Feedforward Neural Network Methodology
ISBN: 9780387987453 / Angielski / Twarda / 1999 / 340 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The decade prior to publication has seen an explosive growth in com- tational speed and memory and a rapid enrichment in our understa- ing of arti?cial neural networks. These two factors have cooperated to at last provide systems engineers and statisticians with a working, prac- cal, and successful ability to routinely make accurate complex, nonlinear models of such ill-understood phenomena as physical, economic, social, and information-based time series and signals and of the patterns h- den in high-dimensional data. The models are based closely on the data itself and require only little...
The decade prior to publication has seen an explosive growth in com- tational speed and memory and a rapid enrichment in our understa- ing of arti?cia...
|
cena:
201,24 |
 |
Designing Maintainable Software
ISBN: 9780387987835 / Angielski / Twarda / 1999 / 169 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is about maintaining computer software. Its aim is to improve a pro gram's capacity for altering code to fit changing requirements and for detecting and correcting errors. The book is written primarily for systems analysts and programmers. But others will also find it interesting. Managers will find ways to decrease costs, improve the organization's performance, and lessen its liability exposure. Re searchers will be given principles to expand upon, and will be able to develop techniques for solving new problems that arise in the world of maintenance. Another group to benefit is...
This book is about maintaining computer software. Its aim is to improve a pro gram's capacity for altering code to fit changing requirements and for d...
|
cena:
201,24 |
 |
Data Segmentation and Model Selection for Computer Vision: A Statistical Approach
ISBN: 9780387988153 / Angielski / Twarda / 2000 / 208 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The primary focus of this book is on techniques for segmentation of visual data. By "visual data," we mean data derived from a single image or from a sequence of images. By "segmentation" we mean breaking the visual data into meaningful parts or segments. However, in general, we do not mean "any old data": but data fundamental to the operation of robotic devices such as the range to and motion of objects in a scene. Having said that, much of what is covered in this book is far more general: The above merely describes our driving interests. The central emphasis of this book is that...
The primary focus of this book is on techniques for segmentation of visual data. By "visual data," we mean data derived from a single image or from a ...
|
cena:
201,24 |
 |
State-Space Search: Algorithms, Complexity, Extensions, and Applications
ISBN: 9780387988320 / Angielski / Twarda / 1999 / 201 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is about problem solving. Specifically, it is about heuristic state-space search under branch-and-bound framework for solving com binatorial optimization problems. The two central themes of this book are the average-case complexity of heuristic state-space search algorithms based on branch-and-bound, and their applications to developing new problem-solving methods and algorithms. Heuristic state-space search is one of the fundamental problem-solving techniques in Computer Science and Operations Research, and usually constitutes an important component of most intelligent...
This book is about problem solving. Specifically, it is about heuristic state-space search under branch-and-bound framework for solving com binatorial...
|
cena:
402,53 |
 |
On a Method of Multiprogramming
ISBN: 9780387988702 / Angielski / Twarda / 1999 / 370 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to design parallel programs from their specification. And that is what this book is about. It proposes a method for the formal development of parallel programs - multiprograms as we have preferred to call them -, and it does so with a minimum of formal gear, viz. with the predicate calculus and with the meanwhile well-established theory of Owicki and Gries. The fact that one can get away with just this theory will probably not convey anything to...
Among all the interests in parallelism, there is an essential and fundamental one that has remained largely unexplored, namely the question of how to ...
|
cena:
603,81 |
 |
Testing Object-Oriented Software: Life Cycle Solutions
ISBN: 9780387988962 / Angielski / Twarda / 1999 / 209 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Addressing various aspects of object-oriented software techniques with respect to their impact on testing, this text argues that the testing of object-oriented software is not restricted to a single phase of software development. The book concentrates heavily on the testing of classes and of components or sub-systems, and a major part is devoted to this subject. C]+ is used throughout this book that is intended for software practitioners, managers, researchers, students, or anyone interested in object-oriented technology and its impacts throughout the software engineering life-cycle.
Addressing various aspects of object-oriented software techniques with respect to their impact on testing, this text argues that the testing of object...
|
cena:
201,24 |
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
