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: 38271
 |
Software Reliability Methods
ISBN: 9780387951065 / Angielski / Twarda / 2001 / 332 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and present it as the suggested solution for the software reliability problem. This book presents a wider picture of formal methods, through a collection of notations and techniques. It compares them, and discusses their advantages and disadvantages. One of the main challenges of formal methods is in transferring the tech- nology developed by researchers to the software development community. Re- cently, we seem to be starting to have a better...
Many books focus on increasing the quality of software through the use of formal methods. However, most books embrace one particular method, and prese...
|
cena:
201,24 |
 |
Panoramic Vision: Sensors, Theory, and Applications
ISBN: 9780387951119 / Angielski / Twarda / 2001 / 449 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Current cameras are poor imitations of the human eye and close descen dants in their design of ideas and a technology that are more than a century old. People in computer vision have traditionally used off-the-shelf cameras that were not meant for the uses they were intended for by these researchers: off-the-shelf cameras are designed to capture images to be printed on paper or looked at on a television screen, not for guiding robots or making 3D models of the environment or even surveilling a large area where very large field of views, high geometric and photometric accuracies are necessary....
Current cameras are poor imitations of the human eye and close descen dants in their design of ideas and a technology that are more than a century old...
|
cena:
603,81 |
 |
Practical Software Testing: A Process-Oriented Approach
ISBN: 9780387951317 / Angielski / Twarda / 2003 / 710 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Software testing is rapidly evolving as a critical sub-discipline of software engineering. The industry needs professionals educated in the modern methods and tools of software testing and quality assurance. Based on the needs of software professionals, "Practical Software Testing" takes a unique approach to teaching readers how to effectively plan for testing, design test cases, test at multiple levels, organize a testing team, and optimize use of testing tools. It introduces testing concepts that are managerial-, technical-, and process-oriented, using the Testing Maturity Model (TMM) as a...
Software testing is rapidly evolving as a critical sub-discipline of software engineering. The industry needs professionals educated in the modern met...
|
cena:
442,79 |
 |
Computer Algebra Recipes: A Gourmet's Guide to the Mathematical Models of Science
ISBN: 9780387951485 / Angielski / Twarda / 2001 / 796 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Computer algebra systems have the potential to revolutionize the teaching of and learning of science. Not only can students work thorough mathematical models much more efficiently and with fewer errors than with pencil and paper, they can also work with much more complex and computationally intensive models. Thus, for example, in studying the flight of a golf ball, students can begin with the simple parabolic trajectory, but then add the effects of lift and drag, of winds, and of spin. Not only can the program provide analytic solutions in some cases, it can also produce numerical solutions...
Computer algebra systems have the potential to revolutionize the teaching of and learning of science. Not only can students work thorough mathematical...
|
cena:
402,53 |
 |
Discrete-Event Simulation: Modeling, Programming, and Analysis
ISBN: 9780387951607 / Angielski / Twarda / 2001 / 537 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Discrete-event simulation consists of a collection of techniques that when applied to a discrete-event dynamical system, generates sequences called sample paths that characterize its behavior. The collection includes modeling concepts for abstracting the essential features of a system, using specially designed software for converting these relationships into computer executable code capable of generating the requisite sample-path data; outlining procedures for converting these data into estimates of systems performances; and then illustrating methods for assessing how well these estimates...
Discrete-event simulation consists of a collection of techniques that when applied to a discrete-event dynamical system, generates sequences called sa...
|
cena:
402,53 |
 |
Geometric Computing for Perception Action Systems: Concepts, Algorithms, and Scientific Applications
ISBN: 9780387951911 / Angielski / Twarda / 2001 / 235 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book presents a unified mathematical treatment of diverse problems in the fields of cognitive systems using Clifford, or geometric, algebra. Geometric algebra provides a rich general mathematical framework for the development of the ideas of multilinear algebra, projective and affine geometry, calculus on manifolds, the representation of Lie groups and Lie algebras, and many other areas of applications. By treating a wide spectrum of problems in a common geometric language, the book offers both new insights and new solutions that should be useful to scientists and engineers working in...
This book presents a unified mathematical treatment of diverse problems in the fields of cognitive systems using Clifford, or geometric, algebra. Geom...
|
cena:
201,24 |
 |
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
ISBN: 9780387951973 / Angielski / Twarda / 2001 / 409 str. Termin realizacji zamówienia: ok. 22 dni roboczych. "Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible formalization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice. Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving. The style of presentation is self-contained, rigorous and...
"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main o...
|
cena:
603,81 |
 |
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
ISBN: 9780387952062 / Angielski / Twarda / 2001 / 420 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This volume presents a programming model, similar to object-oriented programming, that imposes a strict discipline on the form of the constituent objects and interactions among them. Concurrency considerations have been eliminated from the model itself and are introduced only during implementation, thereby freeing programmers from dealing with concurrency explicitly. Moreover, the resulting software designs are typically more modular and easier to analyze than the more traditional ones. Numerous examples illustrate various aspects of the model and reveal that a few simple, integrated features...
This volume presents a programming model, similar to object-oriented programming, that imposes a strict discipline on the form of the constituent obje...
|
cena:
201,24 |
 |
Guide to Applying the UML
ISBN: 9780387952093 / Angielski / Twarda / 2002 / 410 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The Unified Modeling Language (UML) is an evolutionary general-purpose, tool-supported, and industry-standardized (OMG) modeling language for specifying, visualizing, constructing, and documenting the artifacts of a system-intensive process. "Guide to Applying the UML" offers a practical bridge between tutorials and reference works, demonstrating how all of the elements of the UML fit together holistically and cohesively. It closes the gap between the UML and process using a roadmap that addresses the key decision points and their relationships, providing a comprehensive framework. The focus...
The Unified Modeling Language (UML) is an evolutionary general-purpose, tool-supported, and industry-standardized (OMG) modeling language for specifyi...
|
cena:
201,24 |
 |
Advanced Topics in Term Rewriting
ISBN: 9780387952505 / Angielski / Twarda / 2002 / 414 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data types), in programming languages (e.g., functional-logic programming), in computer algebra (e.g., symbolic computations, Grabner bases), in pro gram verification (e.g., automatically proving termination of programs), in automated theorem proving (e.g., equational unification), and in algebra (e.g., Boolean algebra, group theory). In other words, term rewriting has applications in practical computer science, theoretical computer science, and...
Term rewriting techniques are applicable in various fields of computer sci ence: in software engineering (e.g., equationally specified abstract data t...
|
cena:
201,24 |
![A Guide to Data Compression Methods [With CD-ROM] Salomon, David 9780387952604 Springer](/a_guide_to_data_compression_methods_with_cd_rom-9780387952604_thb.jpg "A Guide to Data Compression Methods [With CD-ROM]") |
A Guide to Data Compression Methods [With CD-ROM]
ISBN: 9780387952604 / Angielski / Miękka / 2002 / 295 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In 1829, Louis Braille, a young organist in a Paris church, blind since age 3, invented the well-known code for the blind, still in common use today all over the world and named after him. Braille himself modified his code in 1834, and there have been several modifications since. However, the basic design of this code, where each character is represented by a group of 3 x 2 dots, has remained intact. The dots are embossed on thick paper and each can be raised or flat (i. e., present or absent). Each dot is therefore equivalent to one bit of information. As a result, the Braille code (Figure...
In 1829, Louis Braille, a young organist in a Paris church, blind since age 3, invented the well-known code for the blind, still in common use today a...
|
cena:
201,24 |
 |
Guide to Elliptic Curve Cryptography
ISBN: 9780387952734 / Angielski / Twarda / 2004 / 311 str. Termin realizacji zamówienia: ok. 22 dni roboczych. After two decades of research and development, elliptic curve cryptography now has widespread exposure and acceptance. Industry, banking, and government standards are in place to facilitate extensive deployment of this efficient public-key mechanism. Anchored by a comprehensive treatment of the practical aspects of elliptic curve cryptography (ECC), this guide explains the basic mathematics, describes state-of-the-art implementation methods, and presents standardized protocols for public-key encryption, digital signatures, and key establishment. In addition, the book... After two decades of research and development, elliptic curve cryptography now has widespread exposure and acceptance. Industry, banking, and gover... |
cena:
724,58 |
 |
Computer Logic: Design Principles and Applications
ISBN: 9780387953045 / Angielski / Twarda / 2002 / 198 str. Termin realizacji zamówienia: ok. 22 dni roboczych. An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic circuits-is fundamental to further study of computer architectures, system software, and computer networks. Computer Logic: Design Principles and Applications introduces and describes the relevant concepts, principles and applications of modern computer logic design. The book is self-contained, with an introductory chapter that concisely covers the history of computing devices, as well as number systems, number conversions, signed and unsigned...
An understanding of modern computer logic-incorporating core knowledge of number systems, number conversions, Boolean algebra, memories, and logic cir...
|
cena:
201,24 |
 |
Automatic Differentiation of Algorithms: From Simulation to Optimization
ISBN: 9780387953052 / Angielski / Twarda / 2002 / 432 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Automatic Differentiation (AD) is a maturing computational technology and has become a mainstream tool used by practicing scientists and computer engineers. The rapid advance of hardware computing power and AD tools has enabled practitioners to quickly generate derivative-enhanced versions of their code for a broad range of applications in applied research and development. "Automatic Differentiation of Algorithms" provides a comprehensive and authoritative survey of all recent developments, new techniques, and tools for AD use. The book covers all aspects of the subject: mathematics,...
Automatic Differentiation (AD) is a maturing computational technology and has become a mainstream tool used by practicing scientists and computer engi...
|
cena:
201,24 |
 |
A Practical Approach to Software Quality
ISBN: 9780387953212 / Angielski / Twarda / 2002 / 289 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Overview The aim of this book is to provide a practical introduction to software quality in an industrial environment and is based on the author's experience in working in software engineering and software quality improvement with leading indus trial companies. The book is written from a practitioner's viewpoint, and the objective is to include both theory and practice. The reader will gain a grasp of the fundamentals as well as guidance on the practical application of the theory. The principles of software quality management and software process im provement are discussed, and guidance on...
Overview The aim of this book is to provide a practical introduction to software quality in an industrial environment and is based on the author's exp...
|
cena:
201,24 |
 |
Programming Methodology
ISBN: 9780387953496 / Angielski / Twarda / 2002 / 470 str. Termin realizacji zamówienia: ok. 22 dni roboczych. The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be, they have more memory, they can communicate routinely with remote machines all over the world - and they can fit on a desktop. But, despite this remarkable progress, the voracity of modem applications and user expectations still pushes technology right to the limit. As hardware engineers build ever-more-powerful machines, so too must software become more sophisticated to keep up. Medium- to large-scale programming projects need teams of people...
The second half of the twentieth century saw an astonishing increase in computing power; today computers are unbelievably faster than they used to be,...
|
cena:
402,53 |
 |
Cryptographic Security Architecture: Design and Verification
ISBN: 9780387953878 / Angielski / Twarda / 2003 / 320 str. Termin realizacji zamówienia: ok. 22 dni roboczych. A cryptographic security architecture is the collection of hardware and software that protects and controls the use of encryption keys and similar cryptovariables. It is the foundation for enforcing computer security policies and controls and preempting system misuse. This book provides a comprehensive design for a portable, flexible high-security cryptographic architecture, with particular emphasis on incorporating rigorous security models and practices. "Cryptographic Security Architecture" unveils an alternative means of building a trustworthy system based on concepts... A cryptographic security architecture is the collection of hardware and software that protects and controls the use of encryption keys and similar ... |
cena:
402,53 |
 |
Reasoning about Program Transformations: Imperative Programming and Flow of Data
ISBN: 9780387953915 / Angielski / Twarda / 2002 / 238 str. Termin realizacji zamówienia: ok. 22 dni roboczych. Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative programs. This inadequacy clearly shows up when dealing with the individual side effects of loop iterations. - deed, we face a paradoxical situation where, on the one hand, a typical program spends most of its execution time iterating or recursing on a few lines of codes, and, on the other hand, current optimization frameworks are clumsy when trying to capture the effects of each incarnation of these few lines frameworks we inherited from designs...
Overview The motivation of this text lies in what we believe is the inadequacy of current frameworks to reason about the ?ow of data in imperative pro...
|
cena:
201,24 |
 |
Understanding Understanding: Essays on Cybernetics and Cognition
ISBN: 9780387953922 / Angielski / Twarda / 2002 / 362 str. Termin realizacji zamówienia: ok. 22 dni roboczych. In these essays Heinz von Foerster discusses some of the fundamental principles that govern how we know the world and how we process the information from which we derive that knowledge. Included are path- breaking articles concerning the principles of computation in neural nets (1967), the definition of self-organizing systems (1960), the nature of cognition (1970), as well as recent expansions on these themes (e.g. "How recursive is communication," 1993). Working with Norbert Wiener, Warren McCullough, and others in the 1960s and 1970s, von Foerster was one of the founders of the science of...
In these essays Heinz von Foerster discusses some of the fundamental principles that govern how we know the world and how we process the information f...
|
cena:
805,10 |
 |
The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls
ISBN: 9780387954011 / Angielski / Twarda / 2002 / 534 str. Termin realizacji zamówienia: ok. 22 dni roboczych. This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers the pioneering era of the field, from the semaphores of the mid 1960s to the remote procedure calls of the late 1970s. "The Origin of Concurrent Programming" presents 19 seminal papers by E. W. Dijkstra, P. Brinch Hansen, and C. A. R. Hoare. While focusing on contributions of major and lasting importance, the book: * Features an essay that summarizes the papers and puts them in historical perspective. * Builds on fundamental programming...
This book is a collection of original papers written by the computer scientists who made the major breakthroughs in concurrent programming. It covers ...
|
cena:
402,53 |
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
