top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11-13, 1995 Proceedings / edited by Kanchana Kanchanasut, Jean-Jacques Lévy
Algorithms, Concurrency and Knowledge : 1995 Asian Computing Science Conference, ACSC '95 Pathumthani, Thailand, December 11-13, 1995 Proceedings / edited by Kanchana Kanchanasut, Jean-Jacques Lévy
Creatore [Asian Computing Science Conference (1st : 1995 : Pathumthani, Thailand)]
Estensione 1 online resource (x, 410 pages) : illustrations.
Accesso persona Kanchanasut, Kanchana, 1951-
Lévy, Jean-Jacques, 1947-
Genere/Forma Congressen (vorm)
ISBN 9783540492627
3540492623
3540606882
9783540606888
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11077982
[Asian Computing Science Conference (1st : 1995 : Pathumthani, Thailand)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20-22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi
Human Computer Interaction : Vienna Conference, VCHCI '93, Fin de Siècle Vienna, Austria, September 20-22, 1993 Proceedings / edited by Thomas Grechenig, Manfred Tscheligi
Creatore [Vienna Conference on Human Computer Interaction (1993 : Vienna, Austria)]
Estensione 1 online resource.
Accesso persona Grechenig, Thomas
Tscheligi, Manfred
Genere/Forma Electronic books
Congressen (vorm)
ISBN 9783540480525
3540480528
0387573127
9780387573120
3540573127
9783540573128
Classificazione 54.59
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11078075
[Vienna Conference on Human Computer Interaction (1993 : Vienna, Austria)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Typed Lambda Calculi and Applications : Second International Conference on Typed Lambda Calculi and Applications, TLCA '95 Edinburgh, United Kingdom, April 10-12, 1995 Proceedings / edited by Mariangiola Dezani-Ciancaglini, Gordon Plotkin
Creatore [International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland)]
Estensione 1 online resource : v.: digital.
Accesso persona Plotkin, G. (Gordon), 1946-
Dezani-Ciancaglini, M. (Mariangiola)
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540491781
3540491783
354059048X
9783540590484
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Comparing ?-calculus translations in sharing graphs -- Extensions of pure type systems -- A model for formal parametric polymorphism: A per interpretation for system R -- A realization of the negative interpretation of the Axiom of Choice -- Using subtyping in program optimization -- What is a categorical model of Intuitionistic Linear Logic? -- An explicit Eta rewrite rule -- Extracting text from proofs -- Higher-order abstract syntax in Coq -- Expanding extensional polymorphism -- Lambda-calculus, combinators and the comprehension scheme -- ??-Equality for coproducts -- Typed operational semantics -- A simple calculus of exception handling -- A simple model for quotient types -- Untyped ?-calculus with relative typing -- Final semantics for untyped ?-calculus -- A simplification of Girard's paradox -- Basic properties of data types with inequational refinements -- Decidable properties of intersection type systems -- Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq -- Typed ?-calculi with explicit substitutions may not terminate -- On equivalence classes of interpolation equations -- Strict functionals for termination proofs -- A verified typechecker -- Categorical semantics of the call-by-value ?-calculus -- A fully abstract translation between a ?-calculus with reference types and Standard ML -- Categorical completeness results for the simply-typed lambda-calculus -- Third-order matching in the presence of type constructors.
Record Nr. UCHICAGO-11078079
[International Conference on Typed Lambda Calculi and Applications (2nd : 1995 : Edinburgh, Scotland)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Proliferating talent : essays on politics, thought, and education in the Meiji era / Motoyama Yukihiko ; edited by J.S.A. Elisonas and Richard Rubinger
Proliferating talent : essays on politics, thought, and education in the Meiji era / Motoyama Yukihiko ; edited by J.S.A. Elisonas and Richard Rubinger
Creatore [Motoyama, Yukihiko, 1924-]
Estensione 1 online resource (xii, 475 pages)
Accesso persona Elisonas, J. S. A., 1937-
Rubinger, Richard, 1943-
Soggetto cronologico Since 1868
Genere/Forma Electronic books
History
Congressen (vorm)
ISBN 0585342865
9780585342863
9780824864033
0824864034
0824818466
9780824818463
Classificazione 81.01
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11113636
[Motoyama, Yukihiko, 1924-]  
Materiale a stampa
Lo trovi qui: University of Chicago
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).
Applied algebra, algebraic algorithms, and error-correcting codes : 13th international symposium, AAECC-13, Honolulu, Hawaii, USA, November 15-19, 1999 : proceedings / Marc Fossorier [and others] (eds.).
Creatore [AAECC-13 (1999 : Honolulu, Hawaii)]
Estensione 1 online resource (xiii, 510 pages) : illustrations.
Accesso persona Fossorier, Marc, 1964-
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
ISBN 9783540467960
3540467963
3540667237
9783540667230
Classificazione 54.10
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11067818
[AAECC-13 (1999 : Honolulu, Hawaii)]  
Materiale a stampa
Lo trovi qui: University of Chicago
Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20-22, 1995 Proceedings / edited by Franz J. Brandenburg
Graph Drawing : Symposium on Graph Drawing, GD '95 Passau, Germany, September 20-22, 1995 Proceedings / edited by Franz J. Brandenburg
Creatore [Brandenburg, F. J. (Franz J.)]
Estensione 1 online resource : v.: digital.
Genere/Forma Electronic books
Congressen (vorm)
ISBN 9783540493518
3540493514
3540607234
9783540607236
Classificazione 54.73
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11078091
[Brandenburg, F. J. (Franz J.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
The Development of speech perception : the transition from speech sounds to spoken words / edited by Judith C. Goodman and Howard C. Nusbaum
The Development of speech perception : the transition from speech sounds to spoken words / edited by Judith C. Goodman and Howard C. Nusbaum
Estensione 1 online resource (xii, 351 pages) : illustrations
Accesso persona Goodman, Judith C. (Judith Claire), 1958-
Nusbaum, Howard C.
Accesso convegno Workshop on Recognizing Spoken Language (1989 : University of Chicago)
Genere/Forma Electronic books
Conference papers and proceedings
Congressen (vorm)
Congresses
Soggetto non controllato Psycholinguistics
ISBN 0585021252
9780585021256
9780262071543
0262071541
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Developing theories of speech perception : constraints from developmental data / Judith C. Goodman, Lisa Lee, and Jenny DeGroot -- Observations on speech perception, its development, and the search for a mechanism / Joanne L. Miller and Peter D. Eimas -- The importance of childhood to language acquisition : evidence from American sign language / Rachel I. Mayberry -- Cross-cultural speech perception : developmental change does not involve loss / Janet F. Werker -- Perceptual learning on nonnative speech contrasts : implications for theories of speech perception / David B. Pisoni, Scott E. Lively, and John S. Logan -- The emergence of native-language phonological influences in infants : a perceptual assimilation model / Catherine T. Best -- Infant speech perception and the development of the mental lexicon / Peter W. Jusczyk.
Sentential processes in early child language : evidence from the perception and production of function morphemes / LouAnn Gerken -- Learning to hear speech as spoken language / Howard C. Nusbaum and Judith C. Goodman.
Record Nr. UCHICAGO-11099406
Materiale a stampa
Lo trovi qui: University of Chicago
Understanding witchcraft and sorcery in Southeast Asia / edited by C.W. Watson and Roy Ellen
Understanding witchcraft and sorcery in Southeast Asia / edited by C.W. Watson and Roy Ellen
Estensione 1 online resource (viii, 222 pages) : map
Accesso persona Watson, C. W.
Ellen, R. F., 1947-
Accesso convegno Canterbury International Symposium on Southeast Asian Studies (1st : 1989 : University of Kent)
Genere/Forma Electronic books
Congressen (vorm)
ISBN 0585326738
9780585326733
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11111685
Materiale a stampa
Lo trovi qui: University of Chicago
Selected areas in cryptography : 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 : proceedings / Stafford Tavares, Henk Meijer (eds.).
Selected areas in cryptography : 5th annual international workshop, SAC'98, Kingston, Ontario, Canada, August 17-18, 1998 : proceedings / Stafford Tavares, Henk Meijer (eds.).
Creatore [SAC (Conference) (5th : 1998 : Kingston, Ont.)]
Estensione 1 online resource (ix, 375 pages) : illustrations.
Accesso persona Tavares, Stafford, 1940-
Meijer, Henk, 1952-
Genere/Forma Electronic books
Congressen (vorm)
ISBN 9783540488927
3540488928
3540658947
9783540658948
Classificazione 54.62
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Nota di contenuto Design of Secret Key Cryptosystems -- Feistel Ciphers with L₂-Decorrelation / Serge Vaudenay -- Key-Dependent S-Box Manipulations / Sandy Harris, Carlisle Adams -- On the Twofish Key Schedule / Bruce Schneier, John Kelsey, Doug Whiting, David Wagner, Chris Hall -- Toward Provable Security of Substitution-Permutation Encryption Networks / Zhi-Guo Chen, Stafford E. Tavares -- Randomness and Computational Issues -- An Accurate Evaluation of Maurer's Universal Test / Jean-Sébastien Coron, David Naccache -- Computational Alternatives to Random Number Generators / David M'Raïhi, David Naccache, David Pointcheval, Serge Vaudenay -- Storage-Efficient Finite Field Basis Conversion / Burton S. Kaliski Jr., Yiqun Lisa Yin -- Verifiable Partial Sharing of Integer Factors / Wenbo Mao -- Analysis of Secret Key Cryptosystems -- Higher Order Differential Attack Using Chosen Higher Order Differences / Shiho Moriai, Takeshi Shimoyama, Toshinobu Kaneko -- On Maximum Non-averaged Differential Probability / Kazumaro Aoki -- Cryptanalysis of RC4-like Ciphers / Serge Mister, Stafford E. Tavares -- Cryptographic Systems -- Key Preassigned Traceability Schemes for Broadcast Encryption / Doug R. Stinson, R. Wei -- Mix-Based Electronic Payments / Markus Jakobsson, David M'Raïhi -- Over the Air Service Provisioning / Sarvar Patel.
Public Key Cryptosystems -- Faster Attacks on Elliptic Curve Cryptosystems / Michael J. Wiener, Robert J. Zuccherato -- Improved Algorithms for Elliptic Curve Arithmetic in GF(2n) / Julio López, Ricardo Dahab -- Cryptanalysis of a Fast Public Key Cryptosystem Presented at SAC '97 / Phong Nguyen, Jacques Stern -- A Lattice-Based Public-Key Cryptosystem / Jin-Yi Cai, Tom Cusick -- Design and Implementation of Secret Key Cryptosystems -- Fast DES Implementation for FPGAs and Its Application to a Universal Key-Search Machine / Jens-Peter Kaps, Christof Paar -- IDEA: A Cipher for Multimedia Architectures? / Helger Lipmaa -- A Strategy for Constructing Fast Round Functions with Practical Security Against Differential and Linear Cryptanalysis / Masayuki Kanda, Youichi Takashima, Tsutomu Matsumoto, Kazumaro Aoki, Kazuo Ohta -- The Nonhomomorphicity of Boolean Functions / Xian-Mo Zhang, Yuliang Zheng -- Attacks on Secret Key Cryptosystems -- Cryptanalysis of ORYX / David Wagner, Leone Simpson, Ed Dawson, John Kelsey, Bill Millan, Bruce Schneier -- A Timing Attack on RC5 / Helena Handschuh, Howard M. Heys -- Cryptanalysis of SPEED / Chris Hall, John Kelsey, Vincent Rijmen, Bruce Schneier, David Wagner -- Invited Talks -- Authenticated Diffie-Hellman Key Agreement Protocols / Simon Blake-Wilson, Alfred Menezes -- Initial Observations on Skipjack: Cryptanalysis of Skipjack-3XOR / Eli Biham, Alex Biryukov, Orr Dunkelman, Eran Richardson, Adi Shamir.
Record Nr. UCHICAGO-11074140
[SAC (Conference) (5th : 1998 : Kingston, Ont.)]  
Materiale a stampa
Lo trovi qui: University of Chicago
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.).
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / N. Jones (ed.).
Creatore [European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)]
Estensione 1 online resource (ix, 435 pages) : illustrations.
Accesso persona Jones, Neil D.
Genere/Forma Conference papers and proceedings
Congressen (vorm)
ISBN 9783540470458
354047045X
3540525920
9783540525929
0387525920
9780387525921
Classificazione 54.50
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UCHICAGO-11075438
[European Symposium on Programming (3rd : 1990 : Copenhagen, Denmark)]  
Materiale a stampa
Lo trovi qui: University of Chicago