![]() |
Software Engineering and Knowledge Engineering: Trends for the Next Decade
ISBN: 9789810219116 / Angielski / Twarda / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume focuses on current and future trends in the interplay between software engineering and artificial intelligence. This interplay is now critical to the success of both disciplines, and it also affects a wide range of subject areas. The articles in this volume survey the significant work that has been accomplished, describe the state of the art, analyze the current trends, and predict which future directions have the most potential for success. Areas covered include requirements engineering, real-time systems, reuse technology, development environments and meta-environments, process...
This volume focuses on current and future trends in the interplay between software engineering and artificial intelligence. This interplay is now crit...
|
cena:
593,71 |
![]() |
Theories and Experiences for Real-Time System Development
ISBN: 9789810219239 / Angielski / Twarda / 444 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experience. Particularly effective in influencing our understanding has been the conjoining of universal algebra with the theory and practice of real-time system development. This interplay between algebraic methodology and software technology (AMAST) for real-time systems is the theme for this book.
Our understanding of real-time systems is rapidly approaching a level of maturity which calls for a consolidation of our present knowledge and experie...
|
cena:
658,04 |
![]() |
Handbook of Graph Grammars and Computing by Graph Transformation - Volume 3: Concurrency, Parallelism, and Distribution
ISBN: 9789810240219 / Angielski / Twarda / 472 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others.
The area of graph grammars and graph... Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of ar...
|
cena:
717,40 |
![]() |
Intensional Programming II: Based on the Papers at Islip 99
ISBN: 9789810240950 / Angielski / Twarda / 332 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intuitionistic logics. In fact, a whole new programming paradigm called "intensional programming" has been created, with applications in a wide range of areas, including parallel programming, dataflow computation, temporal reasoning, scientific computation, real-time programming, temporal and multidimensional databases, spreadsheets, attribute grammars, and Internet programming. This volume presents ongoing research as well as future directions of...
There is a growing interest in programming languages and systems based on nonclassical logics such as temporal logics, interval logics, modal and intu...
|
cena:
519,50 |
![]() |
Handbook of Software Engineering and Knowledge Engineering - Volume 1: Fundamentals
ISBN: 9789810249731 / Angielski / Twarda / 940 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is the first handbook to cover comprehensively both software engineering and knowledge engineering -- two important fields that have become interwoven in recent years. Over 60 international experts have contributed to the book. Each chapter has been written in such a way that a practitioner of software engineering and knowledge engineering can easily understand and obtain useful information. Each chapter covers one topic and can be read independently of other chapters, providing both a general survey of the topic and an in-depth exposition of the state of the art. Practitioners will find...
This is the first handbook to cover comprehensively both software engineering and knowledge engineering -- two important fields that have become inter...
|
cena:
1261,64 |
![]() |
Artificial Intelligence Methods in Software Testing
ISBN: 9789812388544 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. - Coverage of novel methods for software testing and software quality assurance
- Introduction to state-of-the-art data mining models and techniques - Analyses of new and promising application domains of artificial intelligence and data mining in software quality engineering - Contributions from leading authors in the fields of software engineering and data mining. - Coverage of novel methods for software testing and software quality assurance
- Introduction to state-of-the-art data mining models and technique... |
cena:
494,76 |
![]() |
New Trends in Software Process Modelling
ISBN: 9789812566195 / Angielski / Twarda / 220 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process. More recently, software process modelling is increasingly dealing with new challenges raised by the tests that the software industry has to face. This book addresses these new trends in software process modeling related to: 1. Processes for open source software; 2. Systems dynamics to model and simulate the software process; 3. Peopleware: the importance of people in the software development and by extension in the software process. One new...
Over the years, a variety of software process models have been designed to structure, describe and prescribe the software systems construction process...
|
cena:
559,08 |
![]() |
L Systems
ISBN: 9783540068679 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
121,01 |
![]() |
Coroutines: A Programming Methodology, a Language Design and an Implementation
ISBN: 9783540102564 / Angielski / Miękka / 254 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,72 |
![]() |
Seminar on Concurrency: Carnegie-Mellon University Pittsburgh, Pa, July 9-11, 1984
ISBN: 9783540156703 / Angielski / Miękka / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,72 |
![]() |
Functional Programming Languages and Computer Architecture: Proceedings, Nancy, France, September 16-19, 1985
ISBN: 9783540159759 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,72 |
![]() |
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22-26, 1985
ISBN: 9783540164449 / Angielski / Miękka / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,72 |
![]() |
Programs as Data Objects: Proceedings of a Workshop, Copenhagen, Denmark, October 17 - 19, 1985
ISBN: 9783540164463 / Angielski / Miękka / 325 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
141,19 |
![]() |
Third International Conference on Logic Programming: Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986. Proceedings
ISBN: 9783540164920 / Angielski / Miękka / 723 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,72 |
![]() |
Category Theory and Computer Programming: Tutorial and Workshop, Guildford, U.K., September 16 - 20, 1985. Proceedings
ISBN: 9783540171621 / Angielski / Miękka / 522 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
201,72 |
![]() |
Logic Programming '86: Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986
ISBN: 9783540180241 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 in Tokyo. Topics covered include Prolog machine architecture, Prolog processors, variations of Prolog language, and applications of Prolog to natural language understanding, and expert systems. Most of the works reported in the volume are related to the Japanese Fifth Generation Computer Project allowing readers to compare results from this project with those from similar projects currently being conducted in other countries.
This volume contains the papers presented, and subsequently submitted for publication, at the 5th Logic Programming Conference, held June 23-26, 1986 ...
|
cena:
201,72 |
![]() |
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986
ISBN: 9783540185819 / Angielski / Miękka / 212 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Springer Book Archives
Springer Book Archives
|
cena:
201,72 |
![]() |
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings
ISBN: 9783540191292 / Angielski / Miękka / 224 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento, Italy, from December 15th to 19th, 1986. The meeting centered on themes and trends in Functional Programming and in Logic Programming. This book contains five papers contributed by the invited speakers and five selected contributions.
This volume consists of some of the papers that were delivered during the workshop on "Foundations of Logic and Functional Programming" held in Trento...
|
cena:
201,72 |
![]() |
Object-Oriented Information Systems: 9th International Conference, OOIS 2003, Geneva, Switzerland, September 2-5, 2003, Proceedings
ISBN: 9783540408604 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applications, and experiences in the design, development, and use of object oriented infor- tionsystems, fromboththeacademicandindustrialenvironments, arepresented. The ninth OOIS conference was held at the University of Geneva, September 2 5, 2003. The main theme was the Evolution of Object Oriented Information Systems. The papers presented ideas and issues related to the evolution, ad- tability, restructuring, and ?exibility of OOIS. In the context of...
The conference on Object Oriented Information Systems (OOIS) is now an es- blished international conference where innovative ideas, research, applicat...
|
cena:
201,72 |
![]() |
Multiple Objective and Goal Programming: Recent Developments
ISBN: 9783790814095 / Angielski / Miękka / 432 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This work is dedicated to multi-objective methods in decision making. The first part, which is devoted to theoretical aspects, covers such multi-objective methods as: multiple linear programming; vector optimization; fuzzy goal programming; and data envelopment analysis.
This work is dedicated to multi-objective methods in decision making. The first part, which is devoted to theoretical aspects, covers such multi-objec...
|
cena:
403,47 |