Search Results - "systems analysis"
Suggested Topics within your search.
Suggested Topics within your search.
- Systems analysis & design 68
- Software Engineering 26
- Artificial intelligence 23
- Mathematical theory of computation 23
- Computer science 20
- Information technology: general issues 20
- Network hardware 16
- Algorithms & data structures 12
- Expert systems / knowledge-based systems 12
- Computer architecture & logic design 10
- Computer programming / software development 10
- History of engineering & technology 10
- Technology: general issues 9
- Information retrieval 8
- Computer modelling & simulation 6
- Computer networking & communications 6
- Computer security 6
- Operating systems 6
- Research & information: general 6
- Software testing & verification 6
- User interface design & usability 6
- Computer vision 4
- Programming & scripting languages: general 4
- Environmental economics 3
- Games development & programming 3
- Circuits & components 2
- Coding theory & cryptology 2
- Communications engineering / telecommunications 2
- Computing & information technology 2
- Data capture & analysis 2
-
41
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 -
42
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 -
43
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 -
44
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 -
45
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 -
46
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 -
47
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 -
48
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 -
49
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 -
50
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 -
51
Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...
Published 2019Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
52
Internet of Things. Information Processing in an Increasingly Connected World First IFIP International Cross-Domain Conference, IFIPIoT 2018, Held at the 24th IFIP World Computer C...
Published 2019Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
53
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
54
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
55
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
56
Fundamental Approaches to Software Engineering 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...
Published 2020Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
57
Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405
Published 2020Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
58
Software for Exascale Computing - SPPEXA 2016-2019
Published 2020Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
59
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
Published 2023Subjects: “…Systems analysis & design bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
60
Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers
Published 2023Subjects: “…Systems analysis & design bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter