Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

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

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

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

Physics for Game Programmers

Palmer, Grant.

Judul Seri :

No. Panggil : 794.815

Ketersediaan : E Book

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

Developing Statistical Software in Fortran 95

Lemmon, David R. - Schafer, Joseph L.

Judul Seri :

No. Panggil : 519.5

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-28123-1

Model Checking Software : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

Godefroid, Patrick.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Formal Methods and Software Engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Lau, Kung-Kiu. - Banach, Richard. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

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

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

Formal Methods for Components and Objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

de Boer, Frank S. - Bonsangue, Marcello M. - Graf, Susanne. - de Roever, Willem-Paul. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

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

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

An Integrated Approach to Software Engineering

Jalote, Pankaj.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-28132-0

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

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

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

From chaos to calsses : object oriented software development

DUFFY, Daniel

Judul Seri :

No. Panggil : 005.133 Duf f

Ketersediaan : tidak ada kopi yang tersedia

Eksemplar :

Item Code	Call Number	Location	Status
31103150105268	005.133 Duf f	Lantai II Timur	Hilang

Hal. Awal Sebelumnya 11 12 13 14 15 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 350 dari pencarian Anda melalui kata kunci: Subject : "DYNAMIC PROGRAMMING"

Saat ini anda berada pada halaman 12 dari total 18 halaman

Permintaan membutuhkan 0.00304 detik untuk selesai

XML Result JSON Result

Informasi

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