Агуулга руу алгасах
Welcome to University of UNSW, Bengaluru
Home
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Sign In
Бүх талбарууд
Гарчиг
Зохиогч
Сэдэв
Зохиогчийн тэмдэгт
ISBN/ISSN
Шошго
Хайх
Дэлгэрэнгүй
Сувгууд
Certified Programming with Dependent Types
Бусад суваг хайх:
Ижил төстэй зүйлс: Certified Programming with Dependent Types
Сувгийн сонголтууд
Бүртгэлийг үзэх
Холбогдох сувгуудыг судлах
Түргэн харуулах
Semantic Web
Түргэн харуулах
Mobile Edge Computing
Түргэн харуулах
Real World OCaml: Functional Programming for the Masses
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Aesthetic Programming
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Pro TBB
Түргэн харуулах
Today's TBB
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Podstawy programowania w zastosowaniach inżynierskich : Visual Basic
Түргэн харуулах
Soft Computing
Түргэн харуулах
Evolutionary Application Service Providing (eASP). Ein Ansatz der Softwarebereitstellung
Түргэн харуулах
Ant Colony Optimization
Түргэн харуулах
Computational Intelligence and Modern Heuristics
Түргэн харуулах
Fundamental Approaches to Software Engineering
Түргэн харуулах
Software-Infrastruktur. Von analytischer Perspektive zu konstruktiver Orientierung
Түргэн харуулах
Developing Graphics Frameworks with Python and OpenGL
Түргэн харуулах
Cultures of Programming
Түргэн харуулах
Schreibe Dein Programm!
Түргэн харуулах
Data Science, Data Visualization, and Digital Twins
Түргэн харуулах
Level Up! Exploring Gamification's Impact on Research and Innovation
Илүү олон бүтээл ачаалах
Сэдэв: Computer programming / software engineering
Сувгийн сонголтууд
Зүйлүүдийг хайлтын үр дүн байдлаар харуулах
Холбогдох сувгуудыг судлах
Түргэн харуулах
Code/Space
Түргэн харуулах
Foundations of Software Science and Computation Structures
Түргэн харуулах
Interfaces on Trial 2.0
Түргэн харуулах
Fundamental Approaches to Software Engineering
Түргэн харуулах
Computer-Driven Instructional Design with INTUITEL
Түргэн харуулах
Critical Perspectives on Open Development
Түргэн харуулах
Programming Languages and Systems
Түргэн харуулах
Certified Programming with Dependent Types
Түргэн харуулах
Automated Deduction – CADE 28
Түргэн харуулах
Engineering Agile Big-Data Systems
Түргэн харуулах
Foundations of Software Science and Computation Structures
Түргэн харуулах
Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems
Түргэн харуулах
The Once-Only Principle
Илүү олон бүтээл ачаалах
Сэдэв: thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMS Mobile and handheld device programming / Apps programming
Сувгийн сонголтууд
Зүйлүүдийг хайлтын үр дүн байдлаар харуулах
Холбогдох сувгуудыг судлах
Түргэн харуулах
Semantic Web
Түргэн харуулах
Mobile Edge Computing
Түргэн харуулах
Certified Programming with Dependent Types
Түргэн харуулах
Intelligent Localization for Integrated Sensing and Communication
Илүү олон бүтээл ачаалах
Зохиогч: Chlipala, Adam
Сувгийн сонголтууд
Зүйлүүдийг хайлтын үр дүн байдлаар харуулах
Холбогдох сувгуудыг судлах
Түргэн харуулах
Certified Programming with Dependent Types
Илүү олон бүтээл ачаалах
Бүртгэлийг үзэх
Өмнөх
Холбогдох сувгуудыг судлах
Дараагийнх
