Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 26 27 28 Berikutnya Hal. Akhir

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

QoS in Packet Networks

Park, Kun I.

Judul Seri :

No. Panggil : 004.6

Ketersediaan : E Book

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

Logic Programming with Prolog

Bramer, Max.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-84628-212-8

Formal Approaches to Software Testing : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

Grabowski, Jens. - Nielsen, Brian.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Practical Common Lisp

Seibel, Peter.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

System Level Design of Reconfigurable Systems-on-Chip

Voros, Nikolaos. - Masselos, Konstantinos.

Judul Seri :

No. Panggil : 621.3815

Ketersediaan : E Book

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

Hal. Awal Sebelumnya 26 27 28 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 543 dari pencarian Anda melalui kata kunci: Subject : "Computers and civilization."

Saat ini anda berada pada halaman 26 dari total 28 halaman

Permintaan membutuhkan 0.00387 detik untuk selesai

XML Result JSON Result

Informasi

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