» książki » Computers - Programming - Object Oriented
topmenu
 |
Principles and Practice of Constraint Programming - Cp '95: First International Conference, Cp '95, Cassis, France, September 19 - 22, 1995. Proceedin
ISBN: 9783540602996 / Angielski / Miękka / 656 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cassis near Marseille, France in September 1995.
The 33 refereed full papers included were selected out of 108 submissions and constitute the main part of the book; in addition there is a 60-page documentation of the four invited papers and a section presenting industrial reports. Thus besides having a very strong research component, the volume will be attractive for practitioners. The papers are organized in sections on efficient constraint... This book constitutes the proceedings of the First International Conference on Principles and Practice of Constraint Programming, CP '95, held in Cass...
|
cena:
403,47 zł |
 |
Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991. Proceedings
ISBN: 9783540555643 / Angielski / Miękka / 723 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In the past decade the formal theory of specification, verification and development of real-time programs has grown from work of a few specialized groups to a real bandwagon. Many eminent research groups have shifted their interests in this direction. Consequently, research in real-time is now entering established research areas in formal methods, such as process algebra, temporal logic, and model checking. This volume contains the proceedings of a workshop dedicated to the theory of real-time with the purpose of stepping back and viewing the results achieved as well as considering the...
In the past decade the formal theory of specification, verification and development of real-time programs has grown from work of a few specialized gro...
|
cena:
403,47 zł |
 |
Object-Oriented Methodologies and Systems: International Symposium Isooms '94, Palermo, Italy, September 21-22, 1994. Proceedings
ISBN: 9783540584513 / Angielski / Miękka / 393 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS '94), held in Palermo, Italy in September 1994 in conjunction with the AICA 1994 Italian Computer Conference.
The 25 full papers included cover not only technical areas of object-orientation, such as databases, programming languages, and methodological aspects, but also application areas. The book is organized in chapters on object-oriented databases, object-oriented analysis, behavior modeling, object-oriented programming languages, object-oriented information systems,... This volume presents the proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS '94), held in Palermo, Italy ...
|
cena:
201,72 zł |
 |
Principles and Practice of Constraint Programming: Second International Workshop, Ppcp '94, Rosario, Orcas Island, Wa, Usa, May 2 - 4, 1994. Proceedin
ISBN: 9783540586012 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas Island, Washington, USA in May 1994 in cooperation with AAAI and ALP.
The volume contains 27 full revised papers selected from 87 submissions as well as a summary of a panel session on commercial applications of constraint programming. The contributions cover a broad range of topics including constraint programming languages, algorithms for constraint satisfaction and entailment, and constraints and their relation to fields such as artificial... This volume is the proceedings of the Second International Workshop on the Principles and Practice of Constraint Programming, held at Rosario, Orcas I...
|
cena:
201,72 zł |
 |
Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
ISBN: 9783540593386 / Angielski / Miękka / 361 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, held at Schlo Rheinfels, St. Goar, Germany in May 1995.
Originally tableau calculi and their relatives were favored primarily as a pedagogical device because of their advantages at the presentation level. The 23 full revised papers in this book bear witness that these methods have now gained fundamental importance in theorem proving, particularly as competitors for resolution methods. The book is organized in sections on extensions, modal... This volume constitutes the proceedings of the 4th International Workshop on Theorem Proving with Analytic Tableaux and Related Methods, TABLEAU '95, ...
|
cena:
201,72 zł |
 |
Logic Programming and Nonmonotonic Reasoning: Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
ISBN: 9783540594871 / Angielski / Miękka / 415 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA in June 1995 under the sponsorship of the Association for Logic Programming.
The LPNMR conferences bring together researchers from logic programming and the logical foundations of artificial intelligence in order to facilitate cooperation and cross-fertilization of ideas. The 28 full papers presented define the state of the art in this interdisciplinary area of research, which has recently... This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic...
|
cena:
201,72 zł |
 |
Essentials of Constraint Programming
ISBN: 9783540676232 / Angielski / Twarda / 147 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specify problems with uncertain, incomplete information and to solve combi- natorial problems, as they are abundant in industry and commerce, such as scheduling, planning, transportation, resource allocation, layout, design, and analysis. This book is a short, concise, and complete presentation of constraint programming and reasoning, covering theoretical foundations, algorithms, implementations, examples, and applications. It is based on more than a...
The use of constraints had its scientific and commercial breakthrough in the 1990s. Programming with constraints makes it possible to model and specif...
|
cena:
201,72 zł |
 |
