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
-
681
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 2020Link to Metadata
Electronic eBook -
682
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 2020Link to Metadata
Electronic eBook -
683
Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 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 /
Published 2021Link to Metadata
Electronic eBook -
684
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 2022Link to Metadata
Electronic eBook -
685
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 2022Link to Metadata
Electronic eBook -
686
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 2023, Paris, France, April 22-27, 2023, Proceedings, Part II /
Published 2023Link to Metadata
Electronic eBook -
687
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 2023, Paris, France, April 22-27, 2023, Proceedings, Part I /
Published 2023Link to Metadata
Electronic eBook -
688
-
689
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
Published 2018Link to Metadata
Electronic eBook -
690
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
Published 2018Link to Metadata
Electronic eBook -
691
-
692
-
693
Le problème d'arithmétique dans la culture primaire : entre conception d'un modèle d'apprentissage et enjeux éducatifs et sociaux d'une formation mathématique, quelques étapes dans la trajectoire d'un objet emblématique d'une culture scolaire
Published 2009Connect to this object online.
Book -
694
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 2019Link to Metadata
Electronic eBook -
695
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 2019Link to Metadata
Electronic eBook -
696
-
697
-
698
-
699
PENGARUH PENERAPAN MODEL PEMBELAJARAN KOLABORATIF TEKNIK THINK-ALOUD PAIR PROBLEM SOLVING (TAPPS) DAN TEKNIK GROUP INVESTIGATION TERHADAP KEMAMPUAN BERPIKIR ANALISIS (Studi Kuasi Eksperimen pada Mata Pelajaran Ekonomi Materi Pajak Di SMA Negeri 10 Bandung Tahun Ajaran 2017/2018)
Published 2018Link Metadata
Book -
700
Avaliação da realização e do registro da Sistematização da Assistência de enfermagem (SAE) em um hospital universitário Evalución de la realización y registro de las etapas de la sistematizacion de la atención de enfermeria en un hospital universitário Evaluation of nursing care systematization through the phases of nursing process performance and registration in a teaching hospital
Published 2005Connect to this object online.
Book