OPEN EDUCATIONAL RESOURCES

UPA PERPUSTAKAAN UNEJ | NPP. 3509212D1000001

  • Home
  • Admin
  • Select Language :
    Arabic Bengali Brazilian Portuguese English Espanol German Indonesian Japanese Malay Persian Russian Thai Turkish Urdu

Search by :

ALL Author Subject ISBN/ISSN Advanced Search

Last search:

{{tmpObj[k].text}}

Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 9 from your keywords: subject="Algoritma Komputer"
cover
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Comment Share
SHARYGINA, NatashaSANKARANARAYANAN, Sriram

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…

Edition
-
ISBN/ISSN
978-3-031-30823-9
Collation
1 online resource (XXIII, 708 Pages)
Series Title
-
Call Number
005.1 SAN t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; 29th Inter…
Comment Share
SHARYGINA, NatashaSANKARANARAYANAN, Sriram

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-29 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2023, yang diadakan sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2023, selama 22-27 April 2023, di Paris, Prancis. 56 makalah lengkap dan 6 makalah demonstrasi alat singkat yang disajikan dalam volume i…

Edition
-
ISBN/ISSN
978-3-031-30820-8
Collation
1 online resource (XXIV, 604 Pages)
Series Title
-
Call Number
005.1 SAN t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; Theory and…
Comment Share
FISMAN, DanaROSU, Grigore

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-28 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2022, yang diadakan selama 2-7 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 46 makalah lengkap dan 4 makalah pendek yang disajikan dalam volume ini ditinjau dan dipi…

Edition
-
ISBN/ISSN
978-3-030-99527-0
Collation
1 online resource (XXI, 493 Pages)
Series Title
-
Call Number
005.1 FIS t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; 28th Inter…
Comment Share
FISMAN, DanaROSU, Grigore

Buku akses terbuka ini merupakan prosiding Konferensi Internasional ke-28 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2022, yang diadakan selama 2-7 April 2022, di Munich, Jerman, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2022. 46 makalah lengkap dan 4 makalah pendek yang disajikan dalam volume ini ditinjau dan dipi…

Edition
-
ISBN/ISSN
978-3-030-99524-9
Collation
1 online resource (XXII, 583 Pages)
Series Title
-
Call Number
005.1 KOM t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…
Comment Share
GROOTE, Jan FrisoLARSEN, Kim Guldstrand

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…

Edition
-
ISBN/ISSN
978-3-030-72013-1
Collation
1 online resource (XXI, 465 Pages)
Series Title
-
Call Number
005.1 GRO t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; 27th Inter…
Comment Share
GROOTE, Jan FrisoLARSEN, Kim Guldstrand

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-27 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2021, yang diadakan selama 27 Maret – 1 April 2021, sebagai bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2021. Konferensi tersebut direncanakan akan berlangsung di Luksemburg dan diubah menjadi form…

Edition
-
ISBN/ISSN
978-3-030-72016-2
Collation
1 online resource (XXI, 471 Pages)
Series Title
-
Call Number
005.1 GRO t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; 26th Inter…
Comment Share
BIERE, ArminPARKER, David

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-26 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Total 60 makalah reguler yang disajikan dalam volume ini diti…

Edition
-
ISBN/ISSN
978-3-030-45237-7
Collation
1 online resource (XXIV, 425 Pages)
Series Title
-
Call Number
005.1 BIE t
Availability0
Add to basket
MARC DownloadCite
cover
Tools and Algorithms for the Construction and Analysis of Systems; 26th Inter…
Comment Share
BIERE, ArminPARKER, David

Set dua volume akses terbuka ini merupakan prosiding Konferensi Internasional ke-26 tentang Alat dan Algoritma untuk Konstruksi dan Analisis Sistem, TACAS 2020, yang berlangsung di Dublin, Irlandia, pada bulan April 2020, dan diadakan sebagai Bagian dari Konferensi Gabungan Eropa tentang Teori dan Praktik Perangkat Lunak, ETAPS 2020. Total 60 makalah reguler yang disajikan dalam volume ini diti…

Edition
-
ISBN/ISSN
978-3-030-45190-5
Collation
1 online resource (XXIV, 501 Pages)
Series Title
-
Call Number
005.1 BIE t
Availability0
Add to basket
MARC DownloadCite
cover
Reasoning about knowledge
Comment Share
Fagin, RonaldHalpern, Joseph YitzhakMoses, YoramVardi, Moshe

Penalaran tentang pengetahuan--khususnya pengetahuan agen yang bernalar tentang dunia dan pengetahuan satu sama lain--dulunya hanya dilakukan oleh para filsuf dan pemecah teka-teki. Baru-baru ini, jenis penalaran ini terbukti memainkan peran penting dalam sejumlah konteks yang mengejutkan, mulai dari memahami percakapan hingga analisis algoritma komputer terdistribusi. Penalaran Tentang Pengeta…

Edition
-
ISBN/ISSN
9780262256094
Collation
1 online resource (xiii, 517 pages) :
Series Title
-
Call Number
005.1 FAG r
Availability0
Add to basket
MARC DownloadCite
OPEN EDUCATIONAL RESOURCES

Search

start it by typing one or more keywords for title, author or subject


Select the topic you are interested in
  • Computer Science, Information & General Works
  • Philosophy & Psychology
  • Religion
  • Social Sciences
  • Language
  • Pure Science
  • Applied Sciences
  • Art & Recreation
  • Literature
  • History & Geography
Icons made by Freepik from www.flaticon.com
Advanced Search
Where do you want to share?