Cargando…

Tools and methods of program analysis: 4th international conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, revised selected papers

Detalles Bibliográficos
Autores principales:	Itsykson, Vladimir, Scedrov, Andre, Zakharov, Victor
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2017
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756757

Ejemplares similares

Data analytics and management in data intensive domains: XIX international conference, DAMDID/RCDL 2017, Moscow, Russia, October 10-13, 2017, revised selected papers
por: Kalinichenko, Leonid, et al.
Publicado: (2018)

Distributed computer and communication networks: 20th international conference, DCCN 2017, Moscow, Russia, September 25-29, 2017, proceedings
por: Vishnevskiy, Vladimir M, et al.
Publicado: (2017)

Health information science: 6th international conference, HIS 2017, Moscow, Russia, October 7-9, 2017, proceedings
por: Siuly, Siuly, et al.
Publicado: (2017)

Supercomputing: 4th Russian supercomputing days, RuSCDays 2018, Moscow, Russia, September 24-25, 2018, revised selected papers
por: Voevodin, Vladimir, et al.
Publicado: (2019)

Distributed computer and communication networks: 18th international conference, DCCN 2015, Moscow, Russia, October 19-22, 2015, revised selected papers
por: Vishnevsky, Vladimir, et al.
Publicado: (2016)

Artificial intelligence and natural language: 6th conference, AINL 2017, St. Petersburg, Russia, September 20-23, 2017, revised selected papers
por: Filchenkov, Andrey, et al.
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)

Human centered computing: third international conference, HCC 2017, Kazan, Russia, August 7-9, 2017, revised selected papers
por: Zu, Qiaohong, et al.
Publicado: (2018)

Communication systems and networks: 9th international conference, COMSNETS 2017, Bengaluru, India, January 4-8, 2017, revised selected papers and invited papers
por: Sastry, Nishanth, et al.
Publicado: (2017)

Analysis of images, social networks and texts: 7th international conference, AIST 2018, Moscow, Russia, July 5-7, 2018, revised selected papers
por: van der Aalst, Wil M P, et al.
Publicado: (2018)

Convergent cognitive information technologies: third international conference, CONVERGENT 2018, Moscow, Russia, November 29 - December 2, 2018, revised selected papers
por: Sukhomlin, Vladimir, et al.
Publicado: (2020)

Distributed computer and communication networks: 22nd international conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, revised selected papers
por: Vishnevskiy, Vladimir M, et al.
Publicado: (2020)

Distributed computer and communication networks: 22nd international conference, DCCN 2019, Moscow, Russia, September 23-27, 2019, revised selected papers
por: Vishnevskiy, Vladimir M, et al.
Publicado: (2020)

Parallel computing technologies: 14th international conference, PACT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, proceedings
por: Malyshkin, Victor
Publicado: (2017)

4th Immunotherapy of Cancer Conference (ITOC4), March 20–22, 2017, Prague, Czech Republic
por: Le, Duc H.
Publicado: (2017)

Supercomputing: second Russian supercomputing days, RuSCDays 2016, Moscow, Russia, September 26-27, 2016, revised selected papers
por: Voevodin, Vladimir, et al.
Publicado: (2017)

Computer vision, imaging and computer graphics - theory and applications: 12th international joint conference, VISIGRAPP 2017, Porto, Portugal, February 27 - March 1, 2017, revised selected papers
por: Bechmann, Dominique, et al.
Publicado: (2019)

Critical infrastructure protection xi: 11th IFIP WG 11. 10 international conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, revised selected papers
por: Rice, Mason, et al.
Publicado: (2017)

Multi-agent systems and agreement technologies: 15th European conference, EUMAS 2017, and 5th international conference, AT 2017, Evry, France, December 14-15, 2017, revised selected papers
por: Belardinelli, Francesco, et al.
Publicado: (2018)

Data analytics and management in data intensive domains: 20th international conference, DAMDID/RCDL 2018, Moscow, Russia, October 9-12, 2018, revised selected papers
por: Manolopoulos, Yannis, et al.
Publicado: (2019)

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)

Security protocols XXV: 25th international workshop, Cambridge, UK, March 20-22, 2017, revised selected papers
por: Stajano, Frank, et al.
Publicado: (2017)

Agents and artificial intelligence: 9th international conference, ICAART 2017, Porto, Portugal, February 24-26, 2017, revised selected papers
por: van den Herik, Jaap, et al.
Publicado: (2018)

Enterprise information systems: 19th international conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, revised selected papers
por: Hammoudi, Slimane, et al.
Publicado: (2018)

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

Computer vision systems: 11th international conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, revised selected papers
por: Liu, Ming, et al.
Publicado: (2017)

Data science and analytics: 4th international conference on recent developments in science, engineering and technology, REDSET 2017, Gurgaon, India, October 13-14, 2017, revised selected papers
por: Panda, Brajendra, et al.
Publicado: (2018)

Data management technologies and applications: 6th international conference, DATA 2017, Madrid, Spain, July 24-26, 2017, revised selected papers
por: Filipe, Joaquim, et al.
Publicado: (2018)

Artificial evolution: 13th international conference, Évolution artificielle, EA 2017, Paris, France, October 25-27, 2017, revised selected papers
por: Lutton, Evelyne, et al.
Publicado: (2018)

Computational intelligence: 9th international joint conference, IJCCI 2017 Funchal-Madeira, Portugal, November 1-3, 2017 revised selected papers
por: Sabourin, Christophe, et al.
Publicado: (2019)

E-business and telecommunications: 14th international joint conference, ICETE 2017, Madrid, Spain, July 24-26, 2017, revised selected paper
por: Obaidat, Mohammad S, et al.
Publicado: (2019)

Applications and usability of interactive television: 6th Iberoamerican conference, JAUTI 2017, Aveiro, Portugal, October 12-13, 2017, revised selected papers
por: Abásolo, María José, et al.
Publicado: (2018)

Image and graphics: 9th international conference, ICIG 2017, Shanghai, China, September 13-15, 2017, revised selected papers, part III
por: Zhao, Yao, et al.
Publicado: (2017)

Cloud computing and service science: 7th international conference, CLOSER 2017, Porto, Portugal, April 24-26, 2017, revised selected papers
por: Ferguson, Donald, et al.
Publicado: (2018)

Risks and security of internet and systems: 12th international conference, CRISIS 2017, Dinard, France, September 19-21, 2017, revised selected papers
por: Cuppens, Nora, et al.
Publicado: (2018)

S5.4c Isolation of keratinophilic fungi of the genus Microsporum from the soils of Moscow, Russia
por: Manoyan, Marina, et al.
Publicado: (2022)

XXXI-th International Workshop on High Energy Physics “Critical points in the modern particle physics”, July 5-7, 2017, Protvino, Moscow region, Russia.
Publicado: (2017)

Theory and applications of formal argumentation: 4th international workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, revised selected papers
por: Black, Elizabeth, et al.
Publicado: (2018)

WALCOM: 11th international conference and workshops, WALCOM 2017, Hsinchu, Taiwan, March 29-31, 2017, proceedings
por: Poon, Sheung-Hung, et al.
Publicado: (2017)

Mobile ad-hoc and sensor networks: 13th international conference, MSN 2017, Beijing, China, December 17-20, 2017, revised selected papers
por: Zhu, Liehuang, et al.
Publicado: (2018)

Cannot write session to /tmp/vufind_sessions/sess_b9o06lobh9587fud9g8ie5idsi