Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Logic for Programming, Artificial Intelligence, and Reasoning

Sutcliffe, Geoff. - Voronkov, Andrei.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11591191

Logic for Programming, Artificial Intelligence, and Reasoning

Baader, Franz. - Voronkov, Andrei.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b106931

Logic Based Program Synthesis and Transformation

Etalle, Sandro.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b137785

ZB 2005: Formal Specification and Development in Z and B

Henson, Martin. - King, Steve. - Schneider, Steve. - SpringerLink (Online service) - Treharne, Helen.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135596

Formal Techniques for Networked and Distributed Systems - FORTE 2005

SpringerLink (Online service) - Wang, Farn.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11562436

Formal Methods for Mobile Computing

Bernardo, Marco. - Bogliolo, Alessandro. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b135888

Implementation of Functional Languages

Michaelson, Greg. - Pena, Ricardo. - SpringerLink (Online service) - Trinder, Phil.
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b102274

Computer Science Logic

Ong, Luke. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11538363

Global Optimization and Constraint Satisfaction

Jermann, Christophe. - Neumaier, Arnold. - Sam, Djamila. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/b136292

Theoretical Computer Science

Coppo, Mario. - Lodi, Elena. - Pinna, G. Michele. - SpringerLink (Online service)
Judul Seri :
No. Panggil :
Ketersediaan : E Book
Eksemplar : https://doi.org/10.1007/11560586
Hal. Awal Sebelumnya 6 7 8 9 10 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 118 dari pencarian Anda melalui kata kunci: subject="MEANING"
Permintaan membutuhkan 0.15844 detik untuk selesai
XML ResultJSON Result

Informasi

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