Koleksi

Pencarian Spesifik

Hal. Awal Sebelumnya 51 52 53 54 55 Berikutnya Hal. Akhir

Web Content Delivery

Tang, Xueyan. - Xu, Jianliang. - Chanson, Samuel T. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-27727-7

Machines, Computations, and Universality : 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers

Margenstern, Maurice.

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

Computer Aided Verification : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Etessami, Kousha. - Rajamani, Sriram K.

Judul Seri :

No. Panggil : 005.1015113

Ketersediaan : E Book

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

Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Sagiv, Mooly.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings

Gabbrielli, Maurizio. - Gupta, Gopal.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

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

Processes, Terms and Cycles Steps on the Road to Infinity : Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday

Middeldorp, Aart. - van Oostrom, Vincent. - van Raamsdonk, Femke. - de Vrijer, Roel.

Judul Seri :

No. Panggil : 005.131

Ketersediaan : E Book

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

Component-Based Software Testing with UML

Gross, Hans-Gerhard.

Judul Seri :

No. Panggil : 005.1

Ketersediaan : E Book

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

Advanced Information Systems Engineering Workshops : CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014. Proceedings

Papazoglou, Michael - Iliadis, Lazaros S. - Pohl, Klaus.

Judul Seri :

No. Panggil : 005.7

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-3-319-07869-4

Spatially Structured Evolutionary Algorithms : Artificial Evolution in Space and Time

Tomassini, Marco. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.11

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-29938-6

Progress in Artificial Intelligence : 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilha, Portugal, December 5-8, 2005, Proceedings

Bento, Carlos. - Cardoso, Amilcar. - Dias, Gael.

Judul Seri :

No. Panggil : 006.3

Ketersediaan : E Book

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

Computational Science and High Performance Computing : Russian-German Advanced Research Workshop, Novosibirsk, Russia, September 30 to October 2, 2003

Krause, Egon. - Shokin, Yurii I. - Shokina, Nina. - Resch, Michael

Judul Seri :

No. Panggil : 620.1064

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/3-540-32376-7

System-level Test and Validation of Hardware/Software Systems

Sonza Reorda, Matteo. - Peng, Zebo. - Violante, Massimo.

Judul Seri :

No. Panggil : 621.3815

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/1-84628-145-8

Experimental Aspects of Quantum Computing

Everitt, Henry O.

Judul Seri :

No. Panggil : 539.72

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/0-387-27732-3

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

Liu, Zhiming. - Araki, Keijiro. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

Inconsistency Tolerance

Bertossi, Leopoldo. - Hunter, Anthony. - Schaub, Torsten. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 005.74

Ketersediaan : E Book

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

A Theory of Distributed Objects : Asynchrony - Mobility - Groups - Components

Caromel, Denis. - Henrio, Ludovic. - SpringerLink (Online service)

Judul Seri :

No. Panggil : 004.0151

Ketersediaan : E Book

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

Crime, Genes, Neuroscience and Cyberspace

Owen, Tim.

Judul Seri :

No. Panggil : 364.01

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1057/978-1-137-52688-5

Remote Sensing Image Classification in R

Kamusoko, Courage.

Judul Seri :

No. Panggil : 910.285

Ketersediaan : E Book

Eksemplar : https://doi.org/10.1007/978-981-13-8012-9

Pengaruh faktror individu dan teknologi terhadap penerimaan pembelajaran berdasarkan teknologi web pada mahasiswa akuntansi di Universitas Sebelas Maret Surakarta

RAHMAWATI - DJAMALUDDIN, Subekti [ed.]

Judul Seri :

No. Panggil : JURNAL

Ketersediaan : 1 copies available

Eksemplar :

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

Hal. Awal Sebelumnya 51 52 53 54 55 Berikutnya Hal. Akhir

Hasil Pencarian

Ditemukan 1883 dari pencarian Anda melalui kata kunci: Subject : "Computer science—Mathematics."

Saat ini anda berada pada halaman 54 dari total 95 halaman

Permintaan membutuhkan 0.0042 detik untuk selesai

XML Result JSON Result

Informasi

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