» książki » Computers - Programming - General
 |
Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981
ISBN: 9783540114901 / Angielski / Miękka / 426 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
203,61 |
 |
Caap '83: Trees in Algebra and Programming. 8th Colloquium l'Aquila, March 9-11, 1983. Proceedings
ISBN: 9783540127277 / Angielski / Miękka / 428 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. With contributions by numerous experts
With contributions by numerous experts
|
cena:
203,61 |
 |
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, Pa, June 6-8, 1983
ISBN: 9783540128960 / Angielski / Miękka / 531 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
191,38 |
 |
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
ISBN: 9783540182177 / Angielski / Miękka / 125 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deductive law for proving the theorem and a constructive law for synthesizing the program or algorithm. A systematic examination of deductive laws and of constructive laws is presented. The set of all possible pairs of laws provides us with a tool for classifying the different approaches for materializing algorithms (such as hardware, microprogramming, algorithmic programming, declarative programming, deductive approach for recursive routines).
This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws: a deducti...
|
cena:
203,61 |
 |
Mathematical Models for the Semantics of Parallelism: Advanced School. Rome, Italy, September 24 - October 1, 1986. Proceedings
ISBN: 9783540184195 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism, held in Rome, September 24- October 1, 1986. The need for a comprehensive and clear presentation of the several semantical approaches to parallelism motivated the stress on mathematical models, by means of which comparisons among different approaches can also be performed in a perspicuous way.
The papers collected in this volume are most of the material presented at the Advanced School on Mathematical Models for the Semantics of Parallelism,...
|
cena:
203,61 |
 |
Foundations of Software Technology and Theoretical Computer Science: Seventh Conference, Pune, India, December 17-19, 1987. Proceedings
ISBN: 9783540186250 / Angielski / Miękka / 541 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences are organized and run by the computer science research community in India, and their purpose is to provide a forum for professional interaction between members of this research community and their counterparts in different parts of the world. The volume includes four invited papers on: - reasoning about linear constraints using parametric queries, - the parallel evaluation of classes of circuits, - a theory of commonsense visual reasoning, -...
This volume gives the proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science. These conferences ar...
|
cena:
203,61 |
 |
