| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISANNIOBVEE016270 |
|
|
Autore |
Tommaso : d'Aquino <santo> |
|
|
Titolo |
Â8: ÂTomus octauus D. Thomae Aquinatis doctoris angelici complectens Quaestiones, quae disputatae dicuntur, & Quaestiones quodlibetales, siue Placitorum. S. Tho. .. |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Romae 1570 ( (Romae) : apud Iulium Accoltum, 1570 |
|
|
|
|
|
|
|
Descrizione fisica |
|
2 pt. ([6], 490; [4], 78 c.) : 1 ritr. ; fol |
|
|
|
|
|
|
Collocazione |
|
72ANTICO 5.E 872ANTICO 5.E 1472ANTICO 14.F 6 |
BNSALA FARN.08. E 0009 |
BUZ.D. 0229BUA 020 06 |
CMSALA F F.2 2.6 |
GEA 26 0140 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Marca (Z145) in fine alla pt. 1 |
Altro colophon in fine alla pt. 1, c. 3P10r |
Segn.: Aâ¶A-3O⸠3P¹â°; ââ´A-Iâ¸Kⶠ|
Iniziali e fregi xil |
Sul front. della pt. 1, entro cornice ritr. di Tommaso d'Aquino, stemma di Pio V e del card. Vincenzo Giustiniani |
Tit. della pt. 2: Diui Thomae Aquinatis doctoris angelici Quaestiones quodlibetales duodecim. ... |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA990001766310403321 |
|
|
Autore |
Università degli studi di Pavia |
|
|
Titolo |
Relazione del Magnifico Rettore Prof. Luigi De Caro letta nell'Aula Magna dell'Università il di 13 Novembre 1961 per la solenne inaugurazione dell'anno accademico 1961-62 / Università degli Studi di Pavia |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Pavia : Università degli Studi, 1962 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNINA9910483778703321 |
|
|
Titolo |
Database theory : ICDT 2007 : 11th international conference, Barcelona, Spain, January 10-12, 2007 : proceedings / / Thomas Schwentick, Dan Suciu (eds.) |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; ; New York, : Springer, c2006 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2006.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XI, 419 p.) |
|
|
|
|
|
|
Collana |
|
Lecture notes in computer science, , 0302-9743 ; ; 4353 |
LNCS sublibrary. SL 3, Information systems and application, incl. Internet/Web, and HCI |
|
|
|
|
|
|
|
|
Altri autori (Persone) |
|
SchwentickThomas |
SuciuDan |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Bibliographic Level Mode of Issuance: Monograph |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Invited Lectures -- Consistent Query Answering: Five Easy Pieces -- Ask a Better Question, Get a Better Answer A New Approach to Private Data Analysis -- Beauty and the Beast: The Theory and Practice of Information Integration -- Information Integration and Peer to Peer -- Approximate Data Exchange -- Determinacy and Rewriting of Conjunctive Queries Using Views: A Progress Report -- Compact Samples for Data Dissemination -- Privacy in GLAV Information Integration -- Axiomatizations for XML -- Unlocking Keys for XML Trees -- Characterization of the Interaction of XML Functional Dependencies with DTDs -- Axiomatizing the Logical Core of XPath 2.0 -- Expressive Power of Query Languages -- Query Evaluation on a Database Given by a Random Graph -- The Limits of Querying Ontologies -- Incompleteness, Inconsistency, and Uncertainty -- Complexity of Consistent Query Answering in Databases Under Cardinality-Based and Incremental Repair Semantics -- World-Set Decompositions: Expressiveness and Efficient Algorithms -- On the Expressiveness of Implicit Provenance in Query and Update Languages -- Trajectory Databases: Data Models, Uncertainty and Complete Query Languages -- XML Schemas and Typechecking -- Complexity of Typechecking XML Views of Relational Databases -- Exact XML Type |
|
|
|
|
|
|
|
|
|
|
Checking in Polynomial Time -- Optimizing Schema Languages for XML: Numerical Constraints and Interleaving -- Stream Processing and Sequential Query Processing -- Database Query Processing Using Finite Cursor Machines -- Constant-Memory Validation of Streaming XML Documents Against DTDs -- Ranking -- Preferentially Annotated Regular Path Queries -- Combining Incompleteness and Ranking in Tree Queries -- XML Update and Query -- Structural Recursion on Ordered Trees and List-Based Complex Objects -- Combining Temporal Logics for Querying XML Documents -- Commutativity Analysis in XML Update Languages -- Query Containment -- Containment of Conjunctive Queries over Databases with Null Values -- Some Algorithmic Improvements for the Containment Problem of Conjunctive Queries with Negation. |
|
|
|
|
|
| |