Materias dentro de su búsqueda.
Mostrando 1 - 20 Resultados de 48 Para Buscar 'Application software.', tiempo de consulta: 0.06s Limitar resultados
1
Dependable Software Engineering. Theories, Tools, and Applications : Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
2
Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Application software....”
eBook
3
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Conversation and Games -- Ramsey Theory on Trees and Applications -- Automata, Logic and Games...”
eBook
4
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
Enlace del recurso
eBook
5
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part I /
Publicado 2017
Materias: “...Application software....”
eBook
6
Database and Expert Systems Applications : 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Application software....”
eBook
7
Numerical Software Verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Verified Computations using Taylor Models and Their Applications -- Introduction to the IEEE 1788...”
eBook
8
Concise Guide to Formal Methods : Theory, Fundamentals and Industry Applications /
por O'Regan, Gerard.
Publicado 2017
Tabla de Contenidos: “...Software Engineering -- Software Reliability and Dependability -- Overview of Formal Methods...”
eBook
9
Multi-Agent Systems and Agreement Technologies 14th European Conference, EUMAS 2016, and 4th International Conference, AT 2016, Valencia, Spain, December 15-16, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...agent and multi-agent system models -- algorithms -- applications -- simulations -- theoretical...”
Enlace del recurso
eBook
10
Rules and Reasoning : International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Opening the Black Box: Deriving Rules from Data -- The secret life of rules in Software Engineering...”
eBook
11
On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II /
Publicado 2017
Materias: “...Application software....”
Enlace del recurso
eBook
12
Interoperability and Open-Source Solutions for the Internet of Things Second International Workshop, InterOSS-IoT 2016, Held in Conjunction with IoT 2016, Stuttgart, Germany, November 7, 2016, Invited Papers /
Publicado 2017
Tabla de Contenidos: “... and security.-Platform performance and applications....”
Enlace del recurso
eBook
13
On the Move to Meaningful Internet Systems: OTM 2016 Workshops : Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24–28, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... -- International Workshop on Methods, Evaluation, Tools and Applications for the Creation and Consumption...”
eBook
14
OWL: Experiences and Directions – Reasoner Evaluation : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “...Reuse methods in ontology engineering practices and software engineering -- Reuse practices...”
eBook
15
Frontiers of Combining Systems : 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings /
Publicado 2017
Materias: “...Application software....”
eBook
16
Ingredients for Successful System Level Design Methodology /
Materias: “...Software engineering....”
eBook
17
Language, Data, and Knowledge First International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...Language data -- Knowledge graphs -- Applications in NLP -- Use cases in digital humanities, social...”
Enlace del recurso
eBook
18
Scalable Uncertainty Management : 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings /
Publicado 2017
Materias: “...Application software....”
eBook
19
Model-Based Safety and Assessment : 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings /
Publicado 2017
Materias: “...Software engineering....”
eBook
20
PRIMA 2017: Principles and Practice of Multi-Agent Systems : 20th International Conference, Nice, France, October 30 – November 3, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... in Multiagent Systems -- Applications of Agents and Multiagent Systems -- Cooperation and Negotiation...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda