Cargando…

Perspectives of system informatics: 12th international Andrei P. Ershov informatics conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019, revised selected papers

Detalles Bibliográficos
Autores principales:	Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2019
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2760465

Ejemplares similares

Computer science - theory and applications: 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1-5, 2019, proceedings
por: van Bevern, René, et al.
Publicado: (2019)

Notable Papers and Trends from 2019 in Sensors, Signals, and Imaging Informatics
por: Hsu, William, et al.
Publicado: (2020)

Los hermanos Ershov /
por: Kochetov, Vsevolod Anisimovich, 1912-1973
Publicado: (1960)

Algebraic informatics: 8th international conference, CAI 2019, Nis, Serbia, June 30-july 4, 2019, proceedings
por: Ćirić, Miroslav, et al.
Publicado: (2019)

Detector KEDR, Novosibirsk, Russia
por: Baldin, Evgueni M
Publicado: (1997)

Advanced informatics for computing research: third international conference, ICAICR 2019, Shimla, India, June 15-16, 2019, revised selected papers, part II
por: Luhach, Ashish Kumar, et al.
Publicado: (2019)

Informatics in schools new ideas in school informatics: 12th international conference on informatics in schools situation, evolution, and perspectives, ISSEP 2019, Larnaca, Cyprus, November 18-20, 2019, proceedings
por: Pozdniakov, Sergei N, et al.
Publicado: (2019)

Cognitive informatics and soft computing: proceeding of CISC 2019
por: Mallick, Pradeep Kumar, et al.
Publicado: (2020)

Contributions from the 2019 Literature on Bioinformatics and Translational Informatics
por: Smaïl-Tabbone, Malika, et al.
Publicado: (2020)

Advances in visual informatics: 6th international visual informatics conference, IVIC 2019, Bangi, Malaysia, November 19-21, 2019, proceedings
por: Badioze Zaman, Halimah, et al.
Publicado: (2019)

Analysis of images, social networks and texts: 8th international conference, AIST 2019, Kazan, Russia, July 17-19, 2019, revised selected papers
por: van der Aalst, Wil M P, et al.
Publicado: (2020)

Analysis of images, social networks and texts: 8th international conference, AIST 2019, Kazan, Russia, July 17-19, 2019, revised selected papers
por: van der Aalst, Wil M P, et al.
Publicado: (2019)

Mathematical optimization theory and operations research: 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8 - 12, 2019, revised selected papers
por: Bykadorov, Igor, et al.
Publicado: (2019)

Classifying equivalence relations in the Ershov hierarchy
por: Bazhenov, Nikolay, et al.
Publicado: (2020)

17th International Conference on Informatics, Management and Technology in Health Care, Athens, Greece, 5-7 July, 2019
por: Masic, Izet
Publicado: (2019)

Proceedings of the international conference on advanced intelligent systems and informatics 2019
por: Hassanien, Aboul Ella, et al.
Publicado: (2019)

Cancer Informatics in 2019: Deep Learning Takes Center Stage
por: Warner, Jeremy L., et al.
Publicado: (2020)

Digital health: selected papers from the 27th Australian National Health Informatics Conference (HIC 2019)
por: Cummings, E, et al.
Publicado: (2019)

2021 Bioinformatics and Translational Informatics Best Papers
por: Benton, Mary Lauren, et al.
Publicado: (2022)

Future trends in biomedical and health informatics and cybersecurity in medical devices: proceedings of the international conference on biomedical and health informatics, ICBHO 2019, 17-20 April 2019, Taipei, Taiwan
por: Lin, Kang-Ping, et al.
Publicado: (2019)

Advanced informatics for computing research: second international conference, ICAICR 2018, Shimla, India, July 14-15, 2018, revised selected papers, part II
por: Luhach, Ashish Kumar, et al.
Publicado: (2018)

Molecular genetic study of female cancers in Novosibirsk, Russia
por: Gulyaeva, Lyudmila F
Publicado: (2010)

Antibiotic Resistance and Pathogenomics of Staphylococci Circulating in Novosibirsk, Russia
por: Bardasheva, Alevtina, et al.
Publicado: (2021)

Nursing Informatics: Decades of Contribution to Health Informatics
por: Moen, Anne, et al.
Publicado: (2013)

Medical Informatics in Iran and the Emergence of Clinical Informatics
por: Sarafi Nejad, Afshin, et al.
Publicado: (2022)

MEDINFO 2019: proceedings of the 17th World Congress on Medical and Health Informatics
por: Ohno-Machado, L, et al.
Publicado: (2019)

Digital transformation and global society: 4th international conference, DTGS 2019, St. Petersburg, Russia, June 19-21, 2019, revised selected papers
por: Alexandrov, Daniel A, et al.
Publicado: (2020)

Applied informatics: second international conference, ICAI 2019, Madrid, Spain, November 7-9, 2019, proceedings
por: Florez, Hector, et al.
Publicado: (2019)

Artificial Intelligence in Primary Health Care: Perceptions, Issues, and Challenges: Primary Health Care Informatics Working Group Contribution to the Yearbook of Medical Informatics 2019
por: Liyanage, Harshana, et al.
Publicado: (2019)

Cancer Informatics in the U.K.: The NCRI Informatics Initiative
por: Reddington, Fiona, et al.
Publicado: (2007)

Intelligent Informatics : Proceedings of the International Symposium on Intelligent Informatics
por: Abraham, Ajith, et al.
Publicado: (2013)

The Informatics Stack: A Heuristic Tool for Informatics Teaching
por: Lehmann, Harold
Publicado: (2017)

Supercomputing: 5th russian supercomputing days, RUSCDAYS 2019, Moscow, Russia, September 23-24, 2019, revised selected papers
por: Voevodin, Vladimir, et al.
Publicado: (2019)

How to approximate fuzzy sets: mind-changes and the Ershov Hierarchy
por: Bazhenov, Nikolay, et al.
Publicado: (2023)

The Most Influential Scientists in the Development of Medical Informatics (26): Barry Barber (1933-2019)
por: Masic, Izet
Publicado: (2020)

Notable Papers and New Directions in Sensors, Signals, and Imaging Informatics
por: Hsu, William, et al.
Publicado: (2021)

Vaccine Informatics
por: He, Yongqun, et al.
Publicado: (2010)

Informatics and Health
por: Purcarea, VL
Publicado: (2014)

Informatics as Science
por: Shortliffe, Edward H.
Publicado: (2022)

Brain informatics: 12th international conference, BI 2019, Haikou, China, December 13-15, 2019, proceedings
por: Liang, Peipeng, et al.
Publicado: (2019)

Cannot write session to /tmp/vufind_sessions/sess_1r3nd33e88qr4qndaipk5kaedl