Kapak Resmi

Summary goes here

Kaydedildi:
Detaylı Bibliyografya
Materyal Türü: Kitap
Dil:İngilizce
Konular:
Mathematical foundations
Discrete mathematics
Programming & scripting languages: general
Computer programming / software development
Artificial intelligence
Computer networking & communications
Mathematical Logic and Foundations
Discrete Mathematics in Computer Science
Programming Languages, Compilers, Interpreters
Programming Techniques
Logic in AI
Computer Systems Organization and Communication Networks
categorical models and logics
language theory, automata, and games
modal, spatial, and temporal logics
type theory and proof theory
concurrency theory and process calculi
rewriting theory
semantics of programming languages
program analysis, correctness, transformation, and verification
logics of programming
software specification and refinement
emerging models of computation
logical aspects of computational complexity
models of software security
logical foundations of data bases
mathematics
artificial intellegence
formal logic
linguistics
Mathematical logic
Maths for computer scientists
Compilers & interpreters
Computer programming / software engineering
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!

ATSU - Elec Resource

Detaylı Erişim Bilgileri ATSU - Elec Resource
Yer Numarası: missing
Kopya Bilgisi 0 AVAILABLE
Notlar:
  • json {"id":"cde4a183-7183-5cdb-bd65-b5e6c2896e03","status":{"code":"AVAILABLE"},"location":{"code":"ATSU-Eres","name":"ATSU - Elec Resource"},"sourceHostLmsCode":"AT_STILL","isRequestable":true,"isSuppressed":false,"holdCount":0,"availabilityDate":"2026-09-27T03:58:03.374291596Z","localItemType":"Electronic Resource","canonicalItemType":"UNKNOWN - NULL hostLmsCode","localItemTypeCode":"Electronic Resource","statusCorrectAsOf":"2026-09-27T03:58:03.696208944Z"}