Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 5 from your keywords: subject="Ilmu Komputer"
cover
Proof, Language, and Interaction; Essays in Honour of Robin Milner
Comment Share
Plotkin, GordonStirling, Colin PatrickTofte, Mads

Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Kumpulan esai asli ini mencerminkan luasnya penelitian terkini dalam ilmu komputer. Robin Milner, tokoh utama dalam bidang ini, telah memberikan banyak kontribusi mendasar, khususnya dalam ilmu komputer teoretis, teori bahasa pemrograman, dan bahasa pemrograman fungsional. Setelah biografi singkat Milner, buku i…

Edition
-
ISBN/ISSN
9780262281676
Collation
1 online resource (xiv, 722 pages)
Series Title
-
Call Number
004.01 PLO p
cover
The Seasoned Schemer (Second Edition)
Comment Share
Friedma, Daniel PaulFelleisen, MatthiasBibby, Duane

Gagasan bahwa "berpikir tentang komputasi adalah salah satu hal paling menarik yang dapat dilakukan oleh pikiran manusia" membedakan The Little Schemer (sebelumnya dikenal sebagai The Little LISPer) dan buku pendampingnya yang baru, The Seasoned Schemer, dari buku-buku lain tentang LISP. Antusiasme para penulis terhadap subjek mereka sangat kuat karena mereka menyajikan konsep-konsep abstrak de…

Edition
2
ISBN/ISSN
9780262287883
Collation
1 online resource (224 pages).
Series Title
COMPUTER SCIENCE
Call Number
004. FRI s
cover
Queueing Theory and Network Applications
Comment Share
Takahashi, YutakaYue, WuyiNguyen, Viet-Ha

Ke-16 makalah dalam prosiding ini telah dipilih dari kiriman ke Konferensi Internasional ke-10 tentang Teori Antrean dan Aplikasi Jaringan (QTNA2015) yang diselenggarakan pada tanggal 17-20 Agustus 2015 di Ha Noi dan Ha Long, Vietnam. Semua kontribusi membahas isu-isu teoritis dan praktis yang terkait dengan teori antrean dan aplikasinya dalam jaringan dan bidang terkait lainnya. Buku ini mempe…

Edition
383
ISBN/ISSN
978-3-319-22267-7
Collation
-
Series Title
Advances in Intelligent Systems and Computing
Call Number
004.072 TAK q
cover
Pillars of Computing; A Compendium of Select, Pivotal Technology Firms
Comment Share
Chen, Chunxian

Ikhtisar: Tujuan dari buku ini adalah untuk mempertimbangkan beberapa perusahaan teknologi yang telah memberikan kontribusi penting dalam bidang komputasi. Tujuannya adalah untuk memberikan pengenalan singkat kepada setiap perusahaan yang dipilih dan memberikan penjelasan singkat tentang kontribusi utamanya. Karena keterbatasan ruang, tidak memungkinkan untuk mempertimbangkan semua perusahaan t…

Edition
-
ISBN/ISSN
978-3-319-21464-1
Collation
-
Series Title
-
Call Number
004 REG p
cover
Perspectives in Business Informatics Research; 14th International Conference,…
Comment Share
Matulevicius, RaimundasDumas, Marlon

Perspektif dalam Penelitian Informatika Bisnis; Konferensi Internasional ke-14, BIR 2015, Tartu, Estonia, 26-28 Agustus 2015, Prosiding, Rangkaian konferensi internasional tentang Perspektif Riset Informatika Bisnis (BIR) didirikan 15 tahun lalu. Tujuannya adalah untuk menyediakan forum di mana para peneliti di bidang informatika bisnis, baik senior maupun junior, dapat berbagi dan mendiskusika…

Edition
Vol 229
ISBN/ISSN
978-3-319-21915-8
Collation
-
Series Title
Lecture Notes in Business Information Processing (Conference series: International Conference on Business Informatics Research)
Call Number
004.072 MAT p c.1