» książki » Computers - Programming - Object Oriented
topmenu
 |
Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part I
ISBN: 9783540439592 / Angielski / Miękka / 684 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to celebrate his career as an original thinker, a charismatic communicator, and a forceful intellectual leader. The logic programming community hereby and herein conveys its respect and thanks to him for his pivotal role in creating and fostering the conceptual paradigm which is its raison d'OEtre. The diversity of interests covered here reflects the variety of Bob's concerns. Read on. It is an intellectual feast. Before you begin, permit me to...
Alan Robinson This set of essays pays tribute to Bob Kowalski on his 60th birthday, an anniversary which gives his friends and colleagues an excuse to...
|
cena:
389,09 zł |
 |
Extreme Programming and Agile Methods - Xp/Agile Universe 2002: Second XP Universe and First Agile Universe Conference Chicago, Il, Usa, August 4-7, 2
ISBN: 9783540440246 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4 7, 2002 it attracted software experts, educators, and developers. Unlike most c- ferences the venue was very dynamic. Many activities were not even well de?ned in advance. All discussions were encouraged to be spontaneous. Even so, there were some written words available and you are holding all of them now. We have collected as much material as possible together into this small volume. It is just the tip of the iceberg of course. A reminder to us...
The second XP Universe and ?rst Agile Universe brought together many p- ple interested in building software in a new way. Held in Chicago, August 4 7,...
|
cena:
194,52 zł |
 |
Object-Oriented Information Systems: 8th International Conference, Oois 2002, Montpellier, France, September 2-5, 2002, Proceedings
ISBN: 9783540440871 / Angielski / Miękka / 550 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These are the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002 held in Montpellier, France, in September 2002. The 34 revised full papers and 17 short papers presented were carefully reviewed and selected from 116 submissions. The papers are organized in topical sections on developing web services, object databases, XML and web, component and ontology, UML modeling, object modeling and information systems adaptation, e-business models and workflow, performance and method evaluation, programming and tests, software engineering metries,...
These are the refereed proceedings of the 8th International Conference on Object-Oriented Information Systems, OOIS 2002 held in Montpellier, France, ...
|
cena:
389,09 zł |
 |
Functional and Logic Programming: 6th International Symposium, Flops 2002, Aizu, Japan, September 15-17, 2002. Proceedings
ISBN: 9783540442332 / Angielski / Miękka / 310 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan, in September 2002.The 15 revised full papers presented together with 3 full invited papers were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on constraint programming, program transformation and analysis, semantics, rewriting, compilation techniques, and programming methodology.
This book constitutes the refereed proceedings of the 6th International Symposium on Functional and Logic Programming, FLOPS 2002, held in Aizu, Japan...
|
cena:
194,52 zł |
 |
Object-Oriented Programming in Oberon-2
ISBN: 9783540600626 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Without a doubt the idea of object-oriented programming has brought some motion into the field of programming methodology and enlarged the set of programming languages. Object-oriented programming is nothing new-it first arose in the sixties. The motivation came from the simulation of discrete event systems. The concept first manifested itself in the language Simula 67. It took nearly two decades for the method to gain impetus, and today object-oriented programming is an important concept and a powerful technique. Meanwhile, we can even speak of an over reaction, for the concept has become a...
Without a doubt the idea of object-oriented programming has brought some motion into the field of programming methodology and enlarged the set of prog...
|
cena:
194,52 zł |
 |
Deductive Program Design
ISBN: 9783540609476 / Angielski / Twarda / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subj...
|
cena:
778,22 zł |
![Oberon-2 Programming with Windows [With Full Windwos Based Integrated Development] Mühlbacher, Jörg R. 9783540625223 Springer](/9783540625223_oberon_2_programming_with_windows_with_full_windwos_based_integrated_development.jpg "Oberon-2 Programming with Windows [With Full Windwos Based Integrated Development]") |
Oberon-2 Programming with Windows [With Full Windwos Based Integrated Development]
ISBN: 9783540625223 / Angielski / Miękka / 372 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a "hands on" book containing many examples which start by illustrating basic Oberon-2 language features and gradually increase in scope to cover object-oriented programming concepts and constructs. Oberon-2 is a successor to the language Pascal, which was also designed by Prof. N. Wirth Wir71J. It has quickly become a major language used for teaching purposes. The only thing you need for successfully working through the book is to have access to a computer running Windows 3. 11 or...
This book is aimed at students who need to learn the basics of programming or who are studying computing. It is a "hands on" book containing many exam...
|
cena:
350,18 zł |
 |
Agent-Oriented Programming: From Prolog to Guarded Definite Clauses
ISBN: 9783540666837 / Angielski / Miękka / 394 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A book that furnishes no quotations is, me judice, no book - it is a plaything. TL Peacock: Crochet Castle The paradigm presented in this book is proposed as an agent programming language. The book charts the evolution of the language from Prolog to intelligent agents. To a large extent, intelligent agents rose to prominence in the mid-1990s because of the World Wide Web and an ill-structured network of multimedia information. Age- oriented programming was a natural progression from object-oriented programming which C++ and more recently Java popularized. Another strand of influence came from...
A book that furnishes no quotations is, me judice, no book - it is a plaything. TL Peacock: Crochet Castle The paradigm presented in this book is prop...
|
cena:
194,52 zł |
 |
Essential Delphi 2.0 Fast: How to Develop Applications in Delphi 2.0
ISBN: 9783540760269 / Angielski / Miękka / 184 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Delphi is a new Windows software development environment from Borland. Released in 1995, it has quickly built up an excellent reputation as one of the best Windows software development tools.
John Cowell shows how to program in Delphi using various tools. He provides lots of examples and illustrations and describes various database specific tools included with the Delphi package. The book shows how to use the Borland database engine along with other database formats (including Microsoft's Access). There are a number of chapters which cover the object-oriented aspects of Pascal, and... Delphi is a new Windows software development environment from Borland. Released in 1995, it has quickly built up an excellent reputation as one of the...
|
cena:
389,09 zł |
 |
Essential Delphi 3 Fast: Includes ActiveX Development
ISBN: 9783540761501 / Angielski / Miękka / 180 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Delphi 3 is a true object oriented, visual programming environment. If you need to write complex applications for Windows 95, Delphi is an excellent choice. Many professional developers considered that the user interface and the facilities that Delphi 2.0 offers were superior to any other programming environment. Delphi 3 has an improved user interface and offers many additional features. One of the most exciting recent developments has been ActiveX. Delphi 3.0 has all the tools that you need to develop ActiveX components. Essential Delphi 3.0 presents all of the key features of Delphi...
Delphi 3 is a true object oriented, visual programming environment. If you need to write complex applications for Windows 95, Delphi is an excellent c...
|
cena:
389,09 zł |
 |
Advances in Inductive Logic Programming
ISBN: 9789051992427 / Angielski / Twarda / 334 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Provides a detailed overview of Inductive Logic Programming, as well as a collection of technical contributions to it. This overview is based on the ESPRIT basic research project no 6020 on Inductive Logic Programming. It is useful for students, researchers and practitioners of artificial intelligence and computer science.
Provides a detailed overview of Inductive Logic Programming, as well as a collection of technical contributions to it. This overview is based on the E...
|
cena:
840,35 zł |
 |
Object-Oriented Software: Design and Maintenance
ISBN: 9789810227319 / Angielski / Twarda / 288 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Offering a number of exercises of diverse complexity, this text discusses fundamental concepts and terminology on object-oriented software development, with emphasis on design and maintenance rather than programming. It also presents methodologies and proposes a software life-cycle model which focuses on reusability during software development and maintenance.
Offering a number of exercises of diverse complexity, this text discusses fundamental concepts and terminology on object-oriented software development...
|
cena:
291,03 zł |
 |
Formal Methods for Open Object-Based Distributed Systems: 6th Ifip Wg 6.1 International Conference, Fmoods 2003, Paris, France, November 19.21, 2003,
ISBN: 9783540204916 / Angielski / Miękka / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed Systems. The conference was held in Paris, France on November 19 21, 2003. The event was the sixth meeting of this conference series, which is held roughly every year and a half, the earlier events having been held in Paris, Canterbury, Florence, Stanford, and Twente. ThegoaloftheFMOODSseriesofconferencesistobringtogetherresearchers whose work encompasses three important and related ?elds: formal methods; distributed systems; object-based...
This volume contains the proceedings of FMOODS 2003, the 6th IFIP WG 6. 1 International Conference on Formal Methods for Open Object-Based Distributed...
|
cena:
194,52 zł |
 |
Ecoop 2003 - Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings
ISBN: 9783540405313 / Angielski / Miękka / 505 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. The 18 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 88 submissions. The papers are organized in topical sections on aspects and components; patterns, architecture, and collaboration; types; modeling; algorithms, optimization, and runtimes; and formal techniques and methodology. The refereed proceedings of the 17th European Conference on Object-Oriented Programming, ECOOP 2003, held in Darmstadt, Germany in July 2003. <... |
cena:
389,09 zł |
 |
Logic Programming: First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990. Second Russian Conference on Logic Programming, St.Petersburg, Russia, September 11-16, 1991.
ISBN: 9783540554608 / Angielski / Miękka / 521 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of the conferenceswas to bring together researchers from the Russian and theinternational logic programming communities. Topics coveredin the volume include: logic programming, automated theoremproving, non-monotonic reasoning, applications ofmathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming innon-classical logics.This is the first volume to represent activity in the fieldof logic...
This volume contains the proceedings of two Russianconferences on logic programming, held in 1990 in Irkutskand in 1991 in St. Petersburg. The aim of ...
|
cena:
194,52 zł |
 |
Ecoop '94 - Object-Oriented Programming: 8th European Conference, Bologna, Italy, July 4-8, 1994. Proceedings
ISBN: 9783540582021 / Angielski / Miękka / 544 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. ECOOP is the premier European event on object-oriented programming and technology. The 25 full refereed papers presented in the volume were selected from 161 submissions; they are grouped in sessions on class design, concurrency, patterns, declarative programming, implementation, specification, dispatching, and experience. Together with the keynote speech "Beyond Objects" by Luc Steels (Brussels) and the invited paper "Putting Objects to Work" by...
This volume contains the proceedings of the 8th European Conference on Object-Oriented Programming (ECCOP '94), held in Bologna, Italy in July 1994. E...
|
cena:
194,52 zł |
 |
Non-Monotonic Extensions of Logic Programming: ICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers
ISBN: 9783540594673 / Angielski / Miękka / 236 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included.
Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice... This volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwar...
|
cena:
194,52 zł |
 |
Constraint Processing: Selected Papers
ISBN: 9783540594796 / Angielski / Miękka / 296 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; these workshops were held in conjunction with the International Congress on Computer Systems and Applied Mathematics (St. Petersburg, Russia, July 1993) and the European Conference on Artificial Intelligence (Amsterdam, The Netherlands, August 1994).
This volume essentially contributes to integrating the different approaches to the young and very active field of constraint processing by offering papers from logic programming, knowledge... This volume contains 15 thoroughly refereed full research papers selected from the presentations given during two workshops on constraint processing; ...
|
cena:
194,52 zł |
 |
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:
389,09 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:
389,09 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
