» książki » Computers - Operating Systems - General
topmenu
 |
Automated Theorem Proving in Software Engineering
ISBN: 9783642087592 / Angielski / Miękka / 228 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this book serves to mark the emergence of ATP into the marketplace. For this book is arguably the first to present for the general computer scientist or mathematician in some technical depth the ability of automated theorem provers to function in the realm where they will earn their living. That realm is as the reasoning engines of verifiers and generators of computer programs, hardware and related products. (We do note some excellent edited...
This book can mark the coming of age of automated theorem proving (ATP). The process to maturity has been a continuum, as it is for humans, but this b...
|
cena:
201,72 |
 |
Fehlertolerante dezentrale Prozeßautomatisierung
ISBN: 9783540187547 / Niemiecki / Miękka / 243 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend von einer Analyse der angestrebten Ziele Zuverl ssigkeit, Sicherheit und Wirtschaftlichkeit wird eine modifizierte Fehlertoleranz-Klassifizierung angegeben. Die exemplarische Realisierung eines fehlertoleranten Mikrorechnersystems basiert auf der globalen Grundstruktur dezentraler Automatisierungssysteme, in der durch die Zusammenfassung lokaler Subsysteme eine Rekonfiguration zur Tolerierung bestimmter Hardware-Fehler m glich wird. Dezentral...
In der vorliegenden Monographie werden Verfahren zur Implementierung von Fehlertoleranz in dezentralen Automatisierungssystemen untersucht. Ausgehend ...
|
cena:
207,36 |
 |
Multimedia/Hypermedia in Open Distributed Environments: Proceedings of the Eurographics Symposium in Graz, Austria, June 6-9, 1994
ISBN: 9783211825877 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Over the last few years, multimedia hardware and applications have become widely available in the personal computer and workstation environments, and multimedia is rapidly becoming an integral part of stand-alone, single-user sy stems. In contrast, the problems encountered when moving to open, distributed environments are only just beginning to be identified. Examples are the trans mission of dynamic data (video, sound) over large distances and cooperative work. Following on from two successful workshops on multimedia, EG-MM '94 concentrates on topics related to multimedia/hypermedia in open,...
Over the last few years, multimedia hardware and applications have become widely available in the personal computer and workstation environments, and ...
|
cena:
201,72 |
 |
Delta-4: A Generic Architecture for Dependable Distributed Computing
ISBN: 9783540549857 / Angielski / Miękka / 484 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-time systems. This book describes the design and validation of the distributed fault-tolerant architecture developed within this project. The key features of the Delta-4 architecture are: (a) a distributed object-oriented application support environment; (b) built-in support for user-transparent fault tolerance; (c) use of multicast or group communication protocols; and (d) use of standard off the-shelf processors and standard local area network...
Delta-4 is a 5-nation, 13-partner project that has been investigating the achievement of dependability in open distributed systems, including real-tim...
|
cena:
201,72 |
 |
Advances in Cryptology - Eurocrypt '92: Workshop on the Theory and Application of Cryptographic Techniques, Balatonfüred, Hungary, May 24-28, 1992 Pro
ISBN: 9783540564133 / Angielski / Miękka / 491 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A series of workshops devoted to modern cryptography began in Santa Barbara, California in 1981 and was followed in 1982 by a European counterpart in Burg Feuerstein, Germany. The series has been maintained with summer meetings in Santa Barbara and spring meetings somewhere in Europe. At the 1983 meeting in Santa Barbara the International Association for Cryptologic Research was launched and it now sponsors all the meetings of the series. This volume presents the proceedings of Eurocrypt '92, held in Hungary. The papers are organized into the following parts: Secret sharing, Hash functions,...
A series of workshops devoted to modern cryptography began in Santa Barbara, California in 1981 and was followed in 1982 by a European counterpart in ...
|
cena:
201,72 |
 |
ISDN Am Computer
ISBN: 9783540627838 / Niemiecki / Miękka / 185 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Das digitale Kommunikationsnetz ISDN ist bereits den Kinderschuhen entwachsen und und findet regen Zuspruch. Dies bringt auch eine Reihe von Fragen mit sich, vor allem nach Einsatzmoglichkeiten und Kompatibilitat. Der Autor gibt einen Uberblick uber die ISDN-Technik im Teilnehmerbereich, beschreibt die Komponenten und ihre Schnittstellen und gibt Hinweise zur Prufung der Kompatibilitat. Des weiteren werden die Moglichkeiten der Nutzung eines ISDN-Anschlusses am PC erlautert. Dabei werden die Besonderheiten der verschiedenen Betriebssysteme verglichen und CAPI als wichtigste ISDN-Schnittstelle...
Das digitale Kommunikationsnetz ISDN ist bereits den Kinderschuhen entwachsen und und findet regen Zuspruch. Dies bringt auch eine Reihe von Fragen mi...
|
cena:
188,36 |
 |
Large-Scale Scientific Computing: 7th International Conference, LSSC 2009, Sozopol, Bulgaria, June 4-8, 2009 Revised Papers
ISBN: 9783642125348 / Angielski / Miękka / 839 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Large-Scale Scientific Computations, LSSC 2009, held in Sozopol, Bulgaria, in June 2009. The 93 revised full papers presented together with 5 plenary and invited papers were carefully reviewed and selected from numerous submissions for inclusion in the book. The papers are organized in topical sections on multilevel and multiscale preconditioning methods multilevel and multiscale methods for industrial applications, environmental modeling, control and uncertain systems, application...
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Large-Scale Scientific Computations, ...
|
cena:
403,47 |
 |
Bioinspired Models of Network, Information, and Computing Systems: 4th International Conference, BIONETICS 2009, Avignon, France, December 9-11, 2009,
ISBN: 9783642128073 / Angielski / Miękka / 203 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume of LNICST is a collection of the papers of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing Systems (Bionetics). The event took place in the medieval city of Avignon, known also as the City of the Popes, during December 9 to 11, 2009. Bionetics main objective is to bring b- inspired paradigms into computer engineereing and networking, and to enhance the fruitful interactions between these fields and biology. The program of the conference indeed includes applications of various paradigms that have their origin in biology: population...
This volume of LNICST is a collection of the papers of the 4th International Conference on Bio-Inspired Models of Network, Information, and Computing ...
|
cena:
201,72 |
 |
Post-Quantum Cryptography: Third International Workshop, Pqcrypto 2010, Darmstadt, Germany, May 25-28, 2010, Proceedings
ISBN: 9783642129285 / Angielski / Miękka / 241 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The recent development of quantum computing and quantum algorithmics has raised important questions in cryptography. With Shor s algorithm (Peter W. Shor, Polynomial-TimeAlgorithms for Prime Factorization and Discrete Lo- rithmsonaQuantumComputer, SIAMJ.Sci.Statist.Comput.41(2):303-332, 1999)thecollapseofsomeofthemostwidelyusedtechniquesfor securingdigital communications has become a possibility. In consequence, the everlasting duty of the cryptographic research community to keep an eye on alternative te- niques has become an urgent necessity. Post-quantum cryptography was born. Its primary...
The recent development of quantum computing and quantum algorithmics has raised important questions in cryptography. With Shor s algorithm (Peter W. S...
|
cena:
201,72 |
 |
GI — 19. Jahrestagung I: Computergestützter Arbeitsplatz München, 18.–20. Oktober 1989 Proceedings
ISBN: 9783540518211 / Niemiecki / Miękka / 717 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die in den vergangenen Jahren ausserordentlich gesteigerte Leistungsfahigkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik fur ihre Vernetzung erschliessen sinnvolle Anwendungsmoglichkeiten fur immer weitere und umfangreichere Arbeitsbereiche. Die 19. Jahrestagung der GI greift wichtige Fragen hierzu auf und setzt sich mit einer Fulle von Einzelthemen auseinander. Dabei wendet sie sich gleichermassen an Entwickler, Anwender, Wissenschaftler und Studenten."
Die in den vergangenen Jahren ausserordentlich gesteigerte Leistungsfahigkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik fur ih...
|
cena:
207,36 |
 |
GI — 19. Jahrestagung II: Computergestützter Arbeitsplatz München, 18.–20. Oktober 1989
ISBN: 9783540518228 / Niemiecki / Miękka / 719 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Die in den vergangenen Jahren au erordentlich gesteigerte Leistungsf higkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik f r ihre Vernetzung erschlie en sinnvolle Anwendungsm glichkeiten f r immer weitere und umfangreichere Arbeitsbereiche. Die 19. Jahrestagung der GI greift wichtige Fragen hierzu auf und setzt sich mit einer F lle von Einzelthemen auseinander. Dabei wendet sie sich gleicherma en an Entwickler, Anwender, Wissenschaftler und Studenten.
Die in den vergangenen Jahren au erordentlich gesteigerte Leistungsf higkeit sowohl der Arbeitsplatzrechner als auch der Kommunikationstechnik f r ihr...
|
cena:
207,36 |
 |
Fehlertoleranz in verteilten Realzeitsystemen: Anwendungsorientierte Techniken
ISBN: 9783540523314 / Niemiecki / Miękka / 200 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. In diesem Buch werden Fehlertoleranztechniken in rekonfigurierbaren verteilten Systemen zur Prozessautomatisierung in einer geschlossenen Form dargestellt. Neben grundlegenden Fragen zu verteilten Systemen und Prozessrechensystemen, wodurch die Randbedingungen implizit festgelegt sind, werden die in der englischen Fachliteratur oft widerspruchlichen Begriffe aus dem Gebiet der Fehlertoleranztechnik systematisch geordnet und erlautert und ein konsistentes deutsches Basisbegriffsgebaude vorgestellt. Wissenschaftlich besonders reizvoll ist der Versuch, aus der Analyse biologischer Systeme...
In diesem Buch werden Fehlertoleranztechniken in rekonfigurierbaren verteilten Systemen zur Prozessautomatisierung in einer geschlossenen Form dargest...
|
cena:
207,36 |
 |
Multicast-Kommunikation in verteilten Systemen
ISBN: 9783540525516 / Niemiecki / Miękka / 191 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Der Datenaustausch zwischen Prozessen uber das Versenden von Nachrichten spielt in verteilten Systemen eine zentrale Rolle. Als Erganzung zu den bekannten Formen der 1:1-Kommunikation werden in diesem Buch 1: n-Kommunikationen (Multicasts) untersucht und umfassend dargestellt, bei denen mit einer einzigen Botschaft mehrere Prozesse erreicht werden konnen. Der Multicast kann als allgemeine Kommunikationsform aufgefasst werden, von der Broadcast und Unicast Spezialfalle sind. Nach einer Ubersicht uber die vielfaltigen Anwendungsgebiete von Multicasts werden die besonderen Schwierigkeiten dieser...
Der Datenaustausch zwischen Prozessen uber das Versenden von Nachrichten spielt in verteilten Systemen eine zentrale Rolle. Als Erganzung zu den bekan...
|
cena:
207,36 |
 |
Grid and Cooperative Computing: Second International Workshop, Gcc 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part II
ISBN: 9783540219934 / Angielski / Miękka / 1078 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Grid and cooperative computing has emerged as a new frontier of information tech- logy. It aims to share and coordinate distributed and heterogeneous network resources forbetterperformanceandfunctionalitythatcanotherwisenotbeachieved.Thisvolume contains the papers presented at the 2nd International Workshop on Grid and Coope- tive Computing, GCC 2003, which was held in Shanghai, P.R. China, during December 7 10, 2003. GCC is designed to serve as a forum to present current and future work as well as to exchange research ideas among researchers, developers, practitioners, and...
Grid and cooperative computing has emerged as a new frontier of information tech- logy. It aims to share and coordinate distributed and heterogeneous ...
|
cena:
403,47 |
 |
Advances in Cryptology -- Crypto '92: 12th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 16-20, 1992. Proceedings
ISBN: 9783540573401 / Angielski / Miękka / 593 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Crypto'92 took place on August 16-20, 1992. It was the twelfth in the series of annual cryptology conferences held on the beautiful campus of the University of California, Santa Barbara. Once again, it was sponsored by the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy. The conference ran smoothly, due to the diligent efforts of the g- eral chair, Spyros Magliveras of the University of Nebraska. One of the measures of the success of this series of conferences is represented by the ever increasing...
Crypto'92 took place on August 16-20, 1992. It was the twelfth in the series of annual cryptology conferences held on the beautiful campus of the Univ...
|
cena:
201,72 |
 |
Advances in Cryptology -- Crypto '93: 13th Annual International Cryptology Conference Santa Barbara, California, USA August 22-26, 1993 Proceedings
ISBN: 9783540577669 / Angielski / Miękka / 491 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The CRYPTO '93 conference was sponsored by the International Association for Cryptologic Research (IACR) and Bell-Northern Research (a subsidiary of Northern Telecom), in co-operation with the IEEE Computer Society Technical Committee. It took place at the University of California, Santa Barbara, from August 22-26, 1993. This was the thirteenth annual CRYPTO conference, all of which have been held at UCSB. The conference was very enjoyable and ran very of the General Chair, Paul Van Oorschot. smoothly, largely due to the efforts It was a pleasure working with Paul throughout the months...
The CRYPTO '93 conference was sponsored by the International Association for Cryptologic Research (IACR) and Bell-Northern Research (a subsidiary of N...
|
cena:
201,72 |
 |
Advances in Cryptology -- Crypto '94: 14th Annual International Cryptology Conference, Santa Barbara, California, Usa, August 21-25, 1994. Proceedings
ISBN: 9783540583332 / Angielski / Miękka / 438 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The CRYPTO '94 conference is sponsored by the International Association for Cryptologic Research (IACR), in co-operation with the IEEE Computer Society Technical Committee on Security and Privacy. It has taken place at the Univ- sity of California, Santa Barbara, from August 21-25,1994. This is the fourteenth annual CRYPTO conference, all of which have been held at UCSB. This is the first time that proceedings are available at the conference. The General Chair, Jimmy R. Upton has been responsible for local organization, registration, etc. There were 114 submitted papers which were considered...
The CRYPTO '94 conference is sponsored by the International Association for Cryptologic Research (IACR), in co-operation with the IEEE Computer Societ...
|
cena:
201,72 |
 |
Systems Engineering for Busine
ISBN: 9781852333997 / Angielski / Twarda / 383 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up to investigate the relationships between Legacy IT Systems and Business Processes. The papers contained in this volume report the results from the projects funded by the programme, which ran between 1997 and 2001. An earlier volume, published in 2000, reported interim results. Bringing together researchers from diverse backgrounds in Computer Science, Information Systems, Engineering and Business Schools, this book explores the problems...
Systems Engineering for Business Process Change: New Directions is a collection of papers resulting from an EPSRC managed research programme set up t...
|
cena:
475,45 |
 |
Mobile Agents and Security
ISBN: 9783540647928 / Angielski / Miękka / 272 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. New paradigms can popularize old technologies. A new standalone" paradigm, the electronic desktop, popularized the personal computer. A new connected" paradigm, the web browser, popularized the Internet. Another new paradigm, the mobile agent, may further popularize the Internet by giving people greater access to it with less eort. MobileAgentParadigm The mobile agent paradigm integrates a network of computers in a novel way designed to simplify the development of network applications. To an application developer the computers appear to form an electronic world of places occupied by agents....
New paradigms can popularize old technologies. A new standalone" paradigm, the electronic desktop, popularized the personal computer. A new connected"...
|
cena:
201,72 |
 |
Scheduling in Distributed Computing Systems: Analysis, Design and Models
ISBN: 9781441945037 / Angielski / Miękka / 300 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Although the models in this book are designed for distributed systems, the same information is applicable for any type of system (i.e., where distributed processing is required). Scheduling in Distributed Computing Systems: Analysis, Design and Models will dramatically improve the design and management of the processes for industry professionals. This book deals exclusively with the scheduling aspect, which finds little space in other... Scheduling in Distributed Computing Systems: Analysis, Design and Models intends to inculcate the innovative ideas for the scheduling aspect. Altho... |
cena:
605,23 |
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
