Koleksi

Item Code	Call Number	Location	Status
31103110103350	372.61 Gen c	Gedung Lama Lantai 2 Timur 370	Available
31103040343605	372.61 Gen c	Gedung Lama Lantai 2 Timur 370	Available
31110170313649	372.61 Gen c	Gedung Lama Lantai 2 Timur 370	Available
311031121267611	372.61 Gen c c6	FKOR UNS	Available

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

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

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

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

FM 2005 Formal Methods : International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Fitzgerald, John. - Hayes, Ian J.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Ong, Luke. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers

Faltings, Boi. - Petcu, Adrian. - Fages, Francois. - Rossi, Francesca.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Constraint Solving and Language Processing : First International Workshop, CSLP 2004, Roskilde, Denmark, September 1-3, 2004, Revised Selected and Invited Papers

Christiansen, Henning. - Skadhauge, Peter Rossen. - Villadsen, Jørgen.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

FSTTCS 2004 Foundations of Software Technology and Theoretical Computer Science : 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings

Mahajan, Maena - Lodaya, Kamal.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Principles and Practice of Constraint Programming - CP 2005 : 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005

van Beek, Peter.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Abstraction, Refinement and Proof for Probabilistic Systems

McIver, Annabelle. - Morgan, Charles Carroll.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Sassone, Vladimiro.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

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

Term Rewriting and Applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

Giesl, Jürgen. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

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

Unconventional Programming Paradigms : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers

Banâtre, Jean-Pierre. - Fradet, Pascal. - Giavitto, Jean-Louis. - Michel, Olivier. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

Testing spoken language : a handbook of oral testing techniques

UNDERHILL, Nic

Judul Seri : Cambridge handbooks for language teachers

No. Panggil : 418.007 Und t

Ketersediaan : 2 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103110208407	418.007 Und t	Gedung Lama Lantai 2 Timur 400	Available
31103120401018	418.007 Und t	Gedung Lama Lantai 2 Timur 400	Available

Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 491 dari pencarian Anda melalui kata kunci: Subject : "WESTERN INDONESIAN LANGUAGES"

Saat ini anda berada pada halaman 15 dari total 25 halaman

Permintaan membutuhkan 0.00331 detik untuk selesai

XML Result JSON Result

Informasi

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