» książki » Computers - Software Development & Engineering - Systems Analysis & Design
topmenu
Kategoria BISAC: Computers >> Software Development & Engineering - Systems Analysis & Design
ilość książek w kategorii: 2335
 |
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 |
 |
Artificial Neural Networks: International Workshop Iwann '91, Granada, Spain, September 17-19, 1991. Proceedings
ISBN: 9783540545378 / Angielski / Miękka / 486 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. An examination of advances in the field of artificial neural networks, which are parallel networks designed to function as biological nervous systems. The contributors cover biological perspectives, architectures, software development, hardware implementations and applications.
An examination of advances in the field of artificial neural networks, which are parallel networks designed to function as biological nervous systems....
|
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 |
 |
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling: 4th International Conference, ICVS 2007, Saint-Malo, France, December 5-7, 2007, Proceedings
ISBN: 9783540770374 / Angielski / Miękka / 219 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In September 2001 the First International Conference on Virtual Storytelling was organized in Avignon, France. This was the ?rst international scienti?c event entirely devoted to the new discipline that links the ancient human arts of storytelling to the latest technologies of the virtual reality era. Then, Virtual Storytelling 2003 was held during November 20 21, 2003, in Toulouse, France, and Virtual Storytelling 2005 was held during November 30 December 2, 2005, in Strasbourg, France. Since autumn 2003, there has been a strong collaboration between the two major virtual/digital...
In September 2001 the First International Conference on Virtual Storytelling was organized in Avignon, France. This was the ?rst international scienti...
|
cena:
204,55 |
 |
Composition of Embedded Systems. Scientific and Industrial Issues: 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Pap
ISBN: 9783540774181 / Angielski / Miękka / 240 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues, held in Paris, France, in October 2006. The 12 revised full papers presented were carefully selected during two rounds of reviewing and improvement from numerous submissions. The workshop discussed a range of challenges in embedded systems design that require further major advances in technology. This book constitutes the thoroughly refereed post-proceedings of the 13th International Monterey Workshop on Composition of Embedded Systems: Scie... |
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
