» książki » Computers - Programming - General
topmenu
 |
Sorts and Types in Artificial Intelligence: Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings
ISBN: 9783540523376 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from knowledge representation and theorem proving and important impulses come from the "application areas," i.e. natural language (understanding) systems, computational linguistics, and logic programming. The workshop brought together researchers from logic, theoretical computer science, theorem proving, knowledge representation, linguistics, logic programming and qualitative reasoning.
The aim of this book is to reflect the substantial re- search done in Artificial Intelligence on sorts and types. The main contributions come from kno...
|
cena:
203,61 |
 |
CAD & Office Integration: OLE for Design and Modeling. a New Technology for CA Software
ISBN: 9783540602927 / Angielski / Twarda / 162 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the realm of CAD & Office Integration a new technology has been introduced that will overturn many accepted ideas, both for developer and end-user. What is this revolutionary new technology? Called "OLE for Design and Modeling" it is an enhancement of Microsoft Windows OLE for high performance CAD/CAM/CAE-software. With this book, the reader will understand, how OLE for D&M enables users to introduce and manipulate CAD models within regular text-processing and DTP-documents. And why even high-end 3D design objects can now be transferred between different systems using easy "drag and drop"...
In the realm of CAD & Office Integration a new technology has been introduced that will overturn many accepted ideas, both for developer and end-user....
|
cena:
270,64 |
 |
B'98: Recent Advances in the Development and Use of the B Method: Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedin
ISBN: 9783540644057 / Angielski / Miękka / 320 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book presents 15 revised full papers selected from 29 submissions as well as four invited contributions. The B method is enjoying rapidly increasing popularity for the specification and design of software. The book covers all aspects of the B technology, including introductory and methodological issues, theoretical investigations and industrial applications, B extension proposals and support tools, as well as comparisons or integration with other... This book presents the refereed proceedings of the Second International B Conference, B'98, held in Montpellier, France, in April 1998.
The book pr... |
cena:
203,61 |
 |
Introduction to Process Algebra
ISBN: 9783540665793 / Angielski / Twarda / 168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.
The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a... Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and ...
|
cena:
203,61 |
 |
Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering
ISBN: 9783540714361 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming languages. Nowhere else in software engineering have we seen such breathtaking improvements in cost, quality, time to market, and developer productivity, often registering in the order-of-magnitude range. Here, the authors combine academic research results with real-world industrial experiences, thus presenting a broad view on product line engineering so that both managers and technical specialists will benefit from exposure to this work. They capture... Software product lines represent perhaps the most exciting paradigm shift in software development since the advent of high-level programming langua... |
cena:
203,61 |
 |
A Theory and Practice of Program Development
ISBN: 9783540761624 / Angielski / Miękka / 405 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each development step is rigorously justified, and the strategies and transformations used are justified and explained ma thematically. The approach provides the formal semantics of a simple, but powerful, wide-spectrum programming language and gives a formal definition of both algorithmic and data refinement. Unlike other texts, it covers both the theory and practice of program development. Although based on VDM-SL, no knowledge of this language is...
A Theory and Practice of Program Development provides a comprehensive introduction to a software development method based on VDM-SL. Each devel...
|
cena:
203,61 |
 |
Radial Basis Function Networks 2: New Advances in Design
ISBN: 9783790813685 / Angielski / Twarda / 360 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Radial Basis Function (RBF) neural network has gained in popularity over recent years because of its rapid training and its desirable properties in classification and functional approximation applications. RBF network research has focused on enhanced training algorithms and variations on the basic architecture to improve the performance of the network. In addition, the RBF network is proving to be a valuable tool in a diverse range of application areas, for example, robotics, biomedical engineering, and the financial sector. The two volumes provide a comprehensive survey of the latest...
The Radial Basis Function (RBF) neural network has gained in popularity over recent years because of its rapid training and its desirable properties i...
|
cena:
836,62 |
 |
Changes of Problem Representation: Theory and Experiments
ISBN: 9783790815238 / Angielski / Twarda / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The purpose of our research is to enhance the efficiency of AI problem solvers by automating representation changes. We have developed a system that improves the description of input problems and selects an appropriate search algorithm for each given problem. Motivation. Researchers have accumulated much evidence on the impor- tance of appropriate representations for the efficiency of AI systems. The same problem may be easy or difficult, depending on the way we describe it and on the search algorithm we use. Previous work on the automatic im- provement of problem descriptions has mostly been...
The purpose of our research is to enhance the efficiency of AI problem solvers by automating representation changes. We have developed a system that i...
|
cena:
836,62 |
 |
String Searching Algorithms
ISBN: 9789810237035 / Angielski / Miękka / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A bibliographic overview of string searching and an anthology of descriptions of the principal algorithms available. Topics covered include methods for finding exact and approximate string matches, calculating "edit" distances between strings, and finding common sequences.
A bibliographic overview of string searching and an anthology of descriptions of the principal algorithms available. Topics covered include methods fo...
|
cena:
178,11 |
 |