Recent Advances in Memetic Algorithms
ISBN: 9783540229049 / Angielski / Twarda / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Memetic algorithms are evolutionary algorithms that apply a local search process to refine solutions to hard problems. Memetic algorithms are the subject of intense scientific research and have been successfully applied to a multitude of real-world problems ranging from the construction of optimal university exam timetables, to the prediction of protein structures and the optimal design of space-craft trajectories. This monograph presents a rich state-of-the-art gallery of works on memetic algorithms. Recent Advances in Memetic Algorithms is the first book that focuses on... Memetic algorithms are evolutionary algorithms that apply a local search process to refine solutions to hard problems. Memetic algorithms are the s... |
cena:
610,90 |
 |
Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software
ISBN: 9783540434863 / Angielski / Twarda / 215 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. What is this Book About? At the beginning of the 21st century, computer systems and especially so- ware play an important role in our society. Software is contained in virtually every technical device that we use in everyday life (e.g., cellular phones and cars). Furthermore, computers and their software are used for leisure purposes at home (the Internet and computer games), at the office (e.g., writing letters and order processing), and for more complicated tasks such as controlling steel plants or insuring flight safety. Therefore, the quality of software (e.g., its correctness, re-...
What is this Book About? At the beginning of the 21st century, computer systems and especially so- ware play an important role in our society. Softwar...
|
cena:
203,61 |
 |
Computational Aspects of an Order-Sorted Logic with Term Declarations
ISBN: 9783540517054 / Angielski / Miękka / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
142,52 |
 |
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings
ISBN: 9783540525134 / Angielski / Miękka / 588 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.
This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The...
|
cena:
203,61 |
 |
MFDBS 91: 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991
ISBN: 9783540540090 / Angielski / Miękka / 395 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, May 6-9, 1991. This is the third in a series of biannual MFDBS conferences, which in future will be held together with ICDT, the International Conference on Database Theory. MFDBS 91 covers new developments in theoretical aspects of database and knowledge base systems and the design of databases and knowledge bases. Topics of the conference are: database and knowledge base models; deductive database and knowledge base systems; logical,...
This volume presents the proceedings of the 1991 Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, held in Rostock, FRG, ...
|
cena:
203,61 |
 |
Distributed Algorithms: 4th International Workshop, Bari, Italy, September 24-26, 1990. Proceedings.
ISBN: 9783540540991 / Angielski / Miękka / 436 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy in 1990. The workshop was a forum for researchers, students and other interested persons to discuss recent results and trends in the design and analysis of distributed algorithms for communication networks and decentralized systems. The volume includes all 28 papers presented at the workshop, covering current research in such aspects of distributed algorithm design as distributed combinatorial algorithms, distributed algorithms on graphs, distributed algorithms for new types...
This volume contains the proceedings of the 4th International Workshop on Distributed Algorithms, held near Bari, Italy in 1990. The workshop was a fo...
|
cena:
203,61 |
 |
Hybrid Information Systems
ISBN: 9783790814804 / Angielski / Miękka / 734 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid intelligent systems are becoming a very important problem-solving methodology affecting researchers and practitioners in areas ranging from science and technology to business and commerce. This volume focuses on the hybridization of different soft computing technologies and their interactions with hard computing techniques, other intelligent computing frameworks, and agents. Topics covered include: genetic-neurocomputing, neuro-fuzzy systems, genetic-fuzzy systems, genetic-fuzzy neurocomputing, hybrid optimization techniques, interaction with intelligent agents, fusion of soft...
Hybrid intelligent systems are becoming a very important problem-solving methodology affecting researchers and practitioners in areas ranging from sci...
|
cena:
407,25 |
 |
Elementary Logic: For Software Development
ISBN: 9781848000810 / Angielski / Miękka / 314 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches readers how to better reason about software development, to communicate reasoning, to distinguish between good and bad reasoning, and to read professional literature that presumes knowledge of elementary logic. The reader s knowledge and understanding can be assessed through numerous examples and exercises. This book provides a reader-friendly foundation to logic and offers valuable insight into the topic, thereby serving as a helpful reference for... The ability to reason correctly is critical to most aspects of computer science and to software development in particular. This book teaches reader... |
cena:
162,88 |
 |
Legacysoftware: Das Lange Leben der Altsysteme
ISBN: 9783540254126 / Niemiecki / Twarda / 448 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die Software heutiger Unternehmen besteht zum gr ten Teil aus Altsystemen, die zwischen f nf und drei ig Jahren alt sein k nnen. In der heutigen Softwareliteratur wird vorwiegend die Schaffung und Konzeption von neuen Systemen behandelt. Ziel dieses Buches ist es dagegen, eine Darstellung der Entwicklungsm glichkeiten und Strategien f r die Altsysteme aufzuzeigen. Dabei besch ftigt sich der Autor auch mit folgenden Fragen: Wie kann die Wartung besser werden? Muss man wirklich abl sen? Wie funktioniert der Ersatz durch Standardsoftware? Die Software heutiger Unternehmen besteht zum gr ten Teil aus Altsystemen, die zwischen f nf und drei ig Jahren alt sein k nnen. In der heutigen So... |
cena:
209,31 |
 |
Parallel Database Systems: Prisma Workshop, Noordwijk, the Netherlands, September 24-26, 1990. Proceedings.
ISBN: 9783540541325 / Angielski / Miękka / 439 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) Project. The contributors provide a survey of several aspects of parallel database systems. The second part of the volume gives an in-depth overview of the PRISMA system, which is based on a parallel machine with individual processors which each have their own local memory and communicate with each other over a packet-switched network. On this machine, a parallel object-oriented programming language, POOL-X, has been implemented, which provides...
This volume presents the proceedings of a workshop on parallel database systems organized by the PRISMA (Parallel Inference and Storage Machine) Proje...
|
cena:
203,61 |
 |
Software Development Environments and Case Technology: European Symposium, Königswinter, June 17-19, 1991. Proceedings
ISBN: 9783540541943 / Angielski / Miękka / 292 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software development environments are integrated sets of tools, techniques and processes that assist in the sys- tematic development of software products. They are intended to support all phases of the software development cycle: requirements definition, design, implementation, test, and maintenance. These Computer Aided Software Engineering (CASE) tools typically make use of graphic manipulation facilities and rely on some form of development database to exchange various types of design objects between tools. Facilitated by the availability of powerful workstations, implementations of these...
Software development environments are integrated sets of tools, techniques and processes that assist in the sys- tematic development of software produ...
|
cena:
203,61 |
 |
Fundamentals of Computation Theory: 8th International Conference, FCT '91, Gosen, Germany, September 9-13, 1991. Proceedings
ISBN: 9783540544586 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" heldat Gosen, near Berlin, September 9-13, 1991. This was the eighth in the series of FCT conferences organized every odd year. The programme of theconference, including invited lectures and selected contributions, falls into the following categories: - Semantics and logical concepts in the theory of computing, formal specification, - Automata and formal languages, Computational geometry, - Algorithmic aspects of algebra and algebraic geometry,...
This volume contains papers which were contributed for presentation at the international conference "Fundamentals of Computation Theory - FCT '91" hel...
|
cena:
203,61 |
 |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
ISBN: 9783540548348 / Angielski / Miękka / 705 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts...
|
cena:
407,25 |
 |
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
ISBN: 9783540548683 / Angielski / Miękka / 433 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts...
|
cena:
203,61 |
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
