Cargando…

Intelligent computer mathematics: international conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, proceedings

Detalles Bibliográficos
Autores principales:	Kerber, Manfred, Carette, Jacques, Kaliszyk, Cezary, Rabe, Florian, Sorge, Volker
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2757714

Ejemplares similares

Intelligent computer mathematics: 12th international conference, CICM 2019, Prague, Czech Republic, July 8-12, 2019, proceedings
por: Kaliszyk, Cezary, et al.
Publicado: (2019)

Intelligent computer mathematics: 11th international conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, proceedings
por: Rabe, Florian, et al.
Publicado: (2018)

Proceedings of the 8th Annual Conference on the Science of Dissemination and Implementation: Washington, DC, USA. 14-15 December 2015
por: Chambers, David, et al.
Publicado: (2016)

Abstracts from the Fourth International Meeting of ISEV, ISEV2015, Washington, D.C., USA, 23-26 April 2015
Publicado: (2015)

Conference on Retroviruses and Opportunistic Infections 2015: 23–26 February 2015, Seattle, Washington, USA
Publicado: (2015)

Social, cultural, and behavioral modeling: 11th international conference, SBP-BRIMS 2018, Washington, DC, USA, July 10-13, 2018, proceedings
por: Thomson, Robert, et al.
Publicado: (2018)

Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings
por: Hinze, Ralf, et al.
Publicado: (2015)

Advances in human factors in cybersecurity: proceedings of the AHFE 2019 international conference on human factors in cybersecurity, July 24-28, 2019, Washington D.C., USA
por: Ahram, Tareq, et al.
Publicado: (2019)

Computer vision systems: 10th international conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, proceedings
por: Nalpantidis, Lazaros, et al.
Publicado: (2015)

Computer aided verification: 27th international conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, proceedings, part II
por: Kroening, Daniel, et al.
Publicado: (2015)

Advances in human factors and systems interaction: proceedings of the AHFE 2019 international conference on human factors and systems interaction, July 24-28, 2019, Washington D.C., USA
por: Nunes, Isabel L
Publicado: (2019)

Symbolic and quantitative approaches to reasoning with uncertainty: 13th European conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015 proceedings
por: Destercke, Sébastien, et al.
Publicado: (2015)

Frontiers in algorithmics: 9th international workshop, FAW 2015, Guilin, China, July 3-5, 2015, proceedings
por: Wang, Jianxin, et al.
Publicado: (2015)

Advances in usability and user experience: proceedings of the AHFE 2019 international conferences on usability and user experience, and human factors and assistive technology, July 24-28, 2019, Washington D.C., USA
por: Ahram, Tareq, et al.
Publicado: (2019)

Practical aspects of declarative languages: 17th international symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015 proceedings
por: Pontelli, Enrico, et al.
Publicado: (2015)

Proceedings from the 11th Annual Conference on the Science of Dissemination and Implementation: Washington, DC, USA. 3-5 December 2018
Publicado: (2019)

Proceedings from the 9(th) annual conference on the science of dissemination and implementation: Washington, DC, USA. 14-15 December 2016
por: Chambers, David, et al.
Publicado: (2017)

Advances in data mining: 15th industrial conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 proceedings
por: Perner, Petra
Publicado: (2015)

Experimental algorithms: 14th international symposium, SEA 2015, Paris, France, June 29 - July 1, 2015, proceedings
por: Bampis, Evripidis
Publicado: (2015)

Friday 24 July 2015
Publicado: (2015)

Saturday 25 July 2015
Publicado: (2015)

Sunday 26 July 2015
Publicado: (2015)

Tests and proofs: 9th international conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 proceedings
por: Blanchette, Jasmin Christian, et al.
Publicado: (2015)

“Hot Topics in Neonatology; December 12-14, 1993, Washington DC, USA”
por: AI-Umran, Khalid
Publicado: (1995)

Computer science -- theory and applications: 10th international computer science symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, proceedings
por: Beklemishev, Lev D, et al.
Publicado: (2015)

Topics in cryptology - CT-RSA 2015: the cryptographer's track at the RSA conference 2015, San Francisco, CA, USA, April 20-24, 2015 proceedings
por: Nyberg, Kaisa
Publicado: (2015)

Washington D.C.
por: Vidal, Gore, 1925-2012
Publicado: (1968)

Washington D.C. /
por: Vidal, Gore, 1925-2012
Publicado: (1990)

Multiple classifier systems: 12th international workshop, MCS 2015, Günzburg, Germany, June 29 - July 1, 2015, proceedings
por: Schwenker, Friedhelm, et al.
Publicado: (2015)

Data science: 30th British international conference on databases, BICOD 2015, Edinburgh, UK, July 6-8, 2015, proceedings
por: Maneth, Sebastian
Publicado: (2015)

2015 Brainhack Proceedings
por: Craddock, R. Cameron, et al.
Publicado: (2016)

Bioinformatics research and applications: 11th international symposium, ISBRA 2015 Norfolk, USA, June 7-10, 2015 proceedings
por: Harrison, Robert, et al.
Publicado: (2015)

CERN Diversity Newsletter - July 2015
por: Kaltenhauser, Kristin, et al.
Publicado: (2015)

Comments on Statistical Issues in July 2015
por: Han, Kyung Do, et al.
Publicado: (2015)

High performance computing: 30th international conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015, proceedings
por: Kunkel, Julian M, et al.
Publicado: (2015)

Combinatorial pattern matching: 26th annual symposium, CPM 2015, Ischia Island, Italy, June 29 - July 1, 2015, proceedings
por: Cicalese, Ferdinando, et al.
Publicado: (2015)

Structural information and communication complexity: 22nd international colloquium, SIROCCO 2015, Montserrat, Spain, July 14-16, 2015 post-proceedings
por: Scheideler, Christian
Publicado: (2015)

Detection of intrusions and malware, and vulnerability assessment: 12th international conference, DIMVA 2015, Milan, Italy, July 9-10, 2015, proceedings
por: Almgren, Magnus, et al.
Publicado: (2015)

Verified software: 7th international conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015 revised selected papers
por: Gurfinkel, Arie, et al.
Publicado: (2016)

Algorithmic decision theory: 4th international conference, ADT 2015, Lexington, KY, USA, September 27-30, 2015, proceedings
por: Walsh, Toby
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_0bdlpovisprbpppoqemv0dfp1c