Multi-Threaded Object-Oriented Mpi-Based Message Passing Interface: The Arch Library
ISBN: 9780792381655 / Angielski / Twarda / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library presents ARCH, a library built as an extension to MPI. ARCH relies on a small set of programming abstractions that allow the writing of well-structured multi-threaded parallel codes according to the object-oriented programming style. ARCH has been written with C++. The book describes the built-in classes, and illustrates their use through several template application cases in several fields of interest: Distributed Algorithms (global completion detection, distributed process serialization),...
Multi-Threaded Object-Oriented MPI-Based Message Passing Interface: The ARCH Library presents ARCH, a library built as an extension...
|
cena:
605,23 zł |
 |
Object Technologies for Advanced Software: First Jssst International Symposium, Kanazawa, Japan, November 4-6, 1993. Proceedings
ISBN: 9783540573425 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of an international conference organized by the Japan Society for Software Science and Technology. Discussion focused on object technologies, in particular object-oriented programming, object-oriented databases and software object bases.
This volume contains the proceedings of an international conference organized by the Japan Society for Software Science and Technology. Discussion foc...
|
cena:
201,72 zł |
 |
Inductive Logic Programming: 8th International Conference, ILP-98, Madison, Wisconsin, USA, July 22-24, 1998, Proceedings
ISBN: 9783540647386 / Angielski / Miękka / 308 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 8th International Conference on Inductive Logic Programming, ILP-98, held in Madison, Wisconsin, USA, in July 1998.
The 27 revised full papers presented together with the abstracts of three invited talks were carefully reviewed and selected for inclusion in the book. All relevant aspects of inductive logic programming are covered ranging from theory to implementations and applications. This book constitutes the refereed proceedings of the 8th International Conference on Inductive Logic Programming, ILP-98, held in Madison, Wisconsin,...
|
cena:
201,72 zł |
 |
Logic Programming and Knowledge Representation: Third International Workshop, Lpkr'97, Port Jefferson, New York, Usa, October 17, 1997, Selected Paper
ISBN: 9783540649588 / Angielski / Miękka / 252 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997.
The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates. This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representa...
|
cena:
201,72 zł |
 |
Logic Programming and Automated Reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings
ISBN: 9783540664925 / Angielski / Miękka / 404 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted by the University of Tbilisi. Forty-four papers were submitted to LPAR'99. Each of the submissions was reviewed by three program committee members and an electronic program com- mittee meeting was held via the Internet. Twenty-three papers were accepted. We would like to thank the many people who have made LPAR'99 possible. We are grateful to the following groups and individuals: to the program...
This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR'99), held in Tb...
|
cena:
201,72 zł |
 |
Principles and Practice of Constraint Programming - Cp'99: 5th International Conference, Cp'99, Alexandria, Va, Usa, October 11-14, 1999 Proceedings
ISBN: 9783540666264 / Angielski / Miękka / 504 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP '99), held in Alexandria, Virginia, USA in October 1999. The 30 revised full papers presented together with three invited papers and eight posters were reviewed and selected for inclusion in the book from a total of 97 papers submitted. Advances in many aspects of constraint programming and its applications in various areas are addressed.
The refereed proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP '99), held in Alexandria, Virgin...
|
cena:
403,47 zł |
 |
Uml'99 - The Unified Modeling Language: Beyond the Standard: Second International Conference, Fort Collins, Co, Usa, October 28-30, 1999, Proceedings
ISBN: 9783540667124 / Angielski / Miękka / 726 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. While in geometry attempts to square the circle never succeeded, the UML has achieved it: states canbeimplementedasclasses. "{Wehavemade much progressfrom thetime cloudswere used. " The Uni ed Modeling Language is described as a language for specifying, - sualizing, constructing, and documenting the artifacts of software systems" and for business modeling (OMG UML V1. x documents). The UML re?ects some of the best experiences in object-oriented modeling, thus it has the potential to become a widely-used standard object-oriented modeling language. As a generally-applicable standard the UML has...
While in geometry attempts to square the circle never succeeded, the UML has achieved it: states canbeimplementedasclasses. "{Wehavemade much progress...
|
cena:
403,47 zł |
 |
