Materias dentro de su búsqueda.
Mostrando 1 - 19 Resultados de 19 Para Buscar 'Software Engineering/Programming and Operating Systems.', tiempo de consulta: 0.10s Limitar resultados
1
Models of Computation
por Bruni, Roberto., Montanari, Ugo.
Publicado 2017
Tabla de Contenidos: “...Preliminaries -- Operational Semantics of IMP -- Induction and Recursion -- Partial Orders...”
Enlace del recurso
eBook
2
Process Algebras for Petri Nets : The Alphabetization of Distributed Systems /
por Gorrieri, Roberto.
Publicado 2017
Tabla de Contenidos: “...Introduction -- Transition Systems -- Petri Nets -- The Basic Calculus: SFM -- Adding Asynchronous...”
eBook
3
Practical Salesforce.com Development Without Code : Customizing Salesforce on the Force.com Platform /
por Weinmeister, Philip.
Publicado 2015
Materias: “...Software Engineering/Programming and Operating Systems....”
eBook
4
Running Mainframe z on Distributed Platforms : How to Create Robust Cost-Efficient Multiplatform z Environments /
por Barrett, Kenneth., Norris, Stephen.
Publicado 2014
Materias: “...Software Engineering/Programming and Operating Systems....”
eBook
5
Descriptional Complexity of Formal Systems : 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... and Operations - Two non-Classical Cases -- Applications of Transducers in Independent Languages, Word Distances...”
eBook
6
Essence of Systems Analysis and Design A Workbook Approach /
por Sajja, Priti Srinivas.
Publicado 2017
Tabla de Contenidos: “... -- Chapter 5. Computer Assisted Tools for Software Development -- Chapter 6. Systems Design -- Chapter 7...”
Enlace del recurso
eBook
7
Risks and Security of Internet and Systems : 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Stateful Firewall for Software Defined Networking -- Protocol Reverse Engineering: Challenges...”
eBook
8
Tools and Algorithms for the Construction and Analysis of Systems : 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
Publicado 2017
Tabla de Contenidos: “...Invited Talk -- Validation, Synthesis and Optimization for Cyber-Physical Systems -- Verification...”
eBook
9
The Semantic Web – ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II /
Publicado 2017
Tabla de Contenidos: “... Nations System Document Ontology -- One year of the OpenCitations Corpus - Releasing RDF-based scholarly...”
eBook
10
The Semantic Web – ISWC 2017 : 16th International Semantic Web Conference, Vienna, Austria, October 21–25, 2017, Proceedings, Part I /
Publicado 2017
Tabla de Contenidos: “... Engine -- Mining Hypotheses from Data in OWL: Advanced Evaluation and Complete Construction -- Semantic...”
eBook
11
Structured Object-Oriented Formal Language and Method : 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Control System -- A Case Study of a GUI-Aided Approach to Constructing Formal Specifications -- Formal...”
eBook
12
Financial Cryptography and Data Security : 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers /
Publicado 2017
Materias: “...Software Engineering/Programming and Operating Systems....”
eBook
13
Towards Integrative Machine Learning and Knowledge Extraction : BIRS Workshop, Banff, AB, Canada, July 24-26, 2015, Revised Selected Papers /
Publicado 2017
Tabla de Contenidos: “... Extraction in Digital Pathology needs an integrative approach -- Comparison of Public-Domain Software...”
eBook
14
Designing the Digital Transformation : 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 – June 1, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “...: An Empirical Evidence of Coronary Heart Disease Prevention Program among Working Adults. - Empathic Avatars...”
eBook
15
Progress in Artificial Intelligence : 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal, September 5-8, 2017, Proceedings /
Publicado 2017
Materias: “...Software Engineering/Programming and Operating Systems....”
eBook
16
High Performance Computing for Computational Science – VECPAR 2016 : 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers /
Publicado 2017
Materias: “...Software Engineering/Programming and Operating Systems....”
eBook
17
Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... in Literature and Practical Experience. -Software Requirements Engineering in Digital Healthcare: A Case Study...”
Enlace del recurso
eBook
18
Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /
Publicado 2017
Materias: “...Software Engineering/Programming and Operating Systems....”
eBook
19
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings /
Publicado 2017
Tabla de Contenidos: “... of Railway Operations -- Safety Analysis of a CBTC System: A Rigorous Approach with Event-B -- B-PERFect...”
eBook
Herramientas de búsqueda: RSS — Enviar por Correo electrónico esta Búsqueda