| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA990009259690403321 |
|
|
Titolo |
Tools and Algorithms for the Construction and Analysis of Systems [Risorsa elettronica] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings / edited by David Hutchison, Takeo Kanade, Josef Kittler, Jon M. Kleinberg, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Madhu Sudan, Demetri Terzopoulos, Doug Tygar, Moshe Y. Vardi, Gerhard Weikum, Stefan Kowalewski, Anna Philippou |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin ; Heidelberg : Springer, 2009 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Computer Science , 0302-9743 ; 5505 |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Risorsa elettronica |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA990001359470403321 |
|
|
Titolo |
Advances in linear logic : Linear Logic Workshop, Cornell University, Ithaca, New York : USA, June 14-18, 1993 / edited by Jean-Yves Girard, Yves Lafont, Laurent Regnier |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cambridge : Cambridge University Press, c1995 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
vi, 389 p. : ill. ; 23 cm |
|
|
|
|
|
|
Collana |
|
London Mathematical Society lecture note series ; 222 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Locazione |
|
|
|
|
|
|
Collocazione |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
|
|
|
|
|
|
|
3. |
Record Nr. |
UNISA996386298303316 |
|
|
Autore |
Carr William |
|
|
Titolo |
Carr's case [[electronic resource] ] : being a brief relatio[n] of the cause and sufferings o[f] Mr. William Carre, humbly tendred to the consideration of the hon'ble House of Commons, who are the representatives of all the commons of England : together with a plea against the pretended jurisdictions & [irre]gular proceedings of the House of Lords in which may [be] seen the just rights of every commoner & free-born subject of England |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Amsterdam printed, : [s.n.], 1670 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
Whistle blowing - England |
Political corruption - England |
Great Britain History Charles II, 1660-1685 |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Imperfect: cropped and stained, with loss of print; bracketed information supplied from NUC pre-1956 imprints. |
Reproduction of the original in the Huntington Library. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
|
|
|
|
| |