Fuzzy Decision Making in Modeling and Control
ISBN: 9789810248772 / Angielski / Twarda / 356 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Decision making and control are two fields with distinct methods for solving problems, and yet they are closely related. This text bridges the gap between decision making and control in the field of fuzzy decisions and fuzzy control, and discusses various ways in which fuzzy decision making methods can be applied to systems modelling and control. Fuzzy decision making is a powerful paradigm for dealing with human expert knowledge when one is designing fuzzy model-based controllers. The authors hope that the combination of fuzzy decision making and fuzzy control that they present here will...
Decision making and control are two fields with distinct methods for solving problems, and yet they are closely related. This text bridges the gap bet...
|
cena:
460,13 |
 |
Graph Algorithms and Applications 1
ISBN: 9789810249267 / Angielski / Twarda / 440 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book contains volumes 1-3 of the Journal of Graph Algorithms and Applications (JGAA). Topics of interest include design and analysis of graph algorithms, experiences with graph algorithms, and applications of graph algorithms. JGAA is supported by distinguished advisory and editorial boards, has high scientific standards, and takes advantage of current electronic document technology. The electronic version of JGAA is available on the Web at http: //www.cs.brown.edu/publications/jgaa/
This book contains volumes 1-3 of the Journal of Graph Algorithms and Applications (JGAA). Topics of interest include design and analysis of graph alg...
|
cena:
692,66 |
 |
Biocomputing 2003 - Proceedings of the Pacific Symposium
ISBN: 9789812382177 / Angielski / Twarda / 672 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Pacific Symposium on Biocomputing (PSB 2003) is an international, multidisciplinary conference for the presentation and discussion of current research in the theory and application of computational methods in problems of biological significance. The rigorously peer-reviewed papers and presentations are collected in this archival proceedings volume.
PSB 2003 brings together top researchers from the US, the Asia-Pacific region and around the world to exchange research findings and address open issues in all aspects of computational biology. PSB is a forum for the presentation of work in... The Pacific Symposium on Biocomputing (PSB 2003) is an international, multidisciplinary conference for the presentation and discussion of current rese...
|
cena:
1063,73 |
 |
Software Maintenance: Concepts and Practice (Second Edition)
ISBN: 9789812384256 / Angielski / Twarda / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software systems now invade every area of daily living. Yet, we still struggle to build systems we can really rely on. If we want to work with software systems at any level, we need to get to grips with the way software evolves. This book will equip the reader with a sound understanding of maintenance and how it affects all levels of the software evolution process.
Software systems now invade every area of daily living. Yet, we still struggle to build systems we can really rely on. If we want to work with softwar...
|
cena:
662,98 |
 |
Software Maintenance: Concepts and Practice (Second Edition)
ISBN: 9789812384263 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software systems now invade every area of daily living. Yet, we still struggle to build systems we can really rely on. If we want to work with software systems at any level, we need to get to grips with the way software evolves. This book will equip the reader with a sound understanding of maintenance and how it affects all levels of the software evolution process.
Software systems now invade every area of daily living. Yet, we still struggle to build systems we can really rely on. If we want to work with softwar...
|
cena:
316,65 |
![Introduction to Windows and Graphics Programming with Visual C++ .Net [With CD ROM] Mayne, Roger W. 9789812561992 World Scientific Publishing Company](/9789812561992_introduction_to_windows_and_graphics_programming_with_visual_c_net_with_cd_rom.jpg "Introduction to Windows and Graphics Programming with Visual C++ .Net [With CD ROM]") |
Introduction to Windows and Graphics Programming with Visual C++ .Net [With CD ROM]
ISBN: 9789812561992 / Angielski / Miękka / 352 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book provides an accessible approach to the study of Windows programming with Visual C++. It is intended to be an introduction to Visual C++ for technical people including practicing engineers, engineering students, and others who would like to understand Windows programming and use its inherent graphic capabilities. While the book is aimed at a technical audience, the mathematical content is modest and it should be readable by most people interested in C++ programming. It introduces readers to Windows programming in a natural way, making use of the object-oriented environment, the...
This book provides an accessible approach to the study of Windows programming with Visual C++. It is intended to be an introduction to Visual C++ for ...
|
cena:
286,97 |
 |
The Art Of Debugging With Gdb, Ddd, And Eclipse
ISBN: 9781593271749 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Debugging is crucial to successful software development, but even many experienced programmers find it challenging. Sophisticated debugging tools are available, yet it may be difficult to determine which features are useful in which situations. The Art of Debugging is your guide to making the debugging process more efficient and effective. The Art of Debugging illustrates the use three of the most popular debugging tools on Linux/Unix platforms: GDB, DDD, and Eclipse. The text-command based GDB (the GNU Project Debugger) is included with most distributions. DDD is a... Debugging is crucial to successful software development, but even many experienced programmers find it challenging. Sophisticated debugging tools a... |
cena:
207,54 |
 |
Theory of Program Structures: Schemes, Semantics, Verification
ISBN: 9783540074151 / Angielski / Miękka / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
93,64 |
 |
The Vienna Development Method: The Meta-Language
ISBN: 9783540087663 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
122,15 |
 |
Information Systems Methodology: Proceedings, 2nd Conference of the European Cooperation in Informatics, Venice, October 10-12, 1978
ISBN: 9783540089346 / Angielski / Miękka / 696 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
407,25 |
 |
Automata, Languages and Programming: Seventh Colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980. Proceedings
ISBN: 9783540100034 / Angielski / Miękka / 671 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,38 |
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
