1.

Record Nr.

UNISA990003147220203316

Autore

[Symposium held September 24-25, 2007 in Macao, China] : <2007

Titolo

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays : [symposium held September 24-25, 2007 in Macao, China] / Cliff B. Jones, Zhiming Liu, Jim Woodcock (Eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer 2007, copyr. 2007

ISBN

978-3-540-75220-2

Descrizione fisica

XVI, 538 p. : ill. ; 24 cm

Collana

Lecture notes in computer science , Festschrift ; 4700

Disciplina

004.33

Soggetti

Elaborazione in tempo reale - Congressi - Macao - 2007

Collocazione

001 LNCS 4700

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia



2.

Record Nr.

UNISA996395918303316

Autore

Ent George, Sir, <1604-1689.>

Titolo

Apologia pro circuitione sanguinis [[electronic resource] ] : qua respondetur Æmylio Parisano Medico Veneto / / auctore George Entio

Pubbl/distr/stampa

Londini, : Typis M.F. Impensis G. Kettilby ..., 1685

Edizione

[Editio altera auctior & accuratior.]

Descrizione fisica

[20], 431 p

Soggetti

Blood - Circulation

Lingua di pubblicazione

Latino

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Includes bibliographical references.

A defense of Harvey's doctrine of the circulation.

Reproduction of original in Cambridge University Library.

Sommario/riassunto

eebo-0021