Object-Oriented Technology. Ecoop'99 Workshop Reader: Ecoop'99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999 Proceedings
ISBN: 9783540669548 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the joint refereed post-proceedings of 20 workshops, one panel session, and one poster session held during the 13th European Conference on Object-Oriented Programming, ECOOP'99, in Lisbon, Portugal in June 1999. The volume presents overviews of the 20 workshops as well as more than 200 individual short presentations by the contributing authors in a coherent and systematic way. The wealth of information provided spans the whole spectrum of object technology, from theoretical and foundational issues to applications in various domains.
This text constitutes the joint refereed post-proceedings of 20 workshops, one panel session, and one poster session held during the 13th European Con...
|
cena:
201,72 zł |
 |
Principles and Practice of Constraint Programming - Cp'96: Second International Conference, Cp '96, Cambridge, Ma, Usa, August 19 - 22, 1996. Proceedi
ISBN: 9783540615514 / Angielski / Miękka / 579 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, held in Cambridge, MA, USA in August 1996.
The 36 revised full papers presented in the volume were selected from over 100 submissions; also included are abstracts of 22 selected poster presentations and 3 special lectures. CP is the flagship conference series on constraint processing with a number of satellite activities; thus the volume reflects the state of the art in the field. This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, he...
|
cena:
201,72 zł |
 |
Advanced Functional Programming: Second International School, Olympia, Wa, Usa, August 26 - 30, 1996, Tutorial Text
ISBN: 9783540616283 / Angielski / Miękka / 244 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, in August 1996.
After many years of development, functional programming languages have matured to a point where they can be used for much larger applications than has been typical in the past. These tutorial notes have been written for students and professionals in software engineering who are interested in exploring beyond the elementary concepts of functional programming and in progressing towards large-scale programming and structured... This book presents the eight tutorial lectures given at the Second International School on Advanced Functional Programming, held in Olympia, WA, USA, ...
|
cena:
201,72 zł |
 |
Non-Monotonic Extensions of Logic Programming: Second International Workshop Nmelp '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers
ISBN: 9783540628439 / Angielski / Miękka / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996.
The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled... This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Program...
|
cena:
201,72 zł |
 |
Inductive Logic Programming: 6th International Workshop, ILP-96, Stockholm, Sweden, August 26-28, 1996, Selected Papers
ISBN: 9783540634942 / Angielski / Miękka / 402 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the 6th International Workshop on Inductive Logic Programming, ILP-96, held in Stockholm, Sweden, in August 1996.
The 21 full papers were carefully reviewed and selected for inclusion in the book in revised version. Also included is the invited contribution "Inductive logic programming for natural language processing" by Raymond J. Mooney. Among the topics covered are natural language learning, drug design, NMR and ECG analysis, glaucoma diagnosis, efficiency measures for implementations and database interaction,... This book constitutes the strictly refereed post-workshop proceedings of the 6th International Workshop on Inductive Logic Programming, ILP-96, held i...
|
cena:
201,72 zł |
 |
Logic Programming and Nonmonotonic Reasoning: 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings
ISBN: 9783540667490 / Angielski / Miękka / 396 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternational ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR 99) heldatElPaso, Texas, inDecember1999. LPNMR 99isthe fthinaseriesofinternationalmeetingsonlogicprogramming andnonmonotonicreasoning. FourpreviousmeetingswereheldinWashington, U. S. A., in1991, inLisbon, Portugal, in1993, inLexington, U. S. A., in1995, and inDagstuhl, Germany, in1997. TheaimoftheLPNMRconferencesisto- cilitateinteractionsbetweenresearchersinterestedinlogicbasedprogramming languagesanddatabasesystemsandresearcherswhoworkintheareasofk-...
ThisvolumeconsistsoftherefereedpaperspresentedattheFifthInternational ConferenceonLogicProgrammingandNonmonotonicReasoning(LPNMR 99) heldatElPaso, Tex...
|
cena:
201,72 zł |
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
