Ecoop '99 - Object-Oriented Programming: 13th European Conference Lisbon, Portugal, June 14-18, 1999 Proceedings
ISBN: 9783540661566 / Angielski / Miękka / 538 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. My tailor is Object-Oriented." Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that are still in commercial use have been upgraded with some OO ?avors. The range of areas where OO can be viewed as a must-have" feature seems to be as large as the number of elds in computer science. If we stick to one of the original views of OO, that is, to create cost-e ective software solutions through modeling ph- ical abstractions, the application of OO to any eld of computer science does indeed make sense. There are OO programming...
My tailor is Object-Oriented." Most software systems that have been built - cently are claimed to be Object-Oriented. Even older software systems that...
|
|
cena:
195,42 zł |
Advanced Functional Programming: Third International School, Afp'98, Braga, Portugal, September 12-19, 1998, Revised Lectures
ISBN: 9783540662419 / Angielski / Miękka / 298 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga, PortugalfromSeptember12 19,1998. ThisschoolwasprecededbyearlieronesinB?astad(1995, Sweden, LNCS925) andOlympia, WA(1996, USA, LNCS1129). Thegoalofthisseriesofschoolsis tobringrecentdevelopmentsintheareaoffunctionalprogrammingtoalarge groupofstudents. Thenotesarepublishedinordertoenableindividuals, small studygroups, andlecturerstobecomeacquaintedwithrecentworkinthefast developingareaoffunctionalprogramming....
Inthisvolumeyouwill?ndthelecturenotescorrespondingtothepres- rd tationsgivenatthe3 summerschoolonAdvancedFunctionalProgramming, heldinBraga, Portugalf...
|
|
cena:
195,42 zł |
Functional and Logic Programming: 4th Fuji International Symposium, Flops'99 Tsukuba, Japan, November 11-13, 1999 Proceedings
ISBN: 9783540666776 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS 99) held in Tsukuba, Japan, November 11 13, 1999, and hosted by the Electrotechnical Laboratory (ETL). FLOPS is a forum for presenting and discussing all issues concerning functional programming, logic programming, and their integration. The sym- sium takes place about every 1.5 years in Japan. Previous FLOPS meetings were held in Fuji Susuno (1995), Shonan Village (1996), and Kyoto (1998). 1 There were 51 submissions from Austria ( ), Belgium (2), Brazil(3), China 3 3...
This volume contains the papers presented at the 4th Fuji International S- posium on Functional and Logic Programming (FLOPS 99) held in Tsukuba, Japa...
|
|
cena:
195,42 zł |
Ecoop '96 - Object-Oriented Programming: 10th European Conference, Linz, Austria, July 8-12, 1996. Proceedings
ISBN: 9783540614395 / Angielski / Miękka / 508 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in July 1996.
The 21 full papers included in revised version were selected from a total of 173 submissions, based on technical quality and originality criteria. The papers reflect the most advanced issues in the field of object-oriented programming and cover a wide range of current topics, including applications, programming languages, implementation, specification, distribution, databases, and design. This book constitutes the refereed proceedings of the 10th European Conference on Object-Oriented Programming, ECOOP '96, held in Linz, Austria, in Ju...
|
|
cena:
195,42 zł |
Foundations of Inductive Logic Programming
ISBN: 9783540629276 / Angielski / Miękka / 410 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the first theoretical introduction to ILP; it provides the reader with a rigorous and sufficiently broad basis for future research in the area.
In the first part, a thorough treatment of first-order logic, resolution-based theorem proving, and logic programming is given. The second part introduces the main concepts of ILP and systematically develops the most important results on model inference, inverse resolution, unfolding, refinement... Inductive Logic Programming is a young and rapidly growing field combining machine learning and logic programming. This self-contained tutorial is the...
|
|
cena:
293,15 zł |
Ecoop '98 - Object-Oriented Programming: 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings
ISBN: 9783540647379 / Angielski / Miękka / 648 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in July 1998.
The book presents 24 revised full technical papers selected for inclusion from a total of 124 submissions; also presented are two invited papers. The papers are organized in topical sections on modelling ideas and experiences; design patterns and frameworks; language problems and solutions; distributed memory systems; reuse, adaption and hardware support; reflection; extensible objects and types; and mixins, inheritance and type... This book constitutes the refereed proceedings of the 12th European Conference on Object-Oriented Programming, ECOOP'98, held in Brussels, Belgium, in...
|
|
cena:
390,87 zł |
Logic Program Synthesis and Transformation: 6th International Workshop, Lopstr'96, Stockholm, Sweden, August 28-30, 1996, Proceedings
ISBN: 9783540627180 / Angielski / Miękka / 331 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996.
The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, specialization, and analysis of programs, and the use of program schemata in program development. This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformatio...
|
|
cena:
195,42 zł |
Inductive Logic Programming: 14th International Conference, ILP 2004, Porto, Portugal, September 6-8, 2004, Proceedings
ISBN: 9783540229414 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. How often we recall, with regret, wrote Mark Twain about editors, that Napoleon once shot at a magazine editor and missed him and killed a publisher. But we remember with charity, that his intentions were good. Fortunately, we live in more forgiving times, and are openly able to express our pleasure at being the editors of this volume containing the papers selected for presentation at the 14th International Conference on Inductive Logic Programming. ILP 2004 was held in Porto from the 6th to the 8th of September, under the auspices of the Department of Electrical Engineering and Computing of...
How often we recall, with regret, wrote Mark Twain about editors, that Napoleon once shot at a magazine editor and missed him and killed a publisher. ...
|
|
cena:
195,42 zł |
Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
ISBN: 9783540412854 / Angielski / Miękka / 490 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This title is organized in topical sections including nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, theorem proving, verification, logic programming and constraint logic programming, nonclassical logics and the lambda calculus, logic and databases, program analysis, mu-calculus, and planning and reasoning about actions.
This title is organized in topical sections including nonmonotonic reasoning, descriptive complexity, specification and automatic proof-assistants, th...
|
|
cena:
195,42 zł |
Logic Programming and Nonmonotonic Reasoning: 6th International Conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001. Proceedings
ISBN: 9783540425939 / Angielski / Miękka / 454 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ThesearetheproceedingsoftheSixthInternationalConferenceonLogicP- grammingandNonmonotonicReasoning (LPNMR2001). The conference was heldinViennafrom17thto19thofSeptember,2001. Itwascollocatedwiththe JointGerman/AustrianConferenceonArti?cialIntelligence(24thGerman/9th AustrianConferenceonArti?cialIntelligence), KI2001. LPNMR conferences aim to promote research in logic-based programming languages, database systems, nonmonotonic reasoning, and knowledge rep- sentation. LPNMR2001 was the sixth conference in the series. The previous meetingswereheldinWashington, DC, in1991, inLisbon, Portugal,...
ThesearetheproceedingsoftheSixthInternationalConferenceonLogicP- grammingandNonmonotonicReasoning (LPNMR2001). The conference was heldinViennafrom17th...
|
|
cena:
195,42 zł |
Ecoop 2002 - Object-Oriented Programming: 16th European Conference Malaga, Spain, June 10-14, 2002 Proceedings
ISBN: 9783540437598 / Angielski / Miękka / 637 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-Orientation has for a number of years now been accepted as the ind- try standard in many areas. Coming from the area of simulation it showed its strengthsinthedesignofgraphicaluserinterfacesandisnowtakenforgrantedin Internet applications. Object-oriented programming has positioned itself as the main programming paradigm in many universities and many students are int- ducedtoprogrammingthroughanObject-Orientedlanguage. Theimportanceof Object-Orientation and its fundamental ideas have now also been ?rmly rec- nized by the research community. This year both the IEEE John von Neumann Medal...
Object-Orientation has for a number of years now been accepted as the ind- try standard in many areas. Coming from the area of simulation it showed it...
|
|
cena:
390,87 zł |
Inductive Logic Programming: 12th International Conference, Ilp 2002, Sydney, Australia, July 9-11, 2002. Revised Papers
ISBN: 9783540005674 / Angielski / Miękka / 358 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The Twelfth International Conference on Inductive Logic Programming was held in Sydney, Australia, July 9-11, 2002. The conference was colocated with two other events, the Nineteenth International Conference on Machine Learning (ICML2002) and the Fifteenth Annual Conference on Computational Learning Theory (COLT2002). Startedin1991, InductiveLogicProgrammingistheleadingannualforumfor researchers working in Inductive Logic Programming and Relational Learning. Continuing a series of international conferences devoted to Inductive Logic Programming and Relational Learning, ILP 2002 was the...
The Twelfth International Conference on Inductive Logic Programming was held in Sydney, Australia, July 9-11, 2002. The conference was colocated with ...
|
|
cena:
195,42 zł |
Objects, Components, Architectures, Services, and Applications for a Networked World: International Conference Netobjectdays, Node 2002, Erfurt, Germa
ISBN: 9783540007371 / Angielski / Miękka / 434 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych.
This book constitutes the thoroughly refereed post-proceedings of the international conference NetObjectDays 2002, held in Erfurt, Germany, in October 2002. The 26 revised full papers presented were carefully selected during two rounds of reviewing and revision. The papers are organized in topical sections on embedded and distributed systems; components and MDA; Java technology; Web services; aspect-oriented software design; agents and mobility; software product lines; synchronization; testing, refactoring, and CASE tools.
This book constitutes the thoroughly refereed post-proceedings of the international conference NetObjectDays 2002, held in Erfurt, Germany... |
|
cena:
195,42 zł |
Functional and Logic Programming: 7th International Symposium, Flops 2004, Nara, Japan, April 7-9, 2004, Proceedings
ISBN: 9783540214021 / Angielski / Miękka / 307 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004. were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming.
This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan...
|
|
cena:
195,42 zł |
Inductive Logic Programming: 11th International Conference, Ilp 2001, Strasbourg, France, September 9-11, 2001. Proceedings
ISBN: 9783540425380 / Angielski / Miękka / 259 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 11th International Conference on Inductive Logic Programming, ILP 2001, held in Strasbourg, France in September 2001. The 21 revised full papers presented were carefully reviewed and selected from 37 submissions. Among the topics addressed are data mining issues for multi-relational databases, supervised learning, inductive inference, Bayesian reasoning, learning refinement operators, neural network learning, constraint satisfaction, genetic algorithms, statistical machine learning, and transductive inference.
This volume constitutes the refereed proceedings of the 11th International Conference on Inductive Logic Programming, ILP 2001, held in Strasbourg, Fr...
|
|
cena:
195,42 zł |
Principles and Practice of Constraint Programming - Cp 2001: 7th International Conference, Cp 2001, Paphos, Cyprus, November 26 - December 1, 2001, Pr
ISBN: 9783540428633 / Angielski / Miękka / 794 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held in Paphos, Cyprus, in November/December 2001.
The 37 revised full papers, 9 innovative applications presentations, and 14 short papers presented were carefully reviewed and selected from a total of 135 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to advanced and innovative applications in a variety of fields. This book constitutes the refereed proceedings of the 7th International Conference on Principles and Practice of Constraint Programming, CP 2001, held...
|
|
cena:
390,87 zł |
Generative Programming and Component Engineering: ACM Sigplan/Sigsoft Conference, Gpce 2002, Pittsburgh, Pa, Usa, October 6-8, 2002. Proceedings
ISBN: 9783540442844 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (GPCE 2002), held October 6 8, 2002, in Pittsburgh, PA, USA, as part of the PLI 2002 event, which also included ICFP, PPDP, and a?liated workshops. The future of Software Engineering lies in the automation of tasks that are performed manually today. Generative Programming (developing programs that synthesize other programs), Component Engineering (raising the level of mo- larization and analysis in application design), and Domain-Speci?c...
This volume constitutes the proceedings of the ?rst ACM SIGPLAN/SIGSOFT International Conference on Generative Programming and Component Engine- ing (...
|
|
cena:
195,42 zł |
Extensions of Logic Programming: 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.
ISBN: 9783540609834 / Angielski / Miękka / 322 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.
The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search. This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany...
|
|
cena:
195,42 zł |
Principles and Practice of Constraint Programming - Cp 2000: 6th International Conference, Cp 2000 Singapore, September 18-21, 2000 Proceedings
ISBN: 9783540410539 / Angielski / Miękka / 564 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. As computer science enters the new millennium, methods and languages for reasoning with constraints have come to play an important role, with both t- oretical advances and practical applications. Constraints have emerged as the basis of a representational and computational paradigm that draws from many disciplinesandcanbebroughttobearonmanyproblemdomains, includingar- ?cial intelligence, databases, and combinatorial optimization. The conference is concerned with all aspects of computing with constraints including algorithms, applications, environments, languages, models and systems. The Sixth...
As computer science enters the new millennium, methods and languages for reasoning with constraints have come to play an important role, with both t- ...
|
|
cena:
390,87 zł |
UML 2000 - The Unified Modeling Language: Advancing the Standard: Third International Conference York, Uk, October 2-6, 2000 Proceedings
ISBN: 9783540411338 / Angielski / Miękka / 575 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the Third International Conference on the Unified Modelling Language, 2000, held in York, UK in October 2000. The 36 revised full papers, presented together with two invited papers and three panel outlines, were carefully reviewed and selected from 102 abstracts and 82 papers submitted. The book offers topical sections on use cases, enterprise applications, applications, roles, OCL tools, meta-modelling, behavioural modelling, methodology, actions and constraints, patterns, architecture, and state charts.
This text constitutes the refereed proceedings of the Third International Conference on the Unified Modelling Language, 2000, held in York, UK in Octo...
|
|
cena:
390,87 zł |