Proof, Language, and Interaction; Essays in Honour of Robin Milner

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…

Scientific discovery; Computational Explorations of the Creative Process

Penemuan ilmiah sering dianggap romantis dan kreatif—dan karenanya tidak dapat dianalisis—sementara proses sehari-hari untuk memverifikasi penemuan bersifat tenang dan lebih cocok untuk dianalisis. Namun, eksplorasi menarik tentang bagaimana pekerjaan ilmiah berlangsung ini berpendapat bahwa betapapun tiba-tiba momen penemuan itu tampaknya, proses penemuan dapat dijelaskan dan dimodelkan. D…

Radio Frequency Identification; 11th International Workshop, RFIDsec 2015, Ne…

Buku ini merupakan hasil prosiding pasca-konferensi yang telah melalui proses penelaahan menyeluruh dari Lokakarya Internasional ke-11 tentang Identifikasi Frekuensi Radio yang diselenggarakan di New York, AS, pada bulan Juni 2015. Ke-10 makalah lengkap yang telah direvisi telah ditinjau dengan saksama dan dipilih dari 23 kiriman dan disusun dalam beberapa bagian topik tentang PUF dan aplikasin…

Prehistoric Ireland : a manual of Irish pre-Christian archaeology

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

-

The graves at Kilmorna

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

-

History of the war in the Peninsula and in the south of France, from the year…

Edition

-

ISBN/ISSN

-

Collation

3 v. 18 cm

Series Title

3

Call Number

-

Globalizing innovation :state institutions and foreign direct investment in e…

The impact of host country institutions and policy on innovation by multinational firms in emerging economies. In the past, multinational firms have looked to developing countries as sources of raw materials, markets, or production efficiencies, but rarely as locations for innovation. Today, however, R & D facilities and other indicators of multinational-linked innovation are becoming more comm…

The Cognitive Neuropsychiatry of Parkinson's Disease

Patrick McNamara examines the major neuropsychiatric syndromes of Parkinson's disease in detail and offers a cognitive theory that accounts for both their neurology and their phenomenology.OCLC-licensed vendor bibliographic record.

Escaping the energy poverty trap :when and how governments power the lives of…

The first comprehensive political science account of energy poverty, arguing that governments can improve energy access for their citizens through appropriate policy design.OCLC-licensed vendor bibliographic record.

Protocols for Pre-Field Screening of Mutants for Salt Tolerance in Rice, Whea…

Program Gabungan FAO/IAEA tentang Teknik Nuklir dalam Pangan dan Pertanian telah mendukung Negara-negara Anggota dalam penggunaan teknik nuklir dalam pemuliaan tanaman dan genetika selama lebih dari 50 tahun. Hal ini dicapai melalui penelitian dan pelatihan khususnya dalam pengembangan metode induksi mutasi dan deteksi mutasi. Induksi mutasi pada tanaman bertujuan untuk menghasilkan keragaman g…