Search Results - "algorithms"
Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 354
- Technology: general issues 267
- Research & information: general 184
- Artificial intelligence 161
- Computer science 141
- Algorithms & data structures 119
- Information technology industries 85
- Software Engineering 81
- Media studies 69
- Computer networking & communications 58
- Mathematics & science 54
- Machine learning 51
- Mathematics 44
- Artificial Intelligence 39
- Medicine 39
- Data mining 38
- Physics 38
- Computer programming / software development 36
- Applied mathematics 33
- Biology, life sciences 33
- Computer modelling & simulation 32
- Environmental science, engineering & technology 31
- Mathematical theory of computation 31
- Information technology: general issues 30
- Computer networks 29
- Mechanical engineering & materials 29
- Mathematical physics 28
- Probability & statistics 28
- Numerical analysis 27
- Software engineering 27
-
121
-
122
-
123
-
124
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, Part III
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
125
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: “…Algorithms & data structures bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
126
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 I
Published 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
127
-
128
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Published 2020Subjects: “…Algorithms & data structures bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
129
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Published 2020Subjects: “…Algorithms & data structures bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
130
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
Published 2021Subjects: “…Algorithms & data structures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
131
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Published 2021Subjects: “…Algorithms & data structures…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
132
System- and Data-Driven Methods and Algorithms
Published 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
133
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: “…Algorithms & data structures bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
134
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 II
Published 2022Subjects: “…Algorithms & data structures bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
135
Design of Heuristic Algorithms for Hard Optimization With Python Codes for the Travelling Salesman Problem
Published 2023Subjects: “…Algorithms…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
136
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
137
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
Published 2023OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
138
-
139
-
140