SULJE VALIKKO

avaa valikko

Teruo Higashino | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 9 tuotetta
Haluatko tarkentaa hakukriteerejä?



Principles of Distributed Systems - 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised S
Teruo Higashino
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-1
Teruo Higashino; Yoshiaki Katayama; Toshimitsu Masuzawa; Maria Potop-Butucaru; Masafumi Yamashita
Springer International Publishing AG (2013)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97
Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Chapman and Hall (1997)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Pr
Kedar Namjoshi; Tomohiro Yoneda; Teruo Higashino; Yoshio Okamura
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Testing of Software and Communicating Systems - 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International W
Kenji Suzuki; Teruo Higashino; Andreas Ulrich; Toru Hasegawa
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Techniques for Networked and Distributed Systems – FORTE 2008 - 28th IFIP WG 6.1 International Conference Tokyo, Japan, J
Kenji Suzuki; Teruo Higashino; Keiichi Yasumoto; Khaled El-Fakih
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Protocol Test Systems - 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Chapman and Hall (1995)
Kovakantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Formal Description Techniques and Protocol Specification, Testing and Verification - FORTE X / PSTV XVII ’97
Atsushi Togashi; Tadanori Mizuno; Norio Shiratori; Teruo Higashino
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Protocol Test Systems - 7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Tadanori Mizuno; Teruo Higashino; Norio Shiratori
Springer-Verlag New York Inc. (2013)
Pehmeäkantinen kirja
129,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Principles of Distributed Systems - 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised S
49,60 €
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 472 sivua
Asu: Pehmeäkantinen kirja
Painos: 2005
Julkaisuvuosi: 2005, 20.07.2005 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues
The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15-17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant - mospheres. The earlier organizationsof OPODIS were held in Luzarches(1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002) and La Martinique (2003). OPODIS is an open forum for exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Followingthetraditionofthepreviousorganizations,the2004programwasc- posed of high-quality contributed and invited papers by experts of international caliberinthisscienti?carea. Thetopics ofinterestwerethetheory,speci?cation, design and implementation of distributed systems, which include: - peer-to-peer systems, cluster and grid-based computing - fault tolerance and self-stabilizing systems -real-timeandembeddedsystems - coordination and consistency protocols - distributed and multiprocessor algorithms - communication and synchronization protocols - self-stabilization, reliability and fault tolerance - performance analysis of distributed algorithms and systems - speci?
cation and veri?cation of distributed systems - security issues in distributed computing and systems - distributed collaborative environments - location- and context-aware systems - overlay network architectures In response to the call for papers for OPODIS 2004, in total 102 papers in the above areas were submitted from 28 countries from over the world. Each paper was reviewed by three reviewers, and judged according to scienti?c and presentationquality,originality andrelevance to the conference topics. Then the ProgramCommitteeselected30papers. Theacceptanceratiowaslessthan30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Principles of Distributed Systems - 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Szoom
Näytä kaikki tuotetiedot
ISBN:
9783540273240
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste