Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 71 72 73 74 75 Berikutnya Hal. Akhir

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Barthe, Gilles. - Burdy, Lilian. - Huisman, Marieke. - Lanet, Jean-Louis. - Muntean, Traian.

Judul Seri :

No. Panggil : 005.82

Ketersediaan : E Book

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

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

Formal Modeling and Analysis of Timed Systems : Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Pettersson, Paul. - Yi, Wang. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

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

Embedded Systems Design : The ARTIST Roadmap for Research and Development

Bouyssounouse, Bruno. - Sifakis, Joseph. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.6

Ketersediaan : E Book

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

Extreme Programming and Agile Processes in Software Engineering : 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Baumeister, Hubert. - Marchesi, Michele. - Holcombe, Mike.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

A Software Process Model Handbook for Incorporating People's Capabilities

Acuna, Silvia T. - Juristo, Natalia. - Moreno, Ana Maria. - Mon, Alicia. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

CONCUR 2005 - Concurrency Theory : 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings

Abadi, Martín. - de Alfaro, Luca.

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

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

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

Categories for Software Engineering

Fiadeiro, José Luiz.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Cerioli, Maura. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A. - Tsay, Yih-Kuen.

Judul Seri :

No. Panggil : 620.00420285

Ketersediaan : E Book

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

High Performance Embedded Architectures and Compilers : First International Conference, HiPEAC 2005, Barcelona, Spain, November 17-18, 2005, Proceedings

Conte, Tom. - Navarro, Nacho. - Hwu, Wen-mei W. - Valero, Mateo. - Ungerer, Theo. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004

Ketersediaan : E Book

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

Abstract Computing Machines : A Lambda Calculus Perspective

Kluge, Werner.

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

Introduction to Assembly Language Programming : For Pentium and RISC Processors

Dandamudi, Sivarama P. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.13

Ketersediaan : E Book

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

Implementation of Functional Languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

Trinder, Phil. - Michaelson, Greg. - Pena, Ricardo. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

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

COMMITTING to results : improving the effectiveness of HIV/AIDS assistance:an OED evaluation of the World Bank's...

Judul Seri :

No. Panggil : 362.196 Com c

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103070616672	362.196 Com c	Lantai II Timur	Available

Regionale verteilung finanzieller staatshilven fur den agrarsektor - sind die : nutznieber die landlichen

REINER, Plank

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

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

Hal. Awal Sebelumnya 71 72 73 74 75 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1731 dari pencarian Anda melalui kata kunci: Subject : "LANGUAGE AND LANGUAGES--STUDY AND TEACHING--AUDIO-VISUAL AIDS"

Saat ini anda berada pada halaman 71 dari total 87 halaman

Permintaan membutuhkan 0.006 detik untuk selesai

XML Result JSON Result

Informasi

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