?Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away...Daugiau...
?Gaisi Takeuti was one of the most brilliant, genius, and influential logicians of the 20th century. He was a long-time professor and professor emeritus of mathematics at the University of Illinois at Urbana-Champaign, USA, before he passed away...Daugiau...
This Festschrift was published in honor of Andre Scedrov on the occasion of his 65th birthday. The 11 technical papers and 3 short papers included in this volume show the many transformative discoveries made by Andre Scedrov in the areas of...Daugiau...
Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada
Serija: Security and Cryptology
(Išleidimo metai: 25-May-2009, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642020018)
This state-of-the-art survey contains a collection of papers originating in the French-Japanese Collaboration on Formal to Practical Security that have crystallized around workshops held in Tokyo and Nancy between 2005 and 2008. These publications mi...Daugiau...
Eiichi Baba, H. Kawarada, W. Nishijima, Mitsuhiro Okada, H. Suito
(Išleidimo metai: 31-Mar-2003, Hardback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540004424)
Explains the results from the interdisciplinary collaboration between an environmental study group working on coastal ecosystems and effects of oil spills and applied mathematicians modelling wave motion on sandy beaches. This work uses unified Navi...Daugiau...
Mitsuhiro Okada, Benjamin Pierce, Andre Scedrov, Hideyuki Tokuda, Akinori Yonezawa
Serija: Lecture Notes in Computer Science
(Išleidimo metai: 21-Feb-2003, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540007081)
For more than the last three decades, the security of software systems has been an important area of computer science, yet it is a rather recent general recognition that technologies for software security are highly needed.This book assesses the stat...Daugiau...
(Išleidimo metai: 07-Aug-1991, Paperback / softback, Leidėjas: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540543176)
This volume presents the proceedings of the second international CTRS workshop. Topics include the theory of conditional and typed rewriting and its application to programming languages, automated deduction, and other related extensions of rewriting...Daugiau...
