Search Results - "systems analysis"
Suggested Topics within your search.
Suggested Topics within your search.
- Systems analysis & design 68
- Software Engineering 27
- Artificial intelligence 23
- Mathematical theory of computation 23
- Computer science 21
- Information technology: general issues 21
- History of engineering & technology 16
- Network hardware 16
- Technology: general issues 16
- Algorithms & data structures 12
- Expert systems / knowledge-based systems 12
- Computer architecture & logic design 10
- Computer programming / software development 10
- Information retrieval 8
- Computer modelling & simulation 7
- Research & information: general 7
- Computer networking & communications 6
- Computer security 6
- Operating systems 6
- Software testing & verification 6
- User interface design & usability 6
- Computer vision 4
- Databases 4
- Environmental economics 4
- Programming & scripting languages: general 4
- Public health & preventive medicine 4
- Sociology 4
- Electrical engineering 3
- Games development & programming 3
- Technology, engineering, agriculture 3
-
101
Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Cze...
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
102
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
103
High-Performance Modelling and Simulation for Big Data Applications Selected Results of the COST Action IC1406 cHiPSet
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
104
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
105
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
106
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
107
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020
Published 2020Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
108
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021
Published 2021Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
109
Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023
Published 2023Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
110
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
111
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
112
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
113
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
114
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice o...
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
115
Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
116
Mathematical Aspects of Logic Programming Semantics
Published 2011Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
117
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
118
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
119
Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
120
Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019,...
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter