Koleksi

Pencarian Spesifik

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

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

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

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

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

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

Programming languages : design and implementation

PRATT, Terrence W. - ZELKOWITZ, Marvin V.

Judul Seri :

No. Panggil : 005.1 Pra p

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103150105525	005.1 Pra p	Lantai II Timur	Available

Advances in Computer Systems Architecture : 10th Asia-Pacific Conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings

Srikanthan, Thambipillai. - Xue, Jingling. - Chang, Chip-Hong.

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

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

The Best of Verity Stob : Highlights of Verity Stob's Famous Columns from .EXE, Dr. Dobb's Journal, and The Register

Stob, Verity.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-1-4302-0003-1

Iterating Infusion : Clearer Views of Objects, Classes, and Systems

Anthony, Greg.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-1-4302-0031-4

Rules and Rule Markup Languages for the Semantic Web : First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings

Adi, Asaf. - Stoutenburg, Suzette. - Tabet, Said.

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

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

Multimedia Encryption and Watermarking

Furht, Borko. - Muharemagic, Edin. - Socek, Daniel.

Judul Seri :

No. Panggil : 005.82

Ketersediaan : E Book

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

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

Cryptography in C and C++

Welschenbach, Michael.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-1-4302-0026-0

Practical Aspects of Declarative Languages : 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings

Hermenegildo, Manuel. - Cabeza, Daniel.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

Database Programming Languages : 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers

Bierman, Gavin. - Koch, Christoph.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

Advanced Functional Programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures

Vene, Varmo. - Uustalu, Tarmo.

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

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

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

Hasil Pencarian

Ditemukan 528 dari pencarian Anda melalui kata kunci: Subject : "COMPUTERS."

Saat ini anda berada pada halaman 25 dari total 27 halaman

Permintaan membutuhkan 0.00326 detik untuk selesai

XML Result JSON Result

Informasi

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