Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Adapting Proofs-as-Programs : The Curry--Howard Protocol

Poernomo, Iman. - Crossley, John N. - Wirsing, Martin.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-28183-5

Job Scheduling Strategies for Parallel Processing : 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers

Feitelson, Dror. - Frachtenberg, Eitan. - Rudolph, Larry. - Schwiegelshohn, Uwe. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 003.3

Ketersediaan : E Book

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

Logic for Programming, Artificial Intelligence, and Reasoning : 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

Baader, Franz. - Voronkov, Andrei.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Logic for Programming, Artificial Intelligence, and Reasoning : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Sutcliffe, Geoff. - Voronkov, Andrei.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

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

Coordination Models and Languages : 7th International Conference, COORDINATION 2005, Namur, Belgium, April 20-23, 2005, Proceedings

Jacquet, Jean-Marie. - Picco, Gian Pietro.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Distributed Computing and Internet Technology : Second International Conference, ICDCIT 2005, Bhubaneswar, India, December 22-24, 2005, Proceedings

Chakraborty, Goutam.

Judul Seri :

No. Panggil : 004.6

Ketersediaan : E Book

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

Linear programming : basic theory and applications

SWANSON, Leonard W.

Judul Seri : McGraw-Hill series in quantitative methods for man

No. Panggil : 519.72 Swa l

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103110234262	519.72 Swa l	Gedung Baru Lantai 4 (500)	Available

Development of Telemetry for Light Intensity Measurement by Using Wireless LAN

SUDIANA, I Nyoman - KONDO, Juliani - UNTORO, Nur

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

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

Optimization in operations research

RARDIN, Ronald L.

Judul Seri :

No. Panggil : 658.4 Rar o

Ketersediaan : 2 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103060667073	658.4 Rar o	Lantai II Timur	Available
31103161101002	658.4 Rar o	Gedung Baru Lantai 5 (600)	Available

Applications of liapunov methods in stability

HALANAY, A

Judul Seri : mathematica and its applications

No. Panggil : 003.015 HAL a

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
013002	003.015 HAL a	Gedung Lama Lantai 1 Timur 000	Available

Food insecurity, quality of life, and diet optimization of low income university students in Selangor, Malaysia.

RAJIKAN, Roslee - SHIN, Lee Hui - HAMID, Nurul Izzati Abdul - ELIAS, Siti Masitah

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

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

Web component development with Zope 3

Weitershausen, Philipp von

Judul Seri :

No. Panggil : TK5105.8885.Z65 W45 2006

Ketersediaan : E Book

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

Linear programming

SUPRANTO, J.

Judul Seri :

No. Panggil : 519.72 Sup l

Ketersediaan : 1 copies available

Eksemplar :

Item Code	Call Number	Location	Status
31103161101760	519.72 Sup l	Gedung Baru Lantai 4 (500)	Available

Communicating Sequential Processes. The First 25 Years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

Abdallah, Ali E. - Sanders, Jeff W. - Jones, Cliff B.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

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

Production Rendering : Design and Implementation

Stephenson, Ian.

Judul Seri :

No. Panggil : 006.6

Ketersediaan : E Book

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

Principles of Distributed Systems : 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

Higashino, Teruo.

Judul Seri :

No. Panggil : 004.6

Ketersediaan : E Book

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

Scientific Engineering of Distributed Java Applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

Guelfi, Nicolas. - Reggio, Gianna. - Romanovsky, Alexander.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Distributed Computing : 19th International Conference, DISC 2005, Cracow, Poland, September 26-29, 2005, Proceedings

Fraigniaud, Pierre. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

Distributed Computing – IWDC 2005 : 7th International Workshop, Kharagpur, India, December 27-30, 2005, Proceedings

Pal, Ajit. - Kshemkalyani, Ajay D. - Kumar, Rajeev. - Gupta, Arobinda.

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

Hal. Awal Sebelumnya 1 2 3 4 5 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1852 dari pencarian Anda melalui kata kunci: Subject : "PASCAL (COMPUTER PROGRAMMING LANGUAGE)"

Saat ini anda berada pada halaman 5 dari total 93 halaman

Permintaan membutuhkan 0.00355 detik untuk selesai

XML Result JSON Result

Informasi

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