Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Aufsatzsammlung 9 [ausschließen]
- Formal methods (Computer science) 7 [ausschließen]
- Hardwareverifikation 7 [ausschließen]
- LSI 7 [ausschließen]
- System-on-Chip 7 [ausschließen]
- Indien 6 [ausschließen]
- Integrated circuits Verification 6 [ausschließen]
- Systems on a chip Testing 6 [ausschließen]
- Konferenzschrift 5 [ausschließen]
- Künstliche Intelligenz 4 [ausschließen]
- Maschinelles Lernen 4 [ausschließen]
- Integrated circuits / Verification 3 [ausschließen]
- Archäologie 2 [ausschließen]
- Biotechnology 2 [ausschließen]
- Computersicherheit 2 [ausschließen]
- Datenbanksystem 2 [ausschließen]
- Erneuerbare Energien 2 [ausschließen]
- Informatik 2 [ausschließen]
- Information Retrieval 2 [ausschließen]
- Internet der Dinge 2 [ausschließen]
- Kultur 2 [ausschließen]
- Kunst 2 [ausschließen]
- Mathematische Logik 2 [ausschließen]
- Optimierung 2 [ausschließen]
- Abfrageverarbeitung 1 [ausschließen]
- Academic theses 1 [ausschließen]
- Agents intelligents (Logiciels) - Congrès 1 [ausschließen]
- Agricultural engineering Congresses 1 [ausschließen]
- Agricultural engineering India Congresses 1 [ausschließen]
- Agricultural resources Congresses 1 [ausschließen]
-
1
Logic and its applications 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
Veröffentlicht 2017
VolltextElektronisch Tagungsbericht E-Book -
2
Verification techniques for system-level design
Veröffentlicht 2008FAW01
FAW02
Volltext
Elektronisch E-Book -
3
-
4
-
5
Verification techniques for system-level design
Veröffentlicht 2008lizenzfrei
Publisher description
Buch -
6
-
7
-
8
Verification techniques for system-level design
Veröffentlicht 2008FLA01
URL des Erstveröffentlichers
Elektronisch E-Book -
9
Plant responses to soil pollution
Veröffentlicht 2020BTU01
FFW01
HTW01
UBW01
URL des Erstveröffentlichers
Elektronisch E-Book -
10
Verification techniques for system-level design
Veröffentlicht 2008lizenzpflichtig
Elektronisch E-Book -
11
Logic and its applications 7th Indian conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
Veröffentlicht 2017Tagungsbericht Buch -
12
-
13
Art, archaeology and cultural history of India U. N. Roy felicitation volume
Veröffentlicht 2006Buch -
14
Art, archaeology and cultural history of India U. N. Roy felicitation volume
Veröffentlicht 2006Buch -
15
-
16
Sociology of South Asia postcolonial legacies, global imaginaries
Veröffentlicht 2022Inhaltsverzeichnis
Inhaltsverzeichnis
Buch -
17
-
18
Reading Sri Aurobindo metaphysics, ethics and spirituality
Veröffentlicht 2022Inhaltsangabe: “… Chapter 15: Environmental Consciousness and Aurobindo: Learnings for the present Dr. Sujata Roy Abhijat -- Chapter 16: Spiritualistic Ecologism in the evolutionary ideologies of Sri Aurobindo Saji Varghese. …”
Buch -
19
Proceedings of the 2021 SIAM Conference on Applied and Computational Discrete Algorithms (ACDA21)
Veröffentlicht 2021Inhaltsangabe: “… Carlos Martínez Mori and Samitha Samaranayake …”
TUM01
UBW01
UBY01
UER01
URL des Erstveröffentlichers
Elektronisch E-Book -
20
Proceedings of the Sixth International Conference on Advances in Pattern Recognition Indian Statistical Institute, Kolkata, India, 2-4 January 2007
Veröffentlicht 2007FAW01
FAW02
Volltext
Elektronisch E-Book