Logic and Declarative Language
ISBN: 9780748408023 / Angielski / Miękka / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.
An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logi...
|
|
cena:
199,33 zł |
Logic And Declarative Language
ISBN: 9780748408030 / Angielski / Twarda / 384 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logic language or logic itself.
An accessible and comprehensive introduction to logic and declarative languages. This book is intended to support courses in functional language, logi...
|
|
cena:
708,33 zł |
A Student Guide to Object-Oriented Development
ISBN: 9780750661232 / Angielski / Miękka / 416 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Student Guide to Object-Oriented Development is an introductory text that follows the software development process, from requirements capture to implementation, using an object-oriented approach. The book uses object-oriented techniques to present a practical viewpoint on developing software, providing the reader with a basic understanding of object-oriented concepts by developing the subject in an uncomplicated and easy-to-follow manner. It is based on a main worked case study for teaching purposes, plus others with password-protected answers on the web for use in coursework or... A Student Guide to Object-Oriented Development is an introductory text that follows the software development process, from requirements capt... |
|
cena:
257,04 zł |
Object-Oriented Simulation: Reusability, Adaptability, Maintainability
ISBN: 9780780310612 / Angielski / Twarda / 340 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The second part of a yearly series on simulation technology, OBJECT-ORIENTED SIMULATION presents an outstanding variety of the very latest advances in simulation techniques. This leading-edge volume contains a cohesive selection of presentations written by the world-renowned experts in a broad range of topics. OBJECT-ORIENTED SIMULATION is a key resource for anyone involved in computer simulator research and design as well as developers, producers, scholars, and managers. It is an excellent tool for preparing proposals for simulation in commercial and military fields.
The second part of a yearly series on simulation technology, OBJECT-ORIENTED SIMULATION presents an outstanding variety of the very latest advances in...
|
|
cena:
977,30 zł |
Object-Oriented Computer Simulation of Discrete-Event Systems
ISBN: 9780792385066 / Angielski / Twarda / 258 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation techniques available to the modelers of dynamic systems. Unlike other books on simulation, this book includes a complete and balanced description of all essential issues relevant to computer simulation of discrete event systems, and it teaches simulation users how to design, program and exploit their own computer simulation models. In addition, it uses the object-oriented methodology throughout the book as its main programming platform. The...
Object-Oriented Computer Simulation of Discrete-Event Systems offers a comprehensive presentation of a wide repertoire of computer simulation...
|
|
cena:
899,06 zł |
Behavioral Specifications of Businesses and Systems
ISBN: 9780792386292 / Angielski / Twarda / 315 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented in this book describe useful and sometimes elegant concepts, good practices (in programming and in specifications), and solid underlying theory that is of interest and importance to those who deal with increased complexity of business and systems. Most concepts have been successfully used in actual industrial projects, while others are from the forefront of research. Authors include practitioners, business thinkers, academics and applied...
Behavioral Specifications of Businesses and Systems deals with the reading, writing and understanding of specifications. The papers presented...
|
|
cena:
586,33 zł |
The Object-Z Specification Language
ISBN: 9780792386841 / Angielski / Twarda / 146 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible.
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It... Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and poly...
|
|
cena:
781,79 zł |
Implementations of Logic Programming Systems
ISBN: 9780792394570 / Angielski / Twarda / 262 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the implementations of logic programming systems: Practical Implementations and Sys tems Experience in Logic Programming Systems, and Concurrent, Distributed, and Parallel Implementations of Logic Programming Systems. This collection presents 16 research papers in the area of the implementation of logic programming systems. The two workshops aimed to bring together sys tems implementors for discussing real problems coming from their direct...
In conjunction with the 1993 International Conference on Logic Programming (ICLP'93), held in Budapest Hungary, two workshops were held concerning the...
|
|
cena:
390,87 zł |
Logic Program Synthesis from Incomplete Information
ISBN: 9780792395324 / Angielski / Twarda / 242 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validation and maintenance would disappear from the software life-cycle, and one could focus on the more creative tasks of specification elaboration, validation, and maintenance, because replay of program development would be less costly.
This monograph describes a novel approach to Inductive Logic Programming (ILP), which cross-fertilizes logic programming and machine learning. Aiming at the synthesis of recursive logic programs only, and this... Program synthesis is a solution to the software crisis. If we had a program that develops correct programs from specifications, then program validatio...
|
|
cena:
586,33 zł |
Object-Oriented Modeling
ISBN: 9780792396888 / Angielski / Twarda / 150 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are expected from their introduction into electronic modeling. Among them are better support for model reusability and flexibility, more efficient system modeling, and more possibilities in design space exploration and prototyping. Object-Oriented Modeling explores the latest techniques in object-oriented methods, formalisms and hardware description language extensions.
The seven chapters comprising this book provide an overview of... Object-oriented techniques and languages have been proven to significantly increase engineering efficiency in software development. Many benefits are ...
|
|
cena:
781,79 zł |
Object-Oriented Programming a Unified Foundation
ISBN: 9780817639051 / Angielski / Twarda / 366 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive study for over two decades. Overloading, on the other hand, has often been considered too ad hoc to deserve much attention even though it has been, in some form, an ingredient of virtually every programming lan- guage (much more so than parametric polymorphism). With the introduction of object-oriented languages, and in particular with multiple-dispatch object-oriented languages, overloading has...
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric ...
|
|
cena:
390,87 zł |
Unified Objects: Object-Oriented Programming Using C++ [With Disk]
ISBN: 9780818677335 / Angielski / Twarda / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book creates a balance between OOP and C++ in its coverage of the design and implementation of these approaches. It provides formal definitions for object-oriented concepts and describes how they relate to features in C++. The book uses graphical presentations to amplify the concepts featured in the text. The text uses an object-oriented notation that conveys the design of a system in clear and standard manner. This book primarily uses Booch-93 notation. It also provides an overview of the Unified Modeling Language (UML) which combines the Object Modeling Technique and Booch notations....
This book creates a balance between OOP and C++ in its coverage of the design and implementation of these approaches. It provides formal definitions f...
|
|
cena:
436,04 zł |
Handbook of Object Technology
ISBN: 9780849331350 / Angielski / Twarda / 1168 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This handbook encompasses the spectrum of disciplines and topics related to object technology. It outlines emerging technology and examines advances, trends, specifications and ongoing research. The handbook divides into 15 sections, each containing several chapters related to that specific discipline. Non-abstract information provides the reader with practical, useful knowledge which is directly applicable to the understanding and improvement of the reader's job or area of interest related to this technology. The topics discussed include: the processes, notation and tools for classical...
This handbook encompasses the spectrum of disciplines and topics related to object technology. It outlines emerging technology and examines advances, ...
|
|
cena:
288,53 zł |
Technology of Object-Oriented Languages, Systems and Architectures
ISBN: 9781402074288 / Angielski / Twarda / 231 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. TOOLS Eastern Europe 2002 was the third annual conference on the technology of object-oriented languages and systems. It was held in Eastern Europe, more specifically in Sofia, Bulgaria, from March 13 to 15. In my capacity of program chairman, I could count on the support from the Programming Technology Lab of the Vrije Universiteit Brussel to set up the technical program for this con- ference. We managed to assemble a first class international program committee composed of the following researchers: - Mehmet Aksit (Technische Hogeschool Twente, Netherlands) - Jan Bosch (Universiteit...
TOOLS Eastern Europe 2002 was the third annual conference on the technology of object-oriented languages and systems. It was held in Eastern Europe, m...
|
|
cena:
390,87 zł |
Software Visualization: From Theory to Practice
ISBN: 9781402074486 / Angielski / Twarda / 442 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Software Visualization: From Theory to Practice was initially selected as a special volume for "The Annals of Software Engineering (ANSE) Journal," which has been discontinued. This special edited volume, is the first to discuss software visualization in the perspective of software engineering. It is a collection of 14 chapters on software visualization, covering the topics from theory to practical systems. The chapters are divided into four Parts: Visual Formalisms, Human Factors, Architectural Visualization, and Visualization in...
Software Visualization: From Theory to Practice was initially selected as a special volume for "The Annals of Software Engineering (A...
|
|
cena:
781,79 zł |
Constraint and Integer Programming: Toward a Unified Methodology
ISBN: 9781402075834 / Angielski / Twarda / 370 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Despite differing origins, constraint programming and mathematical programming are beginning to merge. Constraint programming has grown out of the logic programming community as part of an effort to embed constraints in a programming language. Mathematical programming, a much older field, is rooted in the mathematics of optimization. Because these two areas have complementary strengths, there are ongoing efforts to integrate the two.Constraint and Integer Programming presents some of the basic ideas of constraint programming and mathematical programming, explores approaches...
Despite differing origins, constraint programming and mathematical programming are beginning to merge. Constraint programming has grown out of the log...
|
|
cena:
586,33 zł |
Rdb: A Comprehensive Guide
ISBN: 9781555581862 / Angielski / Miękka / 480 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The definitive book on Oracle's Rdb database. Written by a team of bestselling database experts, including a principal product architect, this is unquestionably the definitive book on Oracle's Rdb8, the latest version of the powerful database for advanced enterprise applications. Rdb: A Comprehensive Guide, Third Edition teaches administrators, programmers, database designers and IT managers the critical components and functions of the new version 8 and explains how to develop powerful Rdb8 programs. The book specifically addresses new Rdb8 management, tuning and scalability tools and...
The definitive book on Oracle's Rdb database. Written by a team of bestselling database experts, including a principal product architect, this is unqu...
|
|
cena:
356,74 zł |
Ado: ActiveX Data Objects: Creating Data-Driven Solutions
ISBN: 9781565924154 / Angielski / Miękka / 620 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Getting data across platforms and formats is a cornerstone of present-day applications development. ADO: ActiveX Data Objects is both an introduction and a complete reference to ADO (ActiveX Data Objects), Microsoft's universal data access solution. You'll learn how to easily access data in multiple formats--such as email messages, Access databases, Word documents, and SQL databases--even on different platforms, without spending extra time learning every last detail about each format.Author Jason Roff shows by example how to use ADO with your programming language of choice to save... Getting data across platforms and formats is a cornerstone of present-day applications development. ADO: ActiveX Data Objects is both an int... |
|
cena:
196,52 zł |
SmallTalk, Objects, and Design
ISBN: 9781583484906 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
104,61 zł |
Object Technology: The New Approach to Application Development
ISBN: 9781583485651 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
|
cena:
436,58 zł |