Koleksi

Pencarian Spesifik

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

Declarative Agent Languages and Technologies II : Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

Leite, João. - Omicini, Andrea. - Torroni, Paolo. - Yolum, Pinar.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

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

Verification, Model Checking, and Abstract Interpretation : 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Cousot, Radhia. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Guide to Assembly Language Programming in Linux

Dandamudi, Sivarama P. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

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

The Best Software Writing I : Selected and Introduced by Joel Spolsky

Spolsky, Joel.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers

Seipel, Dietmar - Hanus, Michael. - Geske, Ulrich. - Bartenstein, Oskar.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

ECOOP 2005 - Object-Oriented Programming : 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings

Black, Andrew.

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

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

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

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

Hasil Pencarian

Ditemukan 610 dari pencarian Anda melalui kata kunci: Subject : "Quantum computers."

Saat ini anda berada pada halaman 28 dari total 31 halaman

Permintaan membutuhkan 0.0035 detik untuk selesai

XML Result JSON Result

Informasi

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