Cargando…

Stabilization, safety, and security of distributed systems: 20th international symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Izumi, Taisuke, Kuznetsov, Petr
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757061

Ejemplares similares

Knowledge and systems sciences: 19th international symposium, KSS 2018, Tokyo, Japan, November 25-27, 2018, proceedings
por: Chen, Jian, et al.
Publicado: (2018)

PRIMA 2018: 21st international conference, Tokyo, Japan, October 29-November 2, 2018, proceedings
por: Miller, Tim, et al.
Publicado: (2018)

Information security practice and experience: 14th international conference, ISPEC 2018, Tokyo, Japan, September 25-27, 2018, proceedings
por: Su, Chunhua, et al.
Publicado: (2018)

Stabilization, safety, and security of distributed systems: 19th international symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, proceedings
por: Spirakis, Paul, et al.
Publicado: (2017)

Internet and distributed computing systems: 11th international conference, IDCS 2018, Tokyo, Japan, October 11-13, 2018, proceedings
por: Xiang, Yang, et al.
Publicado: (2018)

Security standardisation research: 4th international conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018, proceedings
por: Cremers, Cas, et al.
Publicado: (2018)

Applications and techniques in information security: 9th international conference, ATIS 2018, Nanning, China, November 9-11, 2018, proceedings
por: Chen, Qingfeng, et al.
Publicado: (2018)

Advances in visual computing: 13th international symposium, ISVC 2018, Las Vegas, NV, USA, November 19 - 21, 2018, proceedings
por: Bebis, George, et al.
Publicado: (2018)

INTERNATIONAL SYMPOSIUM ON RADIOPHARMACEUTICAL THERAPY HELSINKI, 18-20 NOVEMBER 2018
Publicado: (2019)

Developments in language theory: 22nd international conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, proceedings
por: Hoshi, Mizuho, et al.
Publicado: (2018)

Data integration in the life sciences: 13th international conference, DILS 2018, Hannover, Germany, November 20-21, 2018, proceedings
por: Auer, Sören, et al.
Publicado: (2018)

Advances in information and computer security: 13th international workshop on security, IWSEC 2018, Sendai, Japan, September 3-5, 2018, proceedings
por: Inomata, Atsuo, et al.
Publicado: (2018)

Stabilization, safety, and security of distributed systems: 16th international symposium, SSS 2014, Paderborn, Germany, September 28 - October 1, 2014 proceedings
por: Felber, Pascal, et al.
Publicado: (2014)

Functional and logic programming: 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018, proceedings
por: Gallagher, John P, et al.
Publicado: (2018)

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings
por: Gallardo, María del Mar, et al.
Publicado: (2018)

Information and communications security: 20th international conference, ICICS 2018, Lille, France, October 29-31, 2018, proceedings
por: Naccache, David, et al.
Publicado: (2018)

Multi-disciplinary trends in artificial intelligence: 12th international conference, MIWAI 2018, Hanoi, Vietnam, November 18-20, 2018, proceedings
por: Kaenampornpan, Manasawee, et al.
Publicado: (2018)

Foundations and practice of security: 11th international symposium, FPS 2018, Montreal, QC, Canada, November 13-15, 2018, revised selected papers
por: Zincir-Heywood, Nur, et al.
Publicado: (2019)

Future data and security engineering: 5th international conference, FDSE 2018, Ho Chi Minh City, Vietnam, November 28-30, 2018, proceedings
por: Dang, Tran Khanh, et al.
Publicado: (2018)

Technologies and innovation: 4th international conference, CITI 2018, Guayaquil, Ecuador, November 6-9, 2018, proceedings
por: Valencia-García, Rafael, et al.
Publicado: (2018)

Telematics and computing: 7th international congress, WITCOM 2018, Mazatlán, Mexico, November 5-9, 2018, proceedings
por: Mata-Rivera, Miguel Felix, et al.
Publicado: (2018)

Runtime verification: 18th international conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, proceedings
por: Colombo, Christian, et al.
Publicado: (2018)

Stabilization, safety, and security of distributed systems: 21st international symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, proceedings
por: Ghaffari, Mohsen, et al.
Publicado: (2019)

Leveraging applications of formal methods, verification and validation modeling: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part I
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation verification: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part II
por: Margaria, Tiziana, et al.
Publicado: (2018)

Network and parallel computing: 15th IFIP WG 10. 3 international conference, NPC 2018, Muroran, Japan, November 29 - December 1, 2018, proceedings
por: Zhang, Feng, et al.
Publicado: (2018)

Service-oriented computing: 16th international conference, ICSOC 2018, Hangzhou, China, November 12-15, 2018, proceedings
por: Pahl, Claus, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation distributed systems: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part III
por: Margaria, Tiziana, et al.
Publicado: (2018)

Leveraging applications of formal methods, verification and validation industrial practice: 8th international symposium, ISOLA 2018, Limassol, Cyprus, November 5-9, 2018, proceedings, part IV
por: Margaria, Tiziana, et al.
Publicado: (2018)

Computer security: 23rd European symposium on research in computer security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, proceedings, part II
por: Lopez, Javier, et al.
Publicado: (2018)

Computer security: 23rd European symposium on research in computer security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, proceedings, part I
por: Lopez, Javier, et al.
Publicado: (2018)

Maturity and innovation in digital libraries: 20th international conference on Asia-Pacific digital libraries, ICADL 2018, Hamilton, New Zealand, November 19-22, 2018, proceedings
por: Dobreva, Milena, et al.
Publicado: (2018)

Advances in information and computer security: 14th international workshop on security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, proceedings
por: Attrapadung, Nuttapong, et al.
Publicado: (2019)

Advances in information and computer security: 11th international workshop on security, IWSEC 2016, Tokyo, Japan, September 12-14, 2016, proceedings
por: Ogawa, Kazuto, et al.
Publicado: (2016)

Static analysis: 25th international symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, proceedings
por: Podelski, Andreas
Publicado: (2018)

Latin 2018: 13th Latin American symposium, Buenos Aires, Argentina, April 16-19, 2018, proceedings
por: Bender, Michael A, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part II
por: Beimel, Amos, et al.
Publicado: (2018)

Theory of cryptography: 16th international conference, TCC 2018, Panaji, India, November 11-14, 2018, proceedings, part I
por: Beimel, Amos, et al.
Publicado: (2018)

The great debate at “Immunotherapy Bridge 2018”, Naples, November 29th, 2018
por: Ascierto, Paolo A., et al.
Publicado: (2019)

Artificial intelligence: 16th Russian conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, proceedings
por: Kuznetsov, Sergei O, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_mit5vj0c9ic56548mcpq91de7k