Koleksi

Pencarian Spesifik

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

Formal Concept Analysis : Foundations and Applications

Ganter, Bernhard. - Stumme, Gerd. - Wille, Rudolf. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-3-540-31881-1

Deterministic and Statistical Methods in Machine Learning : First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures

Winkler, Joab. - Lawrence, Neil. - Niranjan, Mahesan.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Principles and Practice of Semantic Web Reasoning : Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings

Fages, Francois. - Soliman, Sylvain.

Judul Seri :

No. Panggil : 005.7

Ketersediaan : E Book

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

Computational Linguistics and Intelligent Text Processing : 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings

Gelbukh, Alexander.

Judul Seri :

No. Panggil : 025.04

Ketersediaan : E Book

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

Learning Theory : 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings

Auer, Peter. - Meir, Ron.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Database Theory - ICDT 2005 : 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings

Eiter, Thomas. - Libkin, Leonid.

Judul Seri :

No. Panggil : 005.74

Ketersediaan : E Book

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

Mechanizing Mathematical Reasoning : Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

Hutter, Dieter. - Stephan, Werner.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Reconfigurable Computing : Accelerating Computation with Field-Programmable Gate Arrays

Gokhale, Maya B. - Graham, Paul S.

Judul Seri :

No. Panggil : 621.3815

Ketersediaan : E Book

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

Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

Leite, João. - Torroni, Paolo. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Conditionals, Information, and Inference : International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers

Kern-Isberner, Gabriele. - Rödder, Wilhelm. - Kulmann, Friedhelm.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Logica Universalis : Towards a General Theory of Logic

Beziau, Jean-Yves.

Judul Seri :

No. Panggil : 511.3

Ketersediaan : E Book

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

Theory and Applications of Satisfiability Testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

Hoos, Holger H. - Mitchell, David G. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

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

Controlling Language in Industry : Controlled Languages for Technical Documents

Crabbe, Stephen.

Judul Seri :

No. Panggil : 401.41

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-3-319-52745-1

Classroom teaching strategies

TODD, Richard Walson

Judul Seri :

No. Panggil : 372.6 Wat c 1999

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
311030124224	372.6 Wat c 1999	Gedung Lama Lantai 2 Timur (CR)	Available

Process and experience in the language classroom

LEGUTKE, Michael - THOMAS, Howard

Judul Seri :

No. Panggil : 372.6 Leg p

Ketersediaan : 2 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103101203060	372.6 Leg p	Gedung Lama Lantai 2 Timur 370	Available
311030124466	372.6 Leg p	Gedung Lama Lantai 2 Timur (CR)	Available

Integrated Formal Methods : 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Romijn, Judi M.T. - Smith, Graeme P. - van de Pol, Jaco C. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

FSTTCS 2005 Foundations of Software Technology and Theoretical Computer Science : 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings

Ramanujam, R. - Sen, Sandeep.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

Abadi, Martín. - de Alfaro, Luca.

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

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

Categories for Software Engineering

Fiadeiro, José Luiz.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Implementation and Application of Functional Languages : 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004, Revised Selected Papers

Grelck, Clemens. - Huch, Frank. - Michaelson, Greg. - Trinder, Phil. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

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

Hasil Pencarian

Ditemukan 2263 dari pencarian Anda melalui kata kunci: Subject : "STRUCTURAL VARIETY OF EUROPEAN LANGUAGES"

Saat ini anda berada pada halaman 28 dari total 114 halaman

Permintaan membutuhkan 0.00646 detik untuk selesai

XML Result JSON Result

Informasi

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