Bücher / KI und ML / Maschinelles Lernen

KI und ML

Alle Programmiersprachen 1874KI und ML 893Softwareentwicklung 611Algorithmen und Theorie 548Webentwicklung 472DevOps und Infrastruktur 363Sonstiges 269Cybersicherheit 233Betriebssystem und System 214Spieleentwicklung 187Datenbanken 157Eingebettete Systeme 153IT-Management 110
Alle Data Science 307Maschinelles Lernen 170LLM 129Neuronale Netzwerke 97Computer Vision 41ChatGPT 39TensorFlow 30PyTorch 23NLP 21MLOps 19Pandas 9KI-Agenten 1
Alle 2026 82025 172024 372023 202022 102021 122020 162019 82018 62017 32016 32015 32014 12012 12011 32009 12008 11990 1
RU
Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

Logik und Computer: Modellierung des Schließens und Verifikation der Programmkorrektheit

A

N.A. Aljoschina, A.M. Anissow, P.I. Bystrow, I.A. Gerassimowa, W.S. Messkow, N.N. Nepejwoda, W.A. Smirnow, W.N. Steblezowa, W.I. Schalak

KI und ML

PDF-Qualitätswert:

A Ausgezeichnet — kopierbarer Text, Inhaltsverzeichnis, Metadaten B Gut — Text vorhanden, einige Daten fehlen C Durchschnittlich — Text teilweise extrahierbar D Schlecht — höchstwahrscheinlich ein Scan F Scan ohne OCR — Text kann nicht extrahiert werden