Fundamentals of Computation Theory

Liskiewicz, Maciej. - Reischuk, Rüdiger.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Model-Based Testing of Reactive Systems

Broy, Manfred. - Jonsson, Bengt. - Katoen, Joost-Pieter. - Leucker, Martin. - Pretschner, Alexander.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Model Driven Architecture - Foundations and Applications

Hartman, Alan. - Kreische, David.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Model Driven Architecture

Aksit, Mehmet. - Aßmann, Uwe. - Rensink, Arend.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Model Checking Software

Godefroid, Patrick.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

MICAI 2005: Advances in Artificial Intelligence

Gelbukh, Alexander. - Terashima, Hugo.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Membrane Computing

Mauri, Giancarlo. - Paun, Gheorghe. - Pérez-Jiménez, Mario J. - Rozenberg, Grzegorz. - Salomaa, Arto.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Mechanizing Mathematical Reasoning

Hutter, Dieter. - Stephan, Werner.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Mathematical Foundations of Computer Science 2005

Jedrzejowicz, Joanna. - Szepietowski, Andrzej.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Machines, Computations, and Universality

Margenstern, Maurice.
Judul Seri :
No. Panggil :
Ketersediaan : E Book

Hasil Pencarian


Ditemukan 170 dari pencarian Anda melalui kata kunci: subject="Logic."
Permintaan membutuhkan 0.13377 detik untuk selesai
XML ResultJSON Result

Informasi


Akses Katalog Publik Daring - Gunakan fasilitas pencarian untuk mempercepat penemuan data katalog