| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9910817842603321 |
|
|
Titolo |
Forgetting machines : knowledge management evolution in early modern Europe / / edited By Alberto Cevolini |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Leiden ; ; Boston : , : Brill, , [2016] |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (401 pages) |
|
|
|
|
|
|
Collana |
|
Library of the written word ; ; v. 53 |
The Handpress world ; ; v. 40 |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Learning and scholarship - Europe - History |
Information organization - Europe - History |
Classification |
Information organization |
Intellectual life |
Learning and scholarship |
History |
Europe Intellectual life |
Europe History 1492- |
Europe |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Preliminary Material -- Knowledge Management Evolution in Early Modern Europe: An Introduction -- Notebooks and Collections of Excerpts: Moments of ars excerpendi in the Greco-Roman World / Tiziano Dorandi -- From domus sapientiae to artes excerpendi: Lambert Schenkel’s De memoria (1593) and the Transformation of the Art of Memory / Koji Kuwakino -- Christoph Just Udenius and the German ars excerpendi around 1700: On the Flourishing and Disappearance of a Pedagogical Genre / Helmut Zedelmaier -- The Art of Excerpting in the Eighteenth Century Literature: Subversion and Continuity of an Old Scholarly Practice / Élisabeth Décultot -- Notebooks, Recollection, and External Memory: Some Early Modern English Ideas and Practices / Richard Yeo -- Storing Expansions: |
|
|
|
|
|
|
|
|
|
|
|
Openness and Closure in Secondary Memories -- Johann Amos Comenius: Early Modern Metaphysics of Knowledge and ars excerpendi / Iveta Nakládalová -- The ‘White Book’ of Miguel de Salinas: Design, Matter, and Destiny of a codex excerptorius / José Aragüés Aldaz -- Albrecht von Haller as an ‘Enlightened’ Reader-Observer / Fabian Krämer -- Medical Note-Taking in the Sixteenth and Seventeenth Centuries / Michael Stolberg -- Early Modern Attitudes toward the Delegation of Copying and Note-Taking / Ann Blair -- Niklas Luhmann’s Card Index: Thinking Tool, Communication Partner, Publication Machine / Johannes F.K. Schmidt -- Note-Keeping: History, Theory, Practice of a Counter-Measurement against Forgetting / Markus Krajewski -- Tools to Remember an Ever-Changing Past / Elena Esposito -- Bibliography -- Index. |
|
|
|
|
|
|
Sommario/riassunto |
|
We are so accustomed to use digital memories as data storage devices, that we are oblivious to the improbability of such a practice. Habit hides what we habitually use. To understand the worldwide success of archives and card indexing systems that allow to remember more because they allow to forget more than before, the evolution of scholarly practices and the transformation of cognitive habits in the early modern age must be investigated. This volume contains contributions by nearly every distinguished scholar in the field of early modern knowledge management and filing systems, and offers a remarkable synthesis of the present state of scholarship. A final section explores some current issues in record-keeping and note-taking systems, and provides valuable cues for future research. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9911001786203321 |
|
|
Titolo |
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / / edited by Arie Gurfinkel, Marijn Heule |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XX, 387 p. 106 illus., 87 illus. in color.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 1611-3349 ; ; 15697 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computer science |
Microprogramming |
Computer networks |
Computer simulation |
Software engineering |
Theory of Computation |
Control Structures and Microprogramming |
Computer Communication Networks |
Computer Modelling |
Software Engineering |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully reviewed and selected from 148 submissions. The proceedings also include 14 papers from the Software Verification competition which was held as part of TACAS. The papers were organized in topical sections as |
|
|
|
|
|
|
|
|
|
|
follows: Part I: Program analysis, ATP and rewriting; model checking; LTL; verification; Part II: SAT and SMT solving; proofs and certificates; synthesis; equivalence checking; games; Part III: Verification; quantum and GPU; 14th Competition on Software Verification, SV-COMP 2025. |
|
|
|
|
|
| |