Koleksi

Item Code	Call Number	Location	Status
31103150100198	R 375 Ind k II.I.5	Lantai I Utara Bag. Tengah (Referensi, Rep.)	Tidak Dipinjamkan
31103150100202	R 375 Ind k II.I.5	Lantai I Utara Bag. Tengah (Referensi, Rep.)	Tidak Dipinjamkan

Kurikulum Sekolah Menengah Atas (SMA) 1975 : garis-garis besar program pengajaran - buku II.I.2 (bidang studi teknik)

INDONESIA, Departemen Pendidikan dan Kebudayaan

Judul Seri :

No. Panggil : R 375 Ind k II.I.2

Ketersediaan : 2 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103150100207	R 375 Ind k II.I.2	Lantai I Utara Bag. Tengah (Referensi, Rep.)	Tidak Dipinjamkan
31103150100172	R 375 Ind k II.I.2	Lantai I Utara Bag. Tengah (Referensi, Rep.)	Tidak Dipinjamkan

CASE studies in curriculum change : great britain and the united states

REID, William A. [ed.]

Judul Seri :

No. Panggil : 375.001 094 3 Cas c

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103160803464	375.001 094 3 Cas	Lantai II Timur	Available

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Nieuwenhuis, Robert.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11532231

Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Bodik, Rastislav.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b107108

Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing : 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I

Slezak, Dominik. - Szczuka, Marcin. - Duentsch, Ivo. - Yao, Yiyu.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11548669

Universal Artificial Intelligence : Sequential Decisions Based on Algorithmic Probability

Hutter, Marcus. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138233

Theoretical Aspects of Computing - ICTAC 2005 : Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings

Hung, Dang Van. - Wirsing, Martin. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11560647

Membrane Computing : 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers

Mauri, Giancarlo. - Paun, Gheorghe. - Pérez-Jiménez, Mario J. - Rozenberg, Grzegorz. - Salomaa, Arto.

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b106721

Typed Lambda Calculi and Applications : 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings

Urzyczyn, Pawel. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b135690

Theorem Proving in Higher Order Logics : 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings

Hurd, Joe. - Melham, Tom. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11541868

Comprehensive Mathematics for Computer Scientists 2 : Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus

Mazzola, Guerino. - Milmeister, Gérard. - Weissmann, Jody.

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b138337

Formal Methods in Software and Systems Modeling : Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

Kreowski, Hans-Jörg. - Montanari, Ugo. - Orejas, Fernando. - Rozenberg, Grzegorz. - Taentzer, Gabriele. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/b106390

Conceptual Modeling - ER 2005 : 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings

Kop, Christian. - Mayr, Heinrich C. - Mylopoulos, John. - Pastor, Oscar.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11568322

Algebra and Coalgebra in Computer Science : First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings

Fiadeiro, José Luis. - Harman, Neil. - Roggenbach, Markus. - Rutten, Jan

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11548133

Abstraction, Reformulation and Approximation : 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

Zucker, Jean-Daniel. - Saitta, Lorenza.

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11527862

Computer Aided Systems Theory – EUROCAST 2005 : 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers

Quesada Arencibia, Alexis. - Moreno-Díaz, Roberto. - Pichler, Franz. - Quesada Arencibia, Alexis.

Judul Seri :

No. Panggil : 620.00420285

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/11556985

Complexity Theory : Exploring the Limits of Efficient Algorithms

Wegener, Ingo.

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-27477-4

Hal. Awal Sebelumnya 26 27 28 29 30 Hal. Akhir

Hasil Pencarian

Ditemukan 591 dari pencarian Anda melalui kata kunci: Subject : "KURIKULUM FORMAL"

Saat ini anda berada pada halaman 26 dari total 30 halaman

Permintaan membutuhkan 0.00397 detik untuk selesai

XML Result JSON Result

Informasi

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