1.

Record Nr.

UNISA990001459500203316

Autore

CASARI, Ettore

Titolo

Lineamenti di logica matematica / Ettore Casari

Pubbl/distr/stampa

Milano : Feltrinelli, 1964

Descrizione fisica

323 p. ; 23 cm

Collana

Filosofia della scienza

Disciplina

511.3

Soggetti

Logica matematica

Collocazione

II.6. 553(IV B 105)

Lingua di pubblicazione

Italiano

Formato

Materiale a stampa

Livello bibliografico

Monografia

2.

Record Nr.

UNINA9910957162103321

Titolo

Realizing the potential of C4I : fundamental challenges / / Committee to Review DOD C4I Plans and Programs; Computer Science and Telecommunications Board; Commission on Physical Sciences, Mathematics, and Applications; National Research Council

Pubbl/distr/stampa

Washington, D.C., : National Academy Press, 1999

ISBN

9780309173155

0309173159

9780309518734

0309518733

9780585057590

0585057591

Edizione

[1st ed.]

Descrizione fisica

1 online resource (298 pages)

Disciplina

355.3/432/0973

Soggetti

Command and control systems - United States

Military intelligence - United States

United States Armed Forces Communication systems

United States Armed Forces Data processing



Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

Description based upon print version of record.

Nota di contenuto

""Front Matter""; ""Preface""; ""Acknowledgment of Reviewers""; ""Contents""; ""Executive Summary""; ""2 Interoperability""; ""3 Information Systems Security""; ""4 Process and Culture""; ""Appendix A List of Site Visits and Briefings""; ""Appendix B Summary of Relevant Reports and Documents""; ""Appendix C Members of the Committee""

Sommario/riassunto

Identifies three major areas as fundamental challenges to the full Department of Defense (DOD) exploitation of C4I technology - information systems security, interoperability, and various aspects of DOD process and culture. This book details principles by which to assess DOD efforts in these areas over the long term.