Search Results - "software"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 281
- Computer science 153
- Artificial intelligence 152
- Software engineering 96
- Computer programming / software development 91
- Computer networking & communications 85
- History of engineering & technology 81
- Technology: general issues 78
- Application software 75
- Computer and Information Systems Applications 75
- Computer networks 68
- Information technology: general issues 52
- Algorithms & data structures 50
- Artificial Intelligence 47
- Mathematical theory of computation 46
- Research & information: general 45
- Systems analysis & design 44
- Business mathematics & systems 43
- Mathematics 42
- Management 41
- Computer Communication Networks 40
- Computer modelling & simulation 39
- Electronics engineering 38
- Media studies 38
- Computer Engineering and Networks 35
- Computer engineering 35
- Network hardware 34
- Expert systems / knowledge-based systems 33
- Computing & information technology 28
- Education 28
-
1601
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Published 2019Subjects: “…Computer programming / software development bicssc…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
1602
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 of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Published 2019Subjects: “…Computer programming / software development bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1603
-
1604
-
1605
-
1606
-
1607
-
1608
-
1609
-
1610
-
1611
-
1612
-
1613
-
1614
Chapter Digi Skills Bsc - Revising Graphic Literacy in Bsc Architectural Design Education through a Software-Based Pedagogic Approach. A Shared Pilot Experience at the Politecnico di Milano
Published 2022OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
1615
-
1616
-
1617
-
1618
-
1619
-
1620
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I /
Published 2022Subjects: “…Software engineering.…”
Link to Metadata
Electronic eBook