Cargando…

Dynamic logic new trends and applications: first international workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, proceedings

Detalles Bibliográficos
Autores principales:	Madeira, Alexandre, Benevides, Mário
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2018
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2761217

Ejemplares similares

DNA computing and molecular programming: 23rd international conference, DNA 23, Austin, TX, USA, September 24-28, 2017, proceedings
por: Brijder, Robert, et al.
Publicado: (2017)

Computer performance engineering: 14th European workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, proceedings
por: Reinecke, Philipp, et al.
Publicado: (2017)

Machine learning in medical imaging: 8th international workshop, MLMI 2017, held in conjunction with MICCAI 2017, Quebec City, QC, Canada, September 10, 2017, proceedings
por: Wang, Qian, et al.
Publicado: (2017)

Advances in information and computer security: 12th international workshop on security, IWSEC 2017, Hiroshima, Japan, August 30 - September 1, 2017, proceedings
por: Obana, Satoshi, et al.
Publicado: (2017)

Model-based safety and assessment: 5th international symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, proceedings
por: Bozzano, Marco, et al.
Publicado: (2017)

Discrete geometry for computer imagery: 20th IAPR international conference, DGCI 2017, Vienna, Austria, September 19 - 21, 2017, proceedings
por: Kropatsch, Walter G, et al.
Publicado: (2017)

Research in attacks, intrusions, and defenses: 20th international symposium, RAID 2017, Atlanta, GA, USA, September 18-20, 2017, proceedings
por: Dacier, Marc, et al.
Publicado: (2017)

Combinatorial image analysis: 18th international workshop, IWCIA 2017, Plovdiv, Bulgaria, June 19-21, 2017, proceedings
por: Brimkov, Valentin E, et al.
Publicado: (2017)

Comparative genomics: 15th international workshop, RECOMB CG 2017, Barcelona, Spain, October 4-6, 2017, proceedings
por: Meidanis, Joao, et al.
Publicado: (2017)

Trends and applications in knowledge discovery and data mining: PAKDD 2017 workshops, MLSDA, BDM, DM-BPM Jeju, South Korea, May 23, 2017, revised selected papers
por: Kang, U, et al.
Publicado: (2017)

Image and video technology: PSIVT 2017 international workshops, Wuhan, China, November 20-24, 2017, revised selected papers
por: Satoh, Shin'ichi
Publicado: (2018)

Decision and game theory for security: 8th international conference, GameSec 2017, Vienna, Austria, October 23-25, 2017, proceedings
por: Rass, Stefan, et al.
Publicado: (2017)

Invenio User Group Workshop 2017
Publicado: (2017)

Advances in production management systems the path to intelligent, collaborative and sustainable manufacturing: IFIP WG 5. 7 international conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, proceedings, part II
por: Lödding, Hermann, et al.
Publicado: (2017)

Topics in cryptology - CT-RSA 2017: the cryptographers' track at the RSA conference 2017, San Francisco, CA, USA, February 14-17, 2017, proceedings
por: Handschuh, Helena
Publicado: (2017)

Mathematics and computing: third international conference, ICMC 2017, Haldia, iIndia, January 17-21, 2017, proceedings
por: Giri, Debasis, et al.
Publicado: (2017)

Number-theoretic methods in cryptology: first international conference, NUTMIC 2017, Warsaw, Poland, September 11-13, 2017, revised selected papers
por: Kaczorowski, Jerzy, et al.
Publicado: (2018)

Workshop on Logics of Programs
por: Clarke, Edmund, et al.
Publicado: (1984)

Pattern recognition and machine intelligence: 7th international conference, PREMI 2017, Kolkata, India, December 5-8, 2017, proceedings
por: Shankar, B Uma, et al.
Publicado: (2017)

Passive and active measurement: 18th international conference, PAM 2017, Sydney, NSW, Australia, March 30-31, 2017, proceedings
por: Kaafar, Mohamed Ali, et al.
Publicado: (2017)

Multimedia communications, services and security: 9th international conference, MCSS 2017, Kraków, Poland, November 16-17, 2017, proceedings
por: Dziech, Andrzej, et al.
Publicado: (2017)

Mathematical aspects of computer and information sciences: 7th international conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, proceedings
por: Blömer, Johannes, et al.
Publicado: (2017)

Engineering psychology and cognitive ergonomics: 14th international conference, EPCE 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Harris, Don
Publicado: (2017)

Web information systems engineering - WISE 2017: 18th international conference, Puschino, Russia, October 7-11, 2017, proceedings, part II
por: Bouguettaya, Athman, et al.
Publicado: (2017)

Learning and collaboration technologies technology in education: 4th international conference, LCT 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part II
por: Zaphiris, Panayiotis, et al.
Publicado: (2017)

Learning and collaboration technologies novel learning ecosystems: 4th international conference, LCT 2017, held as part of HCI international 2017, Vancouver, BC, Canada, July 9-14, 2017, proceedings, part I
por: Zaphiris, Panayiotis, et al.
Publicado: (2017)

New frontiers in quantitative methods in informatics: 7th workshop, INFQ 2017, Venice, Italy, December 4, 2017, revised selected papers
por: Balsamo, Simonetta, et al.
Publicado: (2018)

Informatics in schools: 10th international conference on informatics in schools situation, evolution, and perspectives, ISSEP 2017, Helsinki, Finland, November 13-15, 2017, proceedings
por: Dagienė, Valentina, et al.
Publicado: (2017)

HEPiX Fall 2017 Workshop at KEK, Tsukuba, Japan - Trip Report
por: Belleman, Jerome
Publicado: (2017)

Software technologies: 12th international joint conference, ICSOFT 2017, Madrid, Spain, July 24-26, 2017, revised selected papers
por: Cabello, Enrique, et al.
Publicado: (2018)

Computational logistics: 6th international conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, proceedings
por: Corman, Francesco, et al.
Publicado: (2015)

HEPiX Fall 2017 Workshop at KEK, Tsukuba, Japan - Sponsor Sessions Report
por: Belleman, Jerome
Publicado: (2017)

Logic, rationality, and interaction: 5th international workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 proceedings
por: van der Hoek, Wiebe, et al.
Publicado: (2015)

Mastering AutoCAD 2017 and AutoCAD LT 2017
por: Omura, George, et al.
Publicado: (2016)

AutoCAD 2017 and AutoCAD LT 2017 essentials
por: Onstott, Scott
Publicado: (2016)

Inductive logic programming: 24th international conference, ILP 2014, Nancy, France, September 14-16, 2014, revised selected papers
por: Davis, Jesse, et al.
Publicado: (2015)

BEA WebLogic Workshop: kick start
por: Weber, Joe, et al.
Publicado: (2003)

HEPiX Spring 2017 Workshop at the Hungarian Academy of Sciences, Budapest, Hungary - Trip Report
por: Belleman, Jerome
Publicado: (2017)

Collaboration and technology: 24th international conference, CRIWG 2018, Costa de Caparica, Portugal, September 5-7, 2018, proceedings
por: Rodrigues, Armanda, et al.
Publicado: (2018)

Computer network security: 7th international conference on mathematical methods, models, and architectures for computer network security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, proceedings
por: Rak, Jacek, et al.
Publicado: (2017)

Cannot write session to /tmp/vufind_sessions/sess_hmgv8raf9ljnc9al5bi7retrlc