Cargando…

Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings

Detalles Bibliográficos
Autores principales:	Hinze, Ralf, Voigtländer, Janis
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2015
Materias:	XX
Acceso en línea:	http://cds.cern.ch/record/2756853

Ejemplares similares

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

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

Ad-hoc, mobile, and wireless networks: 14th international conference, ADHOC-NOW 2015, Athens, Greece, June 29 - July 1, 2015, proceedings
por: Papavassiliou, Symeon, 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)

Intelligent computer mathematics: international conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, proceedings
por: Kerber, Manfred, et al.
Publicado: (2015)

Advances in data mining: 15th industrial conference, ICDM 2015, Hamburg, Germany, July 11-24, 2015 proceedings
por: Perner, Petra
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)

Mathematics of program construction: 13th international conference, MPC 2019, Porto, Portugal, October 7-9, 2019, proceedings
por: Hutton, Graham
Publicado: (2019)

Computer networks: 22nd international conference, CN 2015, Brunów, Poland, June 16-19, 2015 proceedings
por: Gaj, Piotr, et al.
Publicado: (2015)

Image analysis: 19th Scandinavian conference, SCIA 2015, Copenhagen, Denmark, June 15-17, 2015 proceedings
por: Paulsen, Rasmus R, et al.
Publicado: (2015)

Entertainment computing - ICEC 2015: 14th international conference, ICEC 2015, Trondheim, Norway, September 29 - October 2, 2015, proceedings
por: Chorianopoulos, Konstantinos, et al.
Publicado: (2015)

Computer vision systems: 10th international conference, ICVS 2015, Copenhagen, Denmark, July 6-9, 2015, proceedings
por: Nalpantidis, Lazaros, et al.
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)

FM 2015: 20th international symposium, Oslo, Norway, June 24-26, 2015, proceedings
por: Bjørner, Nikolaj, et al.
Publicado: (2015)

Pattern recognition: 7th Mexican conference, MCPR 2015, Mexico City, Mexico, June 24-27, 2015, proceedings
por: Carrasco-Ochoa, Jesús Ariel, et al.
Publicado: (2015)

Pattern recognition: third Mexican conference, MCPR 2011, Cancun, Mexico, June 29 - July 2, 2011 proceedings
por: Martínez-Trinidad, José Francisco, et al.
Publicado: (2011)

Natural language processing and information systems: 20th international conference on applications of natural language to information systems, NLDB 2015, Passau, Germany, June 17-19, 2015, proceedings
por: Biemann, Chris, et al.
Publicado: (2015)

MPC construction techniques
Publicado: (1971)

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

KI 2015: 38th annual German conference on AI, Dresden, Germany, September 21-25, 2015, proceedings
por: Hölldobler, Steffen, et al.
Publicado: (2015)

Combinatorics on words: 10th international conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, proceedings
por: Manea, Florin, et al.
Publicado: (2015)

Web-age information management: 16th international conference, WAIM 2015, Qingdao, China, June 8-10, 2015 proceedings
por: Dong, Xin Luna, et al.
Publicado: (2015)

Hybrid artificial intelligent systems: 10th international conference, HAIS 2015, Bilbao, Spain, June 22-24, 2015, proceedings
por: Onieva, Enrique, 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)

iBridge Berlin 2015, City Cube Convention Center, Berlin, Germany, 4–6 June 2015
por: Sarrafzadeh, Omid, et al.
Publicado: (2016)

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)

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)

40-June 2015
Publicado: (2015)

In this issue (June 2015)
Publicado: (2015)

In the June 2015 issue
por: Nitrini, Ricardo
Publicado: (2015)

Beyond databases, architectures and structures: 11th international conference, BDAS 2015, Ustroń, Poland, May 26-29, 2015, proceedings
por: Mrozek, Dariusz, et al.
Publicado: (2015)

Enterprise interoperability: 6th international IFIP working conference, IWEI 2015, Nîmes, France, May 28-29, 2015, proceedings
por: van Sinderen, Marten, et al.
Publicado: (2015)

Requirements engineering: 21st international working conference, REFSQ 2015, Essen, Germany, march 23-26, 2015 proceedings
por: Fricker, Samuel A, et al.
Publicado: (2015)

Engineering the web in the big data era: 15th international conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, proceedings
por: Cimiano, Philipp, et al.
Publicado: (2015)

Proceedings of the 7th Biannual International Symposium on Nasopharyngeal Carcinoma 2015: Yogyakarta, Indonesia. 4-6 June 2015
por: Tan, IB, et al.
Publicado: (2016)

Enterprise, business-process and information systems modeling: 16th international conference, BPMDS 2015, 20th international conference, EMMSAD 2015, held at CAISE 2015, Stockholm, Sweden, June 8-9, 2015, proceedings
por: Gaaloul, Khaled, et al.
Publicado: (2015)

Algorithms and discrete applied mathematics: first international conference, CALDAM 2015, Kanpur, India, February 8-10, 2015 proceedings
por: Ganguly, Sumit, et al.
Publicado: (2015)

Friday 24 July 2015
Publicado: (2015)

Saturday 25 July 2015
Publicado: (2015)

Sunday 26 July 2015
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_cup6vu7la63j2v5a75e686511n