Image of ICT in education, research, and industrial applications
Penanda Bagikan

Electronic Resource

ICT in education, research, and industrial applications

This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012.
The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.

Ketersediaan
#
Perpustakaan Pusat E1166
E1166
Tersedia
Informasi Detail
Judul Seri
Communications in Computer and Information Science
No. Panggil
E1166
Penerbit
Berlin : Springer.,
Deskripsi Fisik
xiv, 245 hlm. : il.
Bahasa
English
ISBN/ISSN
9783642357374
Klasifikasi
E1166
Tipe Isi
text
Tipe Media
computer
Tipe Pembawa
online resource
Edisi
-
Subjek
Logika Matematik
Kecerdasan Rekayasa (Artificial Intelligence)
Rekayasa Perangkat Lunak
Info Detail Spesifik
-
Pernyataan Tanggungjawab
Versi lain/terkait

Tidak tersedia versi lain

Lampiran Berkas
  • ICT in Education, Research, and Industrial Applications
    This book constitutes the refereed proceedings of the 8th International Conference on ICT in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2012. The 14 revised full papers were carefully reviewed and selected from 70 submissions. This book begins with an invited contribution presenting the substance of one of ICTERI 2012 invited talks. The chapter deals with the issues of abstraction and verification of properties in real-time Java programs. The rest of the volume is structured in four topical parts: ICT Frameworks, Infrastructures, Integration, and Deployment; Formal Logic and Knowledge-Based Frameworks; ICT-Based Systems Modeling, Specification, and Verification: ICT in Teaching and Learning.
Komentar
Anda harus masuk sebelum memberikan komentar