| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996465816103316 |
|
|
Autore |
Menezes A. J. |
|
|
Titolo |
Advances in Cryptology - CRYPTO '90 |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Springer Berlin Heidelberg |
|
|
|
|
|
|
|
Descrizione fisica |
|
1 online resource (xiv, 650 p.) : ill |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Sommario/riassunto |
|
Crypto '90 marked the tenth anniversary of the Crypto conferences held at the University of California at Santa Barbara. The conference was held from August 11 to August 15, 1990 and was sponsored by the International Association for Cryptologic Research, in cooperation with the IEEE Computer Society Technical Committee on Security and Privacy and the Department of Computer Science of the University of California at Santa Barbara. 227 participants from twenty countries around the world. Crypto '90 attracted Roughly 35% of attendees were from academia, 45% from industry and 20% from government. The program was intended to provide a balance between the purely theoretical and the purely practical aspects of cryptography to meet the needs and diversified interests of these various groups. The overall organization of the conference was superbly handled by the general chairperson Sherry McMahan. All of the outstanding features of Crypto, which we have come to expect over the years, were again present and, in addition to all of this, she did a magnificent job in the preparation of the book of abstracts. This is a crucial part of the program and we owe her a great deal of thanks. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2. |
Record Nr. |
UNINA9910299254903321 |
|
|
Autore |
Smith Einar |
|
|
Titolo |
Carl Adam Petri : Life and Science / / by Einar Smith |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2015.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (133 p.) |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computers |
Mathematics |
Philosophy |
History of Computing |
Mathematics, general |
Philosophy, general |
Theory of Computation |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Note generali |
|
Description based upon print version of record. |
|
|
|
|
|
|
Nota di bibliografia |
|
Includes bibliographical references and index. |
|
|
|
|
|
|
Nota di contenuto |
|
Introduction -- Infancy and Youth -- University, Academe, Family -- Thesis on Automata -- The Maturing Years -- GMD - Home of the Petri Nets -- Net Foldings -- Morphisms and Topology -- Non-Sequential Processes and Concurrency Theory -- Communication Disciplines -- Theory of Measurement -- The Prosperity Years -- The Late Years -- References -- Index. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
The book presents the life and works of one of Germany's most famous computer scientists, Carl Adam Petri. It is written in a vivid and entertaining manner, providing an in-depth discussion of the background behind Petri's best-known contribution to computer science, the Petri net. In this way the book can be read as a first introduction to nets, but it also covers the theoretical, physical and philosophical foundations behind nets, thus facilitating a comprehensive understanding of the wider range of Petri's works. The book is intended for readers with a previous knowledge in computer science, as well as for “interested non-professionals”, who want to get to know a remarkable personality of contemporary science. |
|
|
|
|
|
|
|
| |