Cargando…

Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, proceedings

Detalles Bibliográficos
Autores principales:	Gallardo, María del Mar, Merino, Pedro
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2761447

Ejemplares similares

Computer networks: 25th international conference, CN 2018, Gliwice, Poland, June 19-22, 2018, proceedings
por: Gaj, Piotr, et al.
Publicado: (2018)

Hybrid artificial intelligent systems: 13th international conference, HAIS 2018, Oviedo, Spain, June 20-22, 2018, proceedings
por: de Cos Juez, Francisco Javier, et al.
Publicado: (2018)

Advances in neural networks - ISNN 2018: 15th international symposium on neural networks, ISNN 2018, Minsk, Belarus, June 25-28, 2018, proceedings
por: Huang, Tingwen, et al.
Publicado: (2018)

Smart cities: first international conference, Smart-CT 2016, Málaga, Spain, June 15-17, 2016, proceedings
por: Alba, Enrique, et al.
Publicado: (2016)

Cyber security cryptography and machine learning: second international symposium, CSCML 2018, Beer Sheva, Israel, June 21-22, 2018, proceedings
por: Dinur, Itai, et al.
Publicado: (2018)

Reliable software technologies - ADA-Europe 2018: 23rd ADA-Europe international conference on reliable software technologies, Lisbon, Portugal, June 18-22, 2018, proceedings
por: Casimiro, António, et al.
Publicado: (2018)

Model checking software: 22nd international symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, proceedings
por: Fischer, Bernd, et al.
Publicado: (2015)

Highlights from the 2018 WIN Symposium, 25–26 June 2018, Paris: designing the future of precision oncology
por: Davies, Will
Publicado: (2018)

Advances in practical applications of agents, multi-agent systems, and complexity: 16th international conference, PAAMS 2018, Toledo, Spain, June 20-22, 2018, proceedings
por: Demazeau, Yves, et al.
Publicado: (2018)

Software architecture: 12th European conference on software architecture, ECSA 2018, Madrid, Spain, September 24-28, 2018, proceedings
por: Cuesta, Carlos E, et al.
Publicado: (2018)

Data mining and big data: third international conference, DMBD 2018, Shanghai, China, June 17-22, 2018, proceedings
por: Tan, Ying, et al.
Publicado: (2018)

Computational topology in image context: 7th international workshop, CTIC 2019, Málaga, Spain, January 24-25, 2019, proceedings
por: Marfil, Rebeca, et al.
Publicado: (2018)

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

Web services - ICWS 2018: 25th international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Jin, Hai, et al.
Publicado: (2018)

Wireless algorithms, systems, and applications: 13th international conference, WASA 2018, Tianjin, China, June 20-22, 2018, proceedings
por: Chellappan, Sriram, et al.
Publicado: (2018)

Software engineering and formal methods: 16th international conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018, proceedings
por: Johnsen, Einar Broch, et al.
Publicado: (2018)

Graph drawing and network visualization: 26th international symposium, GD 2018, Barcelona, Spain, September 26-28, 2018, proceedings
por: Biedl, Therese, et al.
Publicado: (2018)

Unconventional computation and natural computation: 17th international conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, proceedings
por: Stepney, Susan, et al.
Publicado: (2018)

Herbarium of the University of Malaga (Spain): Vascular Plants Collection
por: García-Sánchez, José, et al.
Publicado: (2013)

Málaga /
por: Rodríguez Spiteri, Carlos, 1911-
Publicado: (1962)

Conceptual modeling: 37th international conference, ER 2018, Xi'an, China, October 22-25, 2018, proceedings
por: Trujillo, Juan C, et al.
Publicado: (2018)

New opportunities for software reuse: 17th international conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, proceedings
por: Capilla, Rafael, et al.
Publicado: (2018)

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

Search-based software engineering: 10th international symposium, SSBSE 2018, Montpellier, France, September 8-9, 2018, proceedings
por: Colanzi, Thelma Elita, et al.
Publicado: (2018)

Iutam symposium on model order reduction of coupled systems, Stuttgart, Germany, May 22-25 2018: MORCOS 2018
por: Fehr, Jörg, et al.
Publicado: (2019)

Advances in swarm intelligence: 9th international conference, ICSI 2018, Shanghai, China, June 17-22, 2018, proceedings, part I
por: Tan, Ying, et al.
Publicado: (2018)

Model checking software: 26th international symposium, SPIN 2019, Beijing, China, July 15-16, 2019, proceedings
por: Biondi, Fabrizio, et al.
Publicado: (2019)

Cognitive computing - ICCC 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Xiao, Jing, et al.
Publicado: (2018)

Internet of things - ICIOT 2018: third international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Georgakopoulos, Dimitrios, et al.
Publicado: (2018)

Edge computing - EDGE 2018: second international conference, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Liu, Shijun, et al.
Publicado: (2018)

Services - SERVICES 2018: 14th world congress, held as part of the services conference federation, SCF 2018, Seattle, WA, USA, June 25-30, 2018, proceedings
por: Yang, Alvin, et al.
Publicado: (2018)

String processing and information retrieval: 25th international symposium, SPIRE 2018, Lima, Peru, October 9-11, 2018, proceedings
por: Gagie, Travis, et al.
Publicado: (2018)

Graph-based representation and reasoning: 23rd international conference on conceptual structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, proceedings
por: Chapman, Peter, et al.
Publicado: (2018)

Computer science - theory and applications: 13th international computer science symposium in Russia, CSR 2018, Moscow, Russia, June 6-10, 2018, proceedings
por: Fomin, Fedor V, et al.
Publicado: (2018)

Proceedings of the 2018 course on beam instrumentation for particle accelerators, Tuusula, Finland, 2–15 June 2018
por: Schmickler, Hermann, et al.
Publicado: (2020)

Formal methods: 22nd international symposium, FM 2018, held as part of the federated logic conference, FLOC 2018, Oxford, UK, July 15-17, 2018, proceedings
por: Havelund, Klaus, et al.
Publicado: (2018)

On the Climate of Malaga
por: Pinkerton, Archibald Wm.
Publicado: (1853)

Decision support systems VIII: 4th international conference, ICDSST 2018, Heraklion, Greece, May 22-25, 2018, proceedings
por: Dargam, Fatima, et al.
Publicado: (2018)

Artificial general intelligence: 11th international conference, AGI 2018, Prague, Czech Republic, August 22-25, 2018, proceedings
por: Iklé, Matthew, et al.
Publicado: (2018)

Dependable software engineering theories, tools, and applications: 4th international symposium, SETTA 2018, Beijing, China, September 4-6, 2018, proceedings
por: Feng, Xinyu, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_cg4cq4f0aoglqvb87lc7kaesf6