Koleksi

Pencarian Spesifik
Hal. Awal Sebelumnya 16 17 18 19 20 Berikutnya Hal. Akhir

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

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book

Architecture Description Languages : IFIP TC-2 Workshop on Architecture Description Languages (WADL), World Computer Congress, Aug. 22-27, 2004, Toulouse, France

Judul Seri :
No. Panggil : 004.0151
Ketersediaan : E Book

Formal Approaches to Agent-Based Systems : Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 004
Ketersediaan : E Book

UML Modeling Languages and Applications : <> 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Model Driven Engineering Languages and Systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

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

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

Foundations of Software Science and Computational Structures : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005

Judul Seri :
No. Panggil : 005.1015113
Ketersediaan : E Book

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

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Abstract Computing Machines : A Lambda Calculus Perspective

Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book

Operational Semantics for Timed Systems : A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Communicating sequential processes

Judul Seri :
No. Panggil : 001.642 Hoa c
Ketersediaan : 2 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103130426856001.642 Hoa cGedung Baru Lantai 3 (Koleksi Lama)Available
31103983056081 001.642 Hoa c Lantai II TimurAvailable

Combinatorial complexes

Judul Seri :
No. Panggil : 005.1 Sel c
Ketersediaan : 1 copies available
Eksemplar :
Item CodeCall NumberLocationStatus
31103150105451 005.1 Sel c Gedung Lama Lantai 1 Timur 000Available

Computer networks and internets

Judul Seri :
No. Panggil : 004.6 Com c
Ketersediaan : tidak ada kopi yang tersedia
Eksemplar :
Item CodeCall NumberLocationStatus
31103150105254004.6 Com cLantai II TimurHilang

Business Agility and Information Technology Diffusion : IFIP TC8 WG 8.6 International Working Conference, May 8-11, 2005, Atlanta, Georgia, USA

Judul Seri :
No. Panggil : 330.0151
Ketersediaan : E Book

Compiler Construction : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book

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

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book

Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Judul Seri :
No. Panggil : 005.13
Ketersediaan : E Book

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

Judul Seri :
No. Panggil : 006.3
Ketersediaan : E Book

Model-Based Testing of Reactive Systems : Advanced Lectures

Judul Seri :
No. Panggil : 005.1
Ketersediaan : E Book
Hal. Awal Sebelumnya 16 17 18 19 20 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1151 dari pencarian Anda melalui kata kunci: Subject : "Computer programming."
Saat ini anda berada pada halaman 17 dari total 58 halaman
Permintaan membutuhkan 0.00338 detik untuk selesai

Informasi

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