Search Results - NetApp~
Suggested Topics within your search.
Suggested Topics within your search.
- Computer science 76
- Biography & True Stories 57
- Software Engineering 49
- Artificial intelligence 29
- Computer programming / software development 24
- Algorithms & data structures 22
- Systems analysis & design 20
- Theory of Computation 20
- Software engineering 19
- Computer networking & communications 16
- Philosophy 16
- Programming & scripting languages: general 16
- Mathematical theory of computation 14
- Computer networks 12
- History of the Americas 12
- Computers 11
- European history 11
- Compilers (Computer programs) 10
- Compilers and Interpreters 10
- Computer Engineering and Networks 10
- Computer engineering 10
- Control Structures and Microprogramming 10
- History 10
- Information technology: general issues 10
- Microprogramming 10
- Electronic digital computers 8
- Evaluation 8
- System Performance and Evaluation 8
- linguistics 8
- Artificial Intelligence 7
-
641
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 2019OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
642
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 -
643
Stages of change in parents' discussions with their children about HIV/Aids prevention Etapas de cambios de los padres en las conversaciones con los hijos sobre la prevención de HIV/SIDA Estágios de mudança dos pais nas conversas com os filhos sobre prevenção HIV/AIDS
Published 2008Connect to this object online.
Book -
644
-
645
-
646
-
647
-
648
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 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
649
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 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
650
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 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
651
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 2021OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter -
652
-
653
De sectes en hérésies Étapes d'une réflexion sur la dissidence religieuse à travers les âges
Published 2018DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
654
-
655
-
656
-
657
-
658
-
659
-
660