| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNIBAS000012843 |
|
|
Autore |
Mathiak, Karl |
|
|
Titolo |
Valuations of skew fields and projective Hjelmslev spaces / Karl Mathiak |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin [etc.] : Springer, c1986 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Lecture notes in mathematics ; 1175 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Numeri - Teoria |
Geometria |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNISA990003606440203316 |
|
|
Titolo |
Da scugnizzi a marinaretti : l'esperienza della nave asilo Caracciolo, 1913-1928 : mostra foto-documentaria / a cura di Antonio Mussari e Maria Antonietta Selvaggio |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Napoli, : Edizioni scientifiche e artistiche, 2010 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Collana |
|
Progetto memoria / Fondazione Thetys, Museo del mare ; 1 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Bambini abbandonati - Assistenza - Napoli - 1913-1928 - Ruolo [di] Civita Franceschi, Giulia - Cataloghi di esposizioni |
|
|
|
|
|
|
|
|
Collocazione |
|
X.3.B. 6279 |
X.3.B. 6279 a |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Mostra tenuta a Procida nel 2009 e a Napoli nel 2010 |
In copertina: Fondazione Thetys, Museo del mare |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996397273103316 |
|
|
Autore |
Johnson Richard <1573-1659?> |
|
|
Titolo |
The famous history of the seven champions of Christendom [[electronic resource] ] : St. George of England, St. Denis of France, St. James of Spain, St. Anthony of Italy, St. Andrew of Scotland, St. Patrick of Ireland, and St. David of Wales. Shewing their honourable battels by sea and land: thier [sic] tilts, justs, turnaments, for ladies: their combats with gyants, monsters and dragons: their adventures in forraign nations: their enchantments in the Holy Land: their knight-hoods, prowess, and chivlary, in Europe, Africa and Asia; with their victories against the enemies of Christ. Also the true manner and places of their deaths, being seven tragedies: and how they came to be called the seven saints of Christendom. The first part |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
London, : printed by J.B. for Andrew Crook at the Green Dragon in St. Pauls Church-yard, [1660] |
|
|
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
"To all courteous readers" signed: R.J. [i.e. Richard Johnson]. |
Date of publication from Wing. |
Running title: The honourable history of the seven champions of Christendom. |
Signatures: [A]-2A⁴ [-R4]; quire Q-R are mis-signed as 2N-K. |
Copy lacks R4; bound with Wing J801. |
Reproduction of the original in the Bodleian Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
|
|
|
|
|
|
|
|
4. |
Record Nr. |
UNINA9910698508303321 |
|
|
Titolo |
H.R. 2262 [[electronic resource] ] : Hardrock Mining and Reclamation Act of 2007 : legislative hearing before the Subcommittee on Energy and Mineral Resources of the Committee on Natural Resources, U.S. House of Representatives, One Hundred Tenth Congress, first session, Tuesday, October 2, 2007 |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Washington : , : U.S. G.P.O., , 2008 |
|
|
|
|
|
|
|
Descrizione fisica |
|
iii, 89 pages : digital, PDF file |
|
|
|
|
|
|
Soggetti |
|
Mining claims - United States |
Abandoned mined lands reclamation - Law and legislation - United States |
Mining law - United States |
Mineral industries - Environmental aspects - United States |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Title from title screen (viewed on Nov. 25, 2008). |
Paper version available for sale by the Supt. of Docs., U.S. G.P.O. |
"Serial no. 110-46." |
|
|
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references. |
|
|
|
|
|
|
|
|
|
|
|
|
|
5. |
Record Nr. |
UNINA9910767576103321 |
|
|
Titolo |
Theoretical Computer Science : 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings / / edited by Antonio Restivo, Simona Ronchi Della Rocca, Luca Roversi |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2001 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2001.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XII, 448 p.) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science, , 0302-9743 ; ; 2202 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Algorithms |
Computer logic |
Logic, Symbolic and mathematical |
Data structures (Computer science) |
Theory of Computation |
Computation by Abstract Devices |
Algorithm Analysis and Problem Complexity |
Logics and Meanings of Programs |
Mathematical Logic and Formal Languages |
Data Structures |
|
|
|
|
|
|
|
|
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 |
|
A LTS Semantics of Ambients via Graph Synchronization with Mobility -- Filter Models and Easy Terms -- Confluence of Untyped Lambda Calculus via Simple Types -- Incremental Inference of Partial Types -- Call-by-Value Separability and Computability -- Job Shop Scheduling with Unit Length Tasks: Bounds and Algorithms -- Job Shop Scheduling Problems with Controllable Processing Times -- Upper Bounds on the Size of One-Way Quantum Finite Automata -- P Systems with Gemmation of Mobile Membranes -- Instantaneous Actions vs. Full Asynchronicity: Controlling and Coordinating a Sset of Autonomous Mobile Robots -- Some Structural Properties of Associative Language Descriptions -- Block-Deterministic Regular Languages -- |
|
|
|
|
|
|
|
|
|
|
|
Constructing Finite Maximal Codes from Schützenberger Conjecture -- An Effective Translation of Fickle into Java -- Subtyping and Matching for Mobile Objects -- On Synchronous and Asynchronous Communication Paradigms -- Complexity of Layered Binary Search Trees with Relaxed Balance -- Distance Constrained Labeling of Precolored Trees -- Exponentially Decreasing Number of Operations in Balanced Trees -- Directed Hypergraphs: Problems, Algorithmic Results, and a Novel Decremental Approach -- Coupon Collectors, q-Binomial Coefficients and the Unsatisfiability Threshold -- Relating Partial and Complete Solutions and the Complexity of Computing Smallest Solutions -- On the Distribution of a Key Distribution Center -- Online Advertising: Secure E-coupons -- A Calculus and Complexity Bound for Minimal Conditional Logic -- Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach -- E-unifiability via Narrowing. |
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001. The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming. |
|
|
|
|
|
|
|
| |