Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 21 22 23 24 25 Berikutnya Hal. Akhir

Multiparadigm Programming in Mozart/Oz : Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected Papers

Van Roy, Peter.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

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

Model Driven Engineering Languages and Systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

Briand, Lionel. - Williams, Clay.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

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

Multi-Agent Programming : Languages, Platforms and Applications

Bordini, Rafael H. - Dastani, Mehdi. - Dix, Jürgen. - El Fallah Seghrouchni, Amal.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

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

Formal Methods for Mobile Computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Bernardo, Marco. - Bogliolo, Alessandro. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.6

Ketersediaan : E Book

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

Model-Based Testing of Reactive Systems : Advanced Lectures

Broy, Manfred. - Jonsson, Bengt. - Katoen, Joost-Pieter. - Leucker, Martin. - Pretschner, Alexander.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Reverse Engineering of Object Oriented Code

Tonella, Paolo. - Potrich, Alessandra.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

XML for Bioinformatics

Cerami, Ethan. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-27478-2

Engineering Theories of Software Intensive Systems : Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems, Marktoberdorf, Germany, from 3 to 15 August 2004

Broy, Manfred. - Gruenbauer, Johannes. - Harel, David. - Hoare, Tony.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-4020-3532-2

Introduction to programming and computer science

RALSTON, Anthony

Judul Seri :

No. Panggil : 001.642 Ral i

Ketersediaan : 2 copies available

Eksemplar :

Item Code	Call Number	Location	Status
3110305254244	001.642 Ral i	Gedung Lama Lantai 1 Timur 000	Available
31103983055778	001.642 Ral i	Lantai II Timur	Available

Judgments of Love in Criminal Justice

Malekian, Farhad.

Judul Seri :

No. Panggil : 345

Ketersediaan : E Book

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

Growth and development of Air and Space Law

ABDURRASYID, Professor H. Priyatna

Judul Seri : Akreditasi No 65a/DIKTI/Kep/2008

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
225705.1	JURNAL	R. Majalah	Tidak Dipinjamkan

Dual Markets : Comparative Approaches to Regulation

Savona, Ernesto U. - Kleiman, Mark A.R. - Calderoni, Francesco.

Judul Seri :

No. Panggil : 364

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-3-319-65361-7

Comparative Corporate Governance : Shareholders as a Rule-maker

Mäntysaari, Petri.

Judul Seri :

No. Panggil : 340.9

Ketersediaan : E Book

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

Corporate Governance Codes for the 21st Century : International Perspectives and Critical Analyses

du Plessis, Jean J. - Low, Chee Keong.

Judul Seri :

No. Panggil : 340.9

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-3-319-51868-8

Hal. Awal Sebelumnya 21 22 23 24 25 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 709 dari pencarian Anda melalui kata kunci: Subject : "ELECTRONIC TRAFFIC LAW ENFORCEMENT (ETLE) MOBILE"

Saat ini anda berada pada halaman 25 dari total 36 halaman

Permintaan membutuhkan 0.01309 detik untuk selesai

XML Result JSON Result

Informasi

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