19.443 Treffer
Medienart (8)
Lieferbarkeit (3)
Sprache (3)
Klassifikation (25)
Jahr
Verlag
Fachkatalog
Sortierung
Treffer pro Seite
Filter
19.443 Treffer

Ihre Suche nach Theoretische Informatik

  1. Abbildung von: Software Verification - Springer
    Roderick Bloem | Rayna Dimitrova | Chuchu Fan
    Software Verification
    13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers
    02/2022
    Springer
    9783030955618 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    58,84 €
    Als Download verfügbar
  2. Abbildung von: Hybrid Genetic Optimization for IC Chips Thermal Control - Chapman & Hall/CRC
    Mathew V. K. | Tapano Kumar Hotta
    Hybrid Genetic Optimization for IC Chips Thermal Control
    With MATLAB (R) Applications
    06/2022
    1. Aufl.1. Auflage
    Chapman & Hall/CRC
    9781000590432 (ISBN)
    E-Book
    ePUB
    Weitere Ausgaben
    57,99 €
    Als Download verfügbar
  3. Abbildung von: Smart Cities - CRC Press
    Krishna Kumar | Gaurav Saini | Duc Manh Nguyen
    Smart Cities
    Concepts, Practices, and Applications
    05/2022
    1. Aufl.1. Auflage
    CRC Press
    9781000583502 (ISBN)
    E-Book
    ePUB
    Weitere Ausgaben
    61,99 €
    Als Download verfügbar
  4. Abbildung von: Machine Learning and Deep Learning Techniques for Medical Science - CRC Press
    K. Gayathri Devi | Kishore Balasubramanian | Le Anh Ngoc
    Machine Learning and Deep Learning Techniques for Medical Science
    05/2022
    1. Aufl.1. Auflage
    CRC Press
    9781000582529 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    60,49 €
    Als Download verfügbar
  5. Abbildung von: Machine Learning and Deep Learning Techniques for Medical Science - CRC Press
    K. Gayathri Devi | Kishore Balasubramanian | Le Anh Ngoc
    Machine Learning and Deep Learning Techniques for Medical Science
    05/2022
    1. Aufl.1. Auflage
    CRC Press
    9781000583366 (ISBN)
    E-Book
    ePUB
    Weitere Ausgaben
    60,49 €
    Als Download verfügbar
  6. Abbildung von: Tree-Based Methods for Statistical Learning in R - Chapman & Hall/CRC
    Brandon M. Greenwell
    Tree-Based Methods for Statistical Learning in R
    A Practical Introduction with Applications in R
    06/2022
    1. Aufl.1. Auflage
    Chapman & Hall/CRC
    9781000595314 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,99 €
    Als Download verfügbar
  7. Abbildung von: Brain Computer Interface - CRC Press
    Narayan Panigrahi | Saraju P. Mohanty
    Brain Computer Interface
    EEG Signal Processing
    07/2022
    1. Aufl.1. Auflage
    CRC Press
    9781000595529 (ISBN)
    E-Book
    ePUB
    Weitere Ausgaben
    61,99 €
    Als Download verfügbar
  8. Abbildung von: Brain Computer Interface - CRC Press
    Narayan Panigrahi | Saraju P. Mohanty
    Brain Computer Interface
    EEG Signal Processing
    07/2022
    1. Aufl.1. Auflage
    CRC Press
    9781000595505 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    61,99 €
    Als Download verfügbar
  9. Abbildung von: Chatbot Research and Design - Springer
    Asbjørn Følstad | Theo Araujo | Symeon Papadopoulos
    Chatbot Research and Design
    5th International Workshop, CONVERSATIONS 2021, Virtual Event, November 23-24, 2021, Revised Selected Papers
    01/2022
    Springer
    9783030948900 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  10. Abbildung von: Practical Aspects of Declarative Languages - Springer
    James Cheney | Simona Perri
    Practical Aspects of Declarative Languages
    24th International Symposium, PADL 2022, Philadelphia, PA, USA, January 17-18, 2022, Proceedings
    01/2022
    Springer
    9783030944797 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  11. Abbildung von: Verification, Model Checking, and Abstract Interpretation - Springer
    Bernd Finkbeiner | Thomas Wies
    Verification, Model Checking, and Abstract Interpretation
    23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
    01/2022
    Springer
    9783030945831 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  12. Abbildung von: Metaheuristics and Nature Inspired Computing - Springer
    Bernabé Dorronsoro | Farouk Yalaoui | El-Ghazali Talbi
    Metaheuristics and Nature Inspired Computing
    8th International Conference, META 2021, Marrakech, Morocco, October 27-30, 2021, Proceedings
    02/2022
    Springer
    9783030942168 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  13. Abbildung von: Hybrid Genetic Optimization for IC Chips Thermal Control - Chapman & Hall/CRC
    Mathew V. K. | Tapano Kumar Hotta
    Hybrid Genetic Optimization for IC Chips Thermal Control
    With MATLAB (R) Applications
    06/2022
    1. Aufl.1. Auflage
    Chapman & Hall/CRC
    9781000590395 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    57,99 €
    Als Download verfügbar
  14. Abbildung von: Combinatorial Optimization and Applications - Springer
    Ding-Zhu Du | Donglei Du | Chenchen Wu
    Combinatorial Optimization and Applications
    15th International Conference, COCOA 2021, Tianjin, China, December 17-19, 2021, Proceedings
    12/2021
    Springer
    9783030926816 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    106,99 €
    Als Download verfügbar
  15. Abbildung von: The Global Politics of Artificial Intelligence - Chapman & Hall/CRC
    Maurizio Tinnirello
    The Global Politics of Artificial Intelligence
    04/2022
    1. Aufl.1. Auflage
    Chapman & Hall/CRC
    9780429822568 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    64,49 €
    Als Download verfügbar
  16. Abbildung von: Intelligent Systems - Springer
    André Britto | Karina Valdivia Delgado
    Intelligent Systems
    10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 - December 3, 2021, Proceedings, Part I
    11/2021
    Springer
    9783030917029 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    96,29 €
    Als Download verfügbar
  17. Abbildung von: Deceptive AI - Springer
    Stefan Sarkadi | Benjamin Wright | Peta Masters
    Deceptive AI
    First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings
    12/2021
    Springer
    9783030917791 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    69,54 €
    Als Download verfügbar
  18. Abbildung von: Software Engineering and Formal Methods - Springer
    Radu Calinescu | Corina S. Pasareanu
    Software Engineering and Formal Methods
    19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings
    12/2021
    Springer
    9783030921248 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    85,59 €
    Als Download verfügbar
  19. Abbildung von: Formal Methods - Springer
    Marieke Huisman | Corina Pasareanu | Naijun Zhan
    Formal Methods
    24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
    11/2021
    Springer
    9783030908706 (ISBN)
    E-Book
    PDF
    Weitere Ausgaben
    106,99 €
    Als Download verfügbar
  20. Abbildung von: Natürliche Kognition technologisch begreifen - Springer Vieweg
    Matthias Haun
    Natürliche Kognition technologisch begreifen
    Möglichkeiten und Grenzen der KI Forschung
    01/2022
    Springer Vieweg
    9783662646694 (ISBN)
    Buch
    Softcover
    Weitere Ausgaben
    89,99 €
    Sofort lieferbar
  2. 1
  3. …
  5. 29
  7. 31
  8. …
  9. 973