Filter by
A Catalogue of 18th-Century Symphonies
A Catalogue of 18th-Century Symphonies makes possible for the first time a comprehensive view of one of the largest and most significant repertories in the history of music. Until now, no one has known for certain who wrote what, and hundreds of symphonies have been attributed in manuscript and printed sources to two or more composers. Under these conditions no reliable history of the symphony …
- Edition
- -
- ISBN/ISSN
- 9780253055491
- Collation
- -
- Series Title
- -
- Call Number
- -
Sensitivity Analysis: Matrix Methods in Demography and Ecology
Buku akses terbuka ini menunjukkan bagaimana menggunakan analisis sensitivitas dalam demografi. Ini menyajikan metode baru untuk individu, kohort, dan populasi, dengan aplikasi untuk manusia, hewan lain, dan tumbuhan. Analisis didasarkan pada formulasi matriks dari model populasi yang diklasifikasikan berdasarkan usia, tahap, dan multistate. Metode disajikan untuk kasus linier dan nonlinier, de…
- Edition
- -
- ISBN/ISSN
- 978-3-030-10534-1
- Collation
- online resource ( XVIII, 299 Pages)
- Series Title
- Monografi Penelitian Kependudukan (DEMOGRAPHIC)
- Call Number
- 304.6011 CAS s
Formalizing The Shadow Economy in Serbia: Policy Measures and Growth Effects
Tujuan utama buku ini adalah untuk mengembangkan strategi dan langkah-langkah kebijakan untuk meningkatkan formalitas ekonomi bayangan guna memperbaiki daya saing ekonomi dan berkontribusi pada pertumbuhan ekonomi; buku ini mengeksplorasi isu-isu ini dengan referensi khusus terhadap Serbia. Ukuran dan perkembangan ekonomi bayangan di Serbia dan negara-negara Eropa Tengah dan Timur lainnya diest…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-13436-9
- Collation
- online resource ( IX, 179 Pages)
- Series Title
- Kontribusi terhadap Perekonomian
- Call Number
- 331.25 KRS f
Formalization of Banking Supervision
This book has been many, many years in the making. Eiji Hotori and Mikael Wendschlag presented a crude first draft, including the conceptualization of the formalization process, at the 17th World Economic History Congress in Kyoto, Japan in August 2015 (WEHC 2015). At a session organized by Hotori entitled “Banking supervision in comparative perspective: Europe, America and East Asia,”…
- Edition
- -
- ISBN/ISSN
- 9789811667831
- Collation
- -
- Series Title
- -
- Call Number
- -
Advances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and Gentzen's approaches to meaning, knowability paradoxes, proof-theoretic foundations of set theory, Du…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-22686-6
- Collation
- VI, 283
- Series Title
- Trends in Logic
- Call Number
- 511.3 ADV a
The Everyday Life of an Algorithm
This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in a series of ever more demanding for…
- Edition
- 1
- ISBN/ISSN
- 9783030005788
- Collation
- IX, 151 hlm; ill., lamp.,
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 22nd Internationa…
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019.The 29 papers presented in this volume were carefully reviewed and selected fro…
- Edition
- 1
- ISBN/ISSN
- 9783030171278
- Collation
- XV, 542
- Series Title
- -
- Call Number
- -
Foundations of Software Science and Computation Structures: 24th Internationa…
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format du…
- Edition
- 1
- ISBN/ISSN
- 9783030719951
- Collation
- XV, 574
- Series Title
- -
- Call Number
- -
Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, …
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solv…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- XV, 756
- Series Title
- -
- Call Number
- -
Special Topics in Mathematics for Computer Scientists: Sets, Categories, Top…
This textbook addresses the mathematical description of sets, categories, topologies and measures, as part of the basis for advanced areas in theoretical computer science like semantics, programming languages, probabilistic process algebras, modal and dynamic logics and Markov transition systems. Using motivations, rigorous definitions, proofs and various examples, the author systematically int…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22750-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography