» książki » Computers - Programming - General
topmenu
 |
Parallelization in Inference Systems: International Workshop, Dagstuhl Castle, Germany, December 17-18, 1990. Proceedings
ISBN: 9783540554257 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the workshop is still ratheryoung and several papers in the book are overview articlesintended to provide a first orientation toward some of themore intensively investigated subtopics.The main part of the book is a compilation of researchpapers on parallelization in special domains ofinferencesuch as rewriting, automatic reasoning, logic programming, andconnectionist inference. Appended to the book is acollection of short project summaries received...
This volume contains the proceedings of an internationalworkshop on parallelism in inference systems held in Germanyin December 1990. The topicof the ...
|
cena:
203,61 |
 |
Specifying Message Passing and Time-Critical Systems with Temporal Logic
ISBN: 9783540562832 / Angielski / Miękka / 166 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practical use of temporal logic for these two application domains, the book also incorporates pure fundamental studies on temporal logic. The motivation to study message passing and time critical systems stems from their importance in practice. Message passing is one of the most important means of interprocess communication in distributed systems, either on a high level, as in telecommunications applications, or on a lower level, as in implementations of...
This monograph is concerned with the application of temporal logic to the areas of message passing and time-critical systems. Apart from the practical...
|
cena:
203,61 |
 |
Foundations of Software Technology and Theoretical Computer Science: 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings
ISBN: 9783540562870 / Angielski / Miękka / 409 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, along with invited essays on developments in algorithms for the maximum-flow problem and system specification in temporal logic.
The proceedings of a meeting held at the Tata Institute of Fundamental Research, Bombay, in June 1992. Selected papers are included in this volume, al...
|
cena:
203,61 |
 |
The Design of an Extendible Graph Editor
ISBN: 9783540570905 / Angielski / Miękka / 196 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Graphs can be used to convey information about relationships in many applications. State transition diagrams, PERT/CPM charts, and entity-relationship diagrams are a few examples of many applications involving graphs. Typically, nodes in the graph represent items in the application and the edges represent the relationships among these items. A graph editor is an interactive tool that presents a graph to the user pictorially and allows the user to edit the graph. This monograph presents the design of an extendible graph editor, which is a graph editor that can be adapted easily to many...
Graphs can be used to convey information about relationships in many applications. State transition diagrams, PERT/CPM charts, and entity-relationship...
|
cena:
203,61 |
 |
Vivid Logic: Knowledge-Based Reasoning with Two Kinds of Negation
ISBN: 9783540576044 / Angielski / Miękka / 155 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the author develops formalisms for his own notion of a vivid knowledge representation and reasoning system, characterized by the presence of two kinds of negation (weak and strong) and the requirements of restricted reflexivity, constructivity, and...
Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a pr...
|
cena:
203,61 |
 |
Logic Program Synthesis and Transformation - Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20 - 21, 1994. Proceedings
ISBN: 9783540587927 / Angielski / Miękka / 458 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on Meta-Programming
(META '94), held jointly in Pisa, Italy in June 1994. This book includes thoroughly revised versions of the best papers presented at both workshops. The main topics addressed by the META papers are language extensions in support of meta-logic, semantics of meta-logic, implementation of meta-logic features, performance of meta-logic, and several applicational aspects. The LOPSTR papers are devoted to unfolding/folding,... This volume constitutes the combined proceedings of the 4th International Workshops on Logic Program Synthesis and Transformation (LOPSTR '94) and on ...
|
cena:
203,61 |
 |
Rules in Database Systems: Second International Workshop, RIDS '95, Glyfada, Athens, Greece, September 25 - 27, 1995. Proceedings
ISBN: 9783540603658 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Second International Workshop on Rules in Database Systems, RIDS '95, held in Athens, Greece, in September 1995.
The book presents 22 revised full papers selected during a very careful reviewing process from a total of 47 submissions. In addition, there is a detailed invited introduction for a panel discussion on the Active Database Management Systems Manifesto. The papers are organized in sections on semantics for database systems, active behavior, rule base organization and modeling, rule analysis, deductive databases, implementation... This book constitutes the refereed proceedings of the Second International Workshop on Rules in Database Systems, RIDS '95, held in Athens, Greece, in...
|
cena:
203,61 |
 |
Advanced Information Systems Engineering: 4th International Conference Caise '92, Manchester, Uk, May 12-15, 1992. Proceedings
ISBN: 9783540554813 / Angielski / Miękka / 655 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The growing demand for information systems of ever-increasing size, scope and complexity has highlighted the benefits that may be accrued from approaches which recognize the inter-relationships between different technological strands in the field of information systems. Typical examples of these areas include: system development methods, CAiSE, requirements engineering, database design and re-use. The CAiSE series of conferences provides the forum for the exchange of results and ideas within these different technological spheres from a single perspective, namely that of information systems...
The growing demand for information systems of ever-increasing size, scope and complexity has highlighted the benefits that may be accrued from approac...
|
cena:
407,25 |
 |
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings
ISBN: 9783540578802 / Angielski / Miękka / 523 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the papers selected for presentation at the 5th European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and Programming (CAAP '94) in Edinburgh in April 1994.
This volume contains the papers selected for presentation at the 5th European Symposium on Programming (ESOP '94), which was held jointly with the 19t...
|
cena:
203,61 |
 |
Ada in Europe: First International Eurospace-Ada-Europe Symposium, Copenhagen, Denmark, September 26 - 30, 1994. Proceedings
ISBN: 9783540588221 / Angielski / Miękka / 528 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposium series is the merger of the two conference series Ada in Aerospace and Ada-Europe.
The 42 papers accepted for presentation address general Ada-related software engineering aspects as well as Ada language issues; the majority of the papers are stimulated by research and development done in the aerospace and aircraft industry. Among the topics covered are compiler issues, safety, criticality and formal methods, object-orientation, management... This volume constitutes the proceedings of the First International Eurospace/Ada-Europe Symposium, held in Copenhagen in September 1994; this symposiu...
|
cena:
203,61 |
 |
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers
ISBN: 9783540662464 / Angielski / Miękka / 346 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on an irregular basis, competing for high-quality contributions and for enough attendees to make them ?nancially viable. Discussions aiming at a consolidation have been underway since at least 1992, with concrete planning beginning in summer 1994 and culminating in a public meeting at TAPSOFT'95 in Aarhus. On the basis of a broad consensus, it was decided to establish a single annual federated spring...
The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and med...
|
cena:
203,61 |
 |
Tcp/IP Sockets in Java: Practical Guide for Programmers
ISBN: 9780123742551 / Angielski / Miękka / 177 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The networking capabilities of the Java platform have been extended considerably since the first edition of the book. This new edition covers version 1.5-1.7, the most current iterations, as well as making the following improvements: The API (application programming interface) reference sections in each chapter, which describe the relevant parts of each class, have been replaced with (i) a summary section that lists the classes and methods used in the code, and (ii) a "gotchas" section that mentions nonobvious or poorly-documented aspects of the objects. In addition, the book covers...
The networking capabilities of the Java platform have been extended considerably since the first edition of the book. This new edition covers version ...
|
cena:
118,69 |
 |
Bluetooth Application Programming with the Java APIs
ISBN: 9780123743428 / Angielski / Miękka / 286 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Adoption of Bluetooth wireless technology has become ubiquitous in the last few years. One of the biggest steps forward is the standardization of Java APIs for Bluetooth wireless technology (JABWT). The latest updates to this standard is explained in detail in this book. The JABWT standard, defined by the JSR-82 Java Specification Request, supports rapid development of Bluetooth applications that are portable, secure, and highly-usable. Wireless device manufacturers have responded overwhelmingly to the JABWT specification by implementing JABWT applications in mobile phones and other personal...
Adoption of Bluetooth wireless technology has become ubiquitous in the last few years. One of the biggest steps forward is the standardization of Java...
|
cena:
173,11 |
 |
Design Principles for Interactive Software
ISBN: 9780412724701 / Angielski / Twarda / 248 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. IFIP's Working Group 2.7(13.4)* has, since its establishment in 1974, con- centrated on the software problems of user interfaces. From its original interest in operating systems interfaces the group has gradually shifted em- phasis towards the development of interactive systems. The group has orga- nized a number of international working conferences on interactive software technology, the proceedings of which have contributed to the accumulated knowledge in the field. The current title of the Working Group is 'User Interface Engineering', with the aim of investigating the nature, concepts,...
IFIP's Working Group 2.7(13.4)* has, since its establishment in 1974, con- centrated on the software problems of user interfaces. From its original in...
|
cena:
539,87 |
 |
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, Tacas'99, Held as Part of the Joint European Conferenc
ISBN: 9783540657033 / Angielski / Miękka / 456 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. ETAPS 99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis and improvement. The...
ETAPS 99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was...
|
cena:
203,61 |
 |
Integer Programming and Combinatorial Optimization: 7th International IPCO Conference, Graz, Austria, June 9-11, 1999, Proceedings
ISBN: 9783540660194 / Angielski / Miękka / 462 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. These 33 revised papers from the International IPCO Conference held in June 1999 cover theoretical, computational and application-oriented aspects of approximation algorithms, branch and bound algorithms, computational biology, computational complexity, computational geometry, cutting plane algorithms, diaphantine equations, geometry of numbers, graph and network algorithms, online algorithms, polyhedral combinatorics, scheduling and semidefinite programs.
These 33 revised papers from the International IPCO Conference held in June 1999 cover theoretical, computational and application-oriented aspects of ...
|
cena:
203,61 |
 |
Algebraic and Logic Programming: International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
ISBN: 9783540506676 / Angielski / Miękka / 269 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republic) from November 14 to 18, 1988. The workshop was devoted to Algebraic Programming, in the sense of programming by algebraic specifications and rewrite rule systems, and Logic Programming, in the sense of Horn clause specifications and resolution systems. This includes combined algebraic/logic programming systems, mutual relations and mutual implementation of programming paradigms, completeness and efficiency considerations in both fields, as...
This volume contains the proceedings of the First International Workshop on Algebraic and Logic Programming held in Gaussig (German Democratic Republi...
|
cena:
203,61 |
 |
Evolution of Parallel Cellular Machines: The Cellular Programming Approach
ISBN: 9783540626138 / Angielski / Miękka / 202 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versatile parallel cellular models, coupled with evolutionary computation techniques, this volume explores the issue of constructing man-made systems that exhibit characteristics like those occuring in nature.
Parallel cellular machines hold potential both scientifically, as vehicles for studying phenomena of interest in areas such as complex adaptive systems and artificial life, and practically, enabling the construction of novel systems, endowed... Collective systems, abounding in nature, have evolved by natural selection to exhibit striking problem-solving capacities. Employing simple yet versat...
|
cena:
203,61 |
 |
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen
ISBN: 9783540643562 / Angielski / Miękka / 461 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This text constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with E-TAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions.
This text constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of System...
|
cena:
203,61 |
 |
Computing in Object-Oriented Parallel Environments: Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings
ISBN: 9783540668183 / Angielski / Miękka / 208 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the Third International Symposium on Computing in Object-Oriented Parallel Environments, ISCOPE 99, held in San Francisco, CA, USA in December 1999. The 14 revised full papers presented together with six short papers were selected from 41 submissions. The papers are devoted to compilers and optimization techniques, new application fields, components and metacomputing, numerical frameworks, generic programming and skeletons, application-specific frameworks, and runtime systems and techniques.
This book constitutes the refereed proceedings of the Third International Symposium on Computing in Object-Oriented Parallel Environments, ISCOPE 99, ...
|
cena:
203,61 |
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
