Książka: » Programowanie » Bazy danych
topmenu
• Nauka
[3062267]
[2081849]
[57571]
[175464]
• Komiksy
[40055]
[25575]
[770516]
• Hobby
[106322]
[1683]
[246038]
[461]
• Słowniki
[4125]
• Inne
[492372]
[1574]
[179770]
[585123]
• Religia
[637680]
[550]
• Sport
[75252]
• Sztuka
[264853]
[3381]
[247339]
• Zdrowie
[133903]
[128]
• Zabawki
[2660]
[4091]
[267]
[7501]
Bazy danych
ilość książek w kategorii: 39077
 |
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
ISBN: 9780387950730 / Angielski / Twarda / 2001 / 348 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scribing mathematical approaches to program development, it is important to explain what we consider to be the specific contribution of our book, to identify our goals, and to characterize our intended target audience. Most books dealing with the mathematics and logics of programming and system development are mainly devoted to programming in the small. This is in contrast to our book where the emphasis is on modular system development with the help...
This book presents a fundamental mathematical and logical approach to soft ware and systems engineering. Considering the large number of books de scri...
|
cena:
207,86 |
 |
Automated Theorem Proving: Theory and Practice
ISBN: 9780387950754 / Angielski / Twarda / 2000 / 231 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform billions of operations per second are now commonplace. Multiprocessors with thousands of little computers - relatively little -can now carry out parallel computations and solve problems in seconds that only a few years ago took days or months. Chess-playing programs are on an even footing with the world's best players. IBM's Deep Blue defeated world champion Garry Kasparov in a match several years ago. Increasingly computers are expected to be...
As the 21st century begins, the power of our magical new tool and partner, the computer, is increasing at an astonishing rate. Computers that perform ...
|
cena:
623,66 |
 |
Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs
ISBN: 9780387950921 / Angielski / Twarda / 2001 / 220 str. Termin realizacji zamówienia: ok. 30 dni roboczych. Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS (calculus of communicating systems) and other process calculi. In the real applications, specification and implementation are described as two processes, and correctness of programs is treated as a certain behavior equivalence between them. The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. This book is restricted...
Process calculi are among the most successful models of concurrent systems. Various behavior equivalences between processes are central notions in CCS...
|
cena:
241,87 |
 |
Models of Neural Networks IV: Early Vision and Attention
ISBN: 9780387951058 / Angielski / Twarda / 2001 / 413 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. Close this book for a moment and look around you. You scan the scene by directing your attention, and gaze, at certain specific objects. Despite the background, you discern them. The process is partially intentional and partially preattentive. How all this can be done is described in the fourth volume of Models of Neural Networks devoted to Early Vision and Atten tion that you are holding in your hands. Early vision comprises the first stages of visual information processing. It is as such a scientific challenge whose clarification calls for a penetrating review. Here you see the result. The...
Close this book for a moment and look around you. You scan the scene by directing your attention, and gaze, at certain specific objects. Despite the b...
|
cena:
207,86 |
 |
Software Reliability Methods
ISBN: 9780387951065 / Angielski / Twarda / 2001 / 332 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
 |
Panoramic Vision: Sensors, Theory, and Applications
ISBN: 9780387951119 / Angielski / Twarda / 2001 / 449 str. Termin realizacji zamówienia: ok. 30 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:
698,83 |
 |
Practical Software Testing: A Process-Oriented Approach
ISBN: 9780387951317 / Angielski / Twarda / 2003 / 710 str. Termin realizacji zamówienia: ok. 16-18 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:
498,92 |
 |
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. 30 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:
483,79 |
 |
Discrete-Event Simulation: Modeling, Programming, and Analysis
ISBN: 9780387951607 / Angielski / Twarda / 2001 / 537 str. Termin realizacji zamówienia: ok. 16-18 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:
415,76 |
 |
Geometric Computing for Perception Action Systems: Concepts, Algorithms, and Scientific Applications
ISBN: 9780387951911 / Angielski / Twarda / 2001 / 235 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
 |
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
ISBN: 9780387951973 / Angielski / Twarda / 2001 / 409 str. Termin realizacji zamówienia: ok. 16-18 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:
623,66 |
 |
A Discipline of Multiprogramming: Programming Theory for Distributed Applications
ISBN: 9780387952062 / Angielski / Twarda / 2001 / 420 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
 |
Guide to Applying the UML
ISBN: 9780387952093 / Angielski / Twarda / 2002 / 410 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
 |
Advanced Topics in Term Rewriting
ISBN: 9780387952505 / Angielski / Twarda / 2002 / 414 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
![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. 16-18 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:
207,86 |
 |
Guide to Elliptic Curve Cryptography
ISBN: 9780387952734 / Angielski / Twarda / 2004 / 311 str. Termin realizacji zamówienia: ok. 16-18 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:
748,40 |
 |
Computer Logic: Design Principles and Applications
ISBN: 9780387953045 / Angielski / Twarda / 2002 / 198 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
 |
Automatic Differentiation of Algorithms: From Simulation to Optimization
ISBN: 9780387953052 / Angielski / Twarda / 2002 / 432 str. Termin realizacji zamówienia: ok. 16-18 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:
207,86 |
 |
A Practical Approach to Software Quality
ISBN: 9780387953212 / Angielski / Twarda / 2002 / 289 str. Termin realizacji zamówienia: ok. 30 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:
241,87 |
 |
Programming Methodology
ISBN: 9780387953496 / Angielski / Twarda / 2002 / 470 str. Termin realizacji zamówienia: ok. 16-18 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:
415,76 |
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
