» książki » Computers - Software Development & Engineering - Systems Analysis & Design
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2456
 |
Granular Computing: An Emerging Paradigm
ISBN: 9783790813876 / Angielski / Twarda / 398 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Granular Computing is concerned with constructing and processing carried out at the level of information granules. Using information granules, we comprehend the world and interact with it, no matter which intelligent endeavor this may involve. The landscape of granular computing is immensely rich and involves set theory (interval mathematics), fuzzy sets, rough sets, random sets linked together in a highly synergetic environment. This volume is a first comprehensive treatment of this emerging paradigm and embraces its fundamentals, underlying methodological framework, and a sound algorithmic...
Granular Computing is concerned with constructing and processing carried out at the level of information granules. Using information granules, we comp...
|
cena:
613,74 |
 |
Fault-Tolerant Distributed Computing
ISBN: 9780387973852 / Angielski / Miękka / 312 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The goal of the Asilomar Workshop on Fault-Tolerant Distributed Computing, held March 17-19, 1986, was to facilitate interaction between theoreticians and practitioners by inviting speakers and choosing topics so as to present a broad overview of the field. This volume contains 22 papers stemming from the workshop, most of them revised and rewritten, presenting research results in distributed systems and fault-tolerant architectures and systems. The volume should be of use to students, researchers and developers.
The goal of the Asilomar Workshop on Fault-Tolerant Distributed Computing, held March 17-19, 1986, was to facilitate interaction between theoreticians...
|
cena:
204,55 |
 |
Concepts in User Interfaces: A Reference Model for Command and Response Languages
ISBN: 9783540167914 / Angielski / Miękka / 119 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
204,55 |
 |
Workflows for e-Science: Scientific Workflows for Grids
ISBN: 9781846285196 / Angielski / Twarda / 526 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is a timely book presenting an overview of the current state-of-the-art within established projects, presenting many different aspects of workflow from users to tool builders. It provides an overview of active research, from a number of different perspectives. It includes theoretical aspects of workflow and deals with workflow for e-Science as opposed to e-Commerce. The topics covered will be of interest to a wide range of practitioners. This is a timely book presenting an overview of the current state-of-the-art within established projects, presenting many different aspects of work... |
cena:
409,14 |
 |
Computer Aided Verification: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
ISBN: 9783540551799 / Angielski / Miękka / 493 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4 1991. Thee objective of this series of workshops is to bring together researchers and practitioners interested in the development and use of methods, tools and theories for automatic verification of (finite) state systems. The workshop provides a unique opportunity for comparing the numerous verification methods and associated verification tools, and the extent to which they may be utilized in application design. The emphasis is not only on new...
This volume contains the proceedings of the third International Workshop on Computer Aided Verification, CAV '91, held in Aalborg, Denmark, July 1-4 1...
|
cena:
204,55 |
 |
Hybrid Systems
ISBN: 9783540573180 / Angielski / Miękka / 476 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturing are typical applications for hybrid systems, but due to the rapid development of processor and circuit technology modern cars and consumer electronics use software to control physical processes. The identifying characteristic of hybrid systems is that they incorporate both continuous components governed by differential equations and also digital components - digital computers, sensors, and actuators controlled by programs. This volume of...
Hybrid systems are networks of interacting digital and analog devices. Control systems for inherently unstable aircraft and computer aided manufacturi...
|
cena:
204,55 |
 |
Distributed Algorithms: 8th International Workshop, Wdag 1994, Terschelling, the Netherlands, September 29 - October 1, 1994. Proceedings
ISBN: 9783540584490 / Angielski / Miękka / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume presents the proceedings of the 8th International Workshop on Distributed Algorithms (WDAG '94), held on the island of Terschelling, The Netherlands in September 1994.
Besides the 23 research papers carefully selected by the program committee, the book contains 3 invited papers. The volume covers all relevant aspects of distributed algorithms; the topics discussed include network protocols, distributed control and communication, real-time systems, dynamic algorithms, self-stabilizing algorithms, synchronization, graph algorithms, wait-free algorithms, mechanisms for security,... This volume presents the proceedings of the 8th International Workshop on Distributed Algorithms (WDAG '94), held on the island of Terschelling, The N...
|
cena:
204,55 |
 |
Sustainable Internet: Third Asian Internet Engineering Conference, AINTEC 2007, Phuket, Thailand, November 27-29, 2007, Proceedings
ISBN: 9783540768081 / Angielski / Miękka / 278 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, and focused on developing synergies between researchers in Asia and worldwide, but was also a unique chanceforyoung, talentedregionalscientiststomeetandinteract.AINTEC2007 wasthereforeamajoropportunityforpresentationsanddiscussionsaroundthese objectives. In particular, it aimed at addressing issues pertinent to the Asian region with vast diversities of socio-economic and networking conditions while inviting high-quality and recent research results from the global...
The 3rd Asian Internet Engineering Conference (AINTEC) followed the ?rst two successful editions held in Bangkok, Thailand, and focused on developing ...
|
cena:
204,55 |
 |
Computer Aided Systems Theory - Eurocast '93: A Selection of Papers from the Third International Workshop on Computer Aided Systems Theory, Las Palmas
ISBN: 9783540576013 / Angielski / Miękka / 457 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains a selection of papers presented at the 3rd European Computer Aided Systems Theory Workshop, EUROCAST '93, held in Spain in February 1993. The workshop had the specific goal of creating a synergy between fields such as systems theory, computer science, systems engineering and related areas.
This volume contains a selection of papers presented at the 3rd European Computer Aided Systems Theory Workshop, EUROCAST '93, held in Spain in Februa...
|
cena:
204,55 |
 |
Mobile Communications - Advanced Systems and Components: 1994 International Zurich Seminar on Digital Communications, Zurich, Switzerland, March 8-11,
ISBN: 9783540578567 / Angielski / Miękka / 571 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Following the conception of a universal mobile telecommunications system, this volume analyzes four areas of research: the improved usage of existing telecommunications standards; better signal processing algorithms; developments to existing systems; and new system proposals.
Following the conception of a universal mobile telecommunications system, this volume analyzes four areas of research: the improved usage of existing ...
|
cena:
409,14 |
 |
A Decade of Concurrency: Reflections and Perspectives: Reflections and Perspectives. Rex School/Symposium Noordwijkerhout, the Netherlands, June 1 - 4
ISBN: 9783540580430 / Angielski / Miękka / 692 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between three Dutch research groups working on the foundations of concurrency.
Ever since its inception in 1983, the goal of the project has been to contribute to the cross-fertilization between formal methods from the fields of syntax, semantics, and proof theory, aimed at an improved understanding of the nature of parallel computing. The material presented in this volume was prepared by the lecturers (and their coauthors) after the meeting took place.... The REX School/Symposium "A Decade of Concurrency - Reflections and Perspectives" was the final event of a ten-year period of cooperation between thre...
|
cena:
409,14 |
 |
Hybrid Systems: Computation and Control: First International Workshop, Hscc'98, Berkeley, California, Usa, April 13 - 15, 1998, Proceedings
ISBN: 9783540643586 / Angielski / Miękka / 417 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, California, USA, in April 1998.
The volume presents 27 revised full papers selected from a total of 55 submissions. The papers focus on mathematical methods for the rigorous and systematic design and analysis of hybrid systems. Hybrid systems consist of digital devices that interact with analog environments; they are particularly important in context with safety-critical systems and dependable computing. The present volume extends the line of... This book constitutes the refereed proceedings of the First International Workshop on Hybrid Systems: Computation and Control, held in Berkeley, Calif...
|
cena:
204,55 |
 |
Hybrid Systems: Computation and Control: Second International Workshop, Hscc'99, Berg En Dal, the Netherlands, March 29-31, 1999 Proceedings
ISBN: 9783540657347 / Angielski / Miękka / 282 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31, 1999, in the village Berg en Dal near Nijmegen, The Netherlands. The rst workshop of this series was held in April 1998 at the University of California at Berkeley. The series follows meetings that were initiated by Anil Nerode at Cornell University. The proceedings of those meetings were published in the Springer-Verlag LNCS Series, Volumes 736, 999, 1066, 1201, and 1273. The p- ceedings of the rst workshop of the new series was published in...
This volume contains the proceedings of the Second International Workshop on Hybrid Systems: Computation and Control (HSCC'99) to be held March 29- 31...
|
cena:
204,55 |
 |
Parallel and Distributed Processing and Applications: 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings
ISBN: 9783540747413 / Angielski / Miękka / 1022 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed proceedings of the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007, held in Niagara Falls, Canada, in August 2007. The 83 revised full papers presented together with three keynote are cover algorithms and applications, architectures and systems, datamining and databases, fault tolerance and security, middleware and cooperative computing, networks, as well as software and languages. This book constitutes the refereed proceedings of the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 200... |
cena:
613,74 |
 |
Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops: ISPA 2007 International Workshops SSDSN, UPWN, WISH, SGC, ParDMCom, HiPC
ISBN: 9783540747666 / Angielski / Miękka / 570 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International Symposium on Parallel and Distributed Processing and Applications, ISPA 2007, held in Niagara Falls, Canada in August 2007. The 53 revised full papers presented were carefully selected from many high quality submissions. The workshops contribute to enlarging the spectrum of the more general topics treated in the ISPA 2007 main conference. This book constitutes the refereed joint proceedings of seven international workshops held in conjunction with the 5th International Symposium on P... |
cena:
409,14 |
 |
AI '88: 2nd Australian Joint Artificial Intelligence Conference, Adelaide, Australia, November 15-18, 1988, Proceedings
ISBN: 9783540520627 / Angielski / Miękka / 464 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Constitutes the proceedings of a conference which brings business, industry and researchers together to consider the activities and future potential of artificial intelligence, encompassing both practical and theoretical issues.
Constitutes the proceedings of a conference which brings business, industry and researchers together to consider the activities and future potential o...
|
cena:
204,55 |
 |
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
ISBN: 9783540634065 / Angielski / Miękka / 260 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the Inmos Transputer. Unlike most other work on compiler verification, and with particular emphasis on modularity, it systematically covers correctness of translation down to actual machine code, a necessity in the area of safety-critical systems. The formal framework provided as well as the novel proof-engineering ideas incorporated in the verified code generator are also of relevance for software design in general.
This book presents the verified design of a code generator translating a prototypic real-time programming language to an actual microprocessor, the In...
|
cena:
204,55 |
 |
Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings
ISBN: 9783540660101 / Angielski / Miękka / 353 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume constitutes the refereed proceedings of the 5th International AMAST Workshop on Formal Methods for Real Time and Probabilistic Systems (ARTS '99) held in Bamberg, Germany in May 1999. The 17 revised full papers presented together with three invited contributions were reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real time processes, real time compilation, stochastic process algebra, and modeling and...
This volume constitutes the refereed proceedings of the 5th International AMAST Workshop on Formal Methods for Real Time and Probabilistic Systems (AR...
|
cena:
204,55 |
 |
Parallel Computer Routing and Communication: First International Workshop, Pcrcw '94, Seattle, Washington, Usa, May 16-18, 1994. Proceedings
ISBN: 9783540584292 / Angielski / Miękka / 329 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume contains revised versions of the 23 regular papers presented at the First International Workshop on Parallel Computer Routing and Communication (PCRCW '94), held in Seattle, Washington in May 1994.
Routing for parallel computer communication has recently experienced almost explosive activity: ever increasing processor speeds are placing greater demands on interprocessor communication, while technological advances offer new capabilities to respond to those demands. The contributions from industry and academia cover all areas, from details of hardware design to proofs of... This volume contains revised versions of the 23 regular papers presented at the First International Workshop on Parallel Computer Routing and Communic...
|
cena:
204,55 |
 |
Persuasive Technology: Second International Conference on Persuasive Technology, PERSUASIVE 2007, Palo Alto, CA, USA, April 26-27, 2007. Revised Selected Papers
ISBN: 9783540770053 / Angielski / Miękka / 316 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Persuasive technology is the general class of technologies that purposefully apply psychological principles of persuasion principles of credibility, trust, reciprocity, authority and the like in interactive media, in the service of changing their users attitudes and behavior. Only one year ago, in 2006, the first international conference in this area, PERSUASIVE 2006 was hosted in Eindhoven. The conference was entirely geared towards communicating the progress made in the area of persuasive technology, and towards presenting recent results in theory, design, technology and evaluation. It...
Persuasive technology is the general class of technologies that purposefully apply psychological principles of persuasion principles of credibility, t...
|
cena:
204,55 |
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
