Cargando…

Tests and proofs: 8th international conference, TAP 2014, held as part of STAF 2014, York, UK, July 24-25, 2014, proceedings

Detalles Bibliográficos
Autores principales:	Seidl, Martina, Tillmann, Nikolai
Lenguaje:	eng
Publicado:	Springer International Publishing AG 2014
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/2761262

Ejemplares similares

Theory and practice of model transformations: 7th international conference, ICMT 2014, held as part of STAF 2014, York, UK, July 21-22, 2014, proceedings
por: Di Ruscio, Davide, et al.
Publicado: (2014)

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)

Games and learning alliance: third international conference, GALA 2014, Bucharest, Romania, July 2-4, 2014, revised selected papers
por: De Gloria, Alessandro
Publicado: (2015)

Artificial intelligence: 16th international conference, AIMSA 2014, Varna, Bulgaria, September 11-13, 2014, proceedings
por: Agre, Gennady, et al.
Publicado: (2014)

Secure IT systems: 19th nordic conference, NordSec 2014, Tromsø, Norway, October 15-17, 2014, proceedings
por: Bernsmed, Karin, et al.
Publicado: (2014)

Autodesk Inventor 2014 and Inventor LT 2014: essentials
por: Tremblay, Thom
Publicado: (2013)

Software engineering for resilient systems: 6th international workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014 proceedings
por: Majzik, István, et al.
Publicado: (2014)

Technologies and applications of artificial intelligence: 19th international conference, TAAI 2014, Taipei, Taiwan, November 21-23, 2014, proceedings
por: Cheng, Shin-Ming, et al.
Publicado: (2014)

Information technology in bio- and medical informatics: 5th international conference, ITBAM 2014, Munich, Germany, September 2, 2014 proceedings
por: Bursa, Miroslav, et al.
Publicado: (2015)

Search-based software engineering: 6th international symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, proceedings
por: Le Goues, Claire, et al.
Publicado: (2014)

Intelligent virtual agents: 14th international conference, IVA 2014, Boston, MA, USA, August 27-29, 2014, proceedings
por: Bickmore, Timothy, et al.
Publicado: (2014)

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Mastering Autodesk Inventor 2014 and Autodesk Inventor LT 2014
por: Waguespack, Curtis
Publicado: (2013)

Mastering AutoCAD 2014 and AutoCAD LT 2014
por: Omura, George, et al.
Publicado: (2013)

Agent technology for intelligent mobile services and smart societies: workshop on collaborative agents, research and development, CARE 2014, and workshop on agents, virtual societies and analytics, AVSA 2014, held as part of AAMAS 2014, Paris, France, May 5-9, 2014 revised selected papers
por: Koch, Fernando, et al.
Publicado: (2015)

Advances in swarm intelligence: 5th international conference, ICSI 2014, Hefei, China, October 17-20, 2014, proceedings, part II
por: Tan, Ying, et al.
Publicado: (2014)

Nordic contributions in IS research: 5th Scandinavian conference on information systems, SCIS 2014, Ringsted, Denmark, August 10-13, 2014, proceedings
por: Commisso, Trine Hald, et al.
Publicado: (2014)

Product-focused software process improvement: 15th international conference, PROFES 2014, Helsinki, Finland, December 10-12, 2014, proceedings
por: Jedlitschka, Andreas, et al.
Publicado: (2014)

Quicken 2014 for dummies
por: Nelson, Stephen L
Publicado: (2014)

RoboCUP 2014
por: Bianchi, Reinaldo A C, et al.
Publicado: (2015)

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

Advances in visual computing: 10th international symposium, ISVC 2014, Las Vegas, NV, USA, December 8-10, 2014, proceedings, part II
por: Bebis, George, et al.
Publicado: (2014)

Safe and secure cities: 5th international conference on well-being in the information society, WIS 2014, Turku, Finland, August 18-20, 2014 proceedings
por: Saranto, Kaija, et al.
Publicado: (2014)

Financial cryptography and data security: FC 2014 workshops, Bitcoin and WAHC 2014, Christ Church, Barbados, March 7, 2014, revised selected papers
por: Böhme, Rainer, et al.
Publicado: (2014)

Quicken 2014: the official guide
por: Sandberg, Bobbi
Publicado: (2014)

QuickBooks 2014: the guide
por: Capachietti, Leslie
Publicado: (2014)

CERN School of Computing 2014
por: Voulgaridis, Antonis
Publicado: (2014)

SketchUp 2014 for dummies
por: Chopra, Aidan
Publicado: (2014)

QuickBooks 2014 for dummies
por: Nelson, Stephen L
Publicado: (2013)

Introducing Autodesk Maya 2014
por: Derakhshani, Dariush
Publicado: (2013)

AutoCAD 2014 essentials
por: Onstott, Scott
Publicado: (2013)

Autodesk Maya 2014 essentials
por: Naas, Paul
Publicado: (2013)

Mastering Autodesk Maya 2014
por: Palamar, Todd
Publicado: (2013)

QuickBooks 2014 in depth
por: Madeira, Laura
Publicado: (2014)

QuickBooks 2014 on demand
por: Long, Michelle, et al.
Publicado: (2014)

Economics of grids, clouds, systems, and services: 11th international conference, GECON 2014, Cardiff, UK, September 16-18, 2014 revised selected papers
por: Altmann, Jö, et al.
Publicado: (2015)

2014 – a Watershed Year for DPHEP
por: Shiers, J D
Publicado: (2015)

Adobe Illustrator CC : 2014 release
por: Wood, Brian
Publicado: (2015)

Professional SQL server 2014 administration
por: Jorgensen, Adam, et al.
Publicado: (2014)

Adobe Dreamweaver CC : 2014 release
por: Maivald, James J
Publicado: (2015)

Cannot write session to /tmp/vufind_sessions/sess_a2mfrko6g3u23metp6dali0nf1