ACM transactions on programming languages and systems |
Pubbl/distr/stampa | [New York], : Association for Computing Machinery |
Disciplina | 001.64 |
Collana | ACM series on systems and programming |
Soggetto topico |
Programming languages (Electronic computers)
Computer programming Langages de programmation Programmation (Informatique) 54.50 computer software: general |
ISSN | 1558-4593 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910145462703321 |
[New York], : Association for Computing Machinery | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Ada letters : a bimonthly publication of AdaTEC |
Pubbl/distr/stampa | New York, N.Y., : ACM, 1981- |
Disciplina | 001.64 |
Soggetto topico | Ada (Computer program language) |
Soggetto genere / forma | Periodicals. |
ISSN | 1557-9476 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
ACM SIGAda letters
ACM Ada letters SIGAda letters ACM SIGAda Ada letters Association for Computing Machinery Ada letters |
Record Nr. | UNISA-996200660403316 |
New York, N.Y., : ACM, 1981- | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Ada letters : a bimonthly publication of AdaTEC |
Pubbl/distr/stampa | New York, N.Y., : ACM, 1981- |
Disciplina | 001.64 |
Soggetto topico | Ada (Computer program language) |
Soggetto genere / forma | Periodicals. |
ISSN | 1557-9476 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Periodico |
Lingua di pubblicazione | eng |
Altri titoli varianti |
ACM SIGAda letters
ACM Ada letters SIGAda letters ACM SIGAda Ada letters Association for Computing Machinery Ada letters |
Record Nr. | UNINA-9910375873903321 |
New York, N.Y., : ACM, 1981- | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
The adaptation of virtual man-computer interfaces to user requirements in dialogs / Waltraud Dehning, Heidrun Essig, Susanne Maass |
Autore | Dehning, Waltraud |
Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
Descrizione fisica | x, 142 p. : ill. ; 25 cm. |
Disciplina | 001.64 |
Altri autori (Persone) |
Essig, Heidrunauthor
Maass, Susanneauthor |
Soggetto topico |
Computer system organization
Interactive computer systems |
ISBN | 3540108262 |
Classificazione | AMS 68M |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000644319707536 |
Dehning, Waltraud
![]() |
||
Berlin : Springer-Verlag, 1981 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Adobe photoshop CS2 : il manuale / Andy Anderson ; Steve Jhonsonn |
Autore | ANDERSON, Andy |
Pubbl/distr/stampa | Milano : McGraw Hill, 2005 |
Descrizione fisica | XIII, 482 p. : ill. ; 24 cm |
Disciplina | 001.64 |
Soggetto topico | Microcalcolatori |
ISBN | 88-7192-230-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISA-990002720090203316 |
ANDERSON, Andy
![]() |
||
Milano : McGraw Hill, 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Advances in cryptology--CRYPTO '91 : proceedings of CRYPTO 82 / / Edited by G. Goos and J. Hartmanis |
Edizione | [1st ed. 1985.] |
Pubbl/distr/stampa | Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1985] |
Descrizione fisica | 1 online resource (XII, 496 p.) |
Disciplina | 001.64 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers - Access control
Chemistry, Physical and theoretical |
ISBN | 3-540-39568-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Public Key Cryptosystems and Signatures -- A Prototype Encryption System Using Public Key -- A Public Key Cryptosystem and a Signature Scheme Based on Discrete Logarithms -- A Public-Key Cryptosystem Based on the Word Problem -- Efficient Signature Schemes Based on Polynomial Equations (preliminary version) -- Identity-Based Cryptosystems and Signature Schemes -- A Knapsack Type Public Key Cryptosystem Based On Arithmetic in Finite Fields (preliminary draft) -- Some Public-Key Crypto-Functions as Intractable as Factorization -- Cryptosystems and Other Hard Problems -- Computing Logarithms in GF (2n) -- Wyner’s Analog Encryption Scheme: Results of a Simulation -- On Rotation Group and Encryption of Analog Signals -- The History of Book Ciphers -- An Update on Factorization at Sandia National Laboratories -- An LSI Digital Encryption Processor (DEP) -- Efficient hardware and software implementations for the DES -- Efficient hardware implementation of the DES -- A Self-Synchronizing Cascaded Cipher System with Dynamic Control of Error Propagation -- Randomness and Its Concomitants -- Efficient and Secure Pseudo-Random Number Generation (Extended Abstract) -- An LSI Random Number Generator (RNG) -- Generalized Linear Threshold Scheme -- Security of Ramp Schemes -- A Fast Pseudo Random Permutation Generator With Applications to Cryptology -- On the Cryptographic Applications of Random Functions (Extended Abstract) -- An Efficient Probabilistic Public-Key Encryption Scheme Which Hides All Partial Information -- Analysis and Cryptanalysis -- RSA/Rabin least significant bits are secure (Extended Abstract) -- Information Theory without the Finiteness Assumption, I: Cryptosystems as Group-Theoretic Objects -- Cryptanalysis of Adfgvx Encipherment Systems -- Breaking Iterated Knapsacks -- Dependence of output on input in DES: Small avalanche characteristics -- Des has no Per Round Linear Factors -- Protocols and Authentication -- A Message Authenticator Algorithm Suitable for a Mainframe Computer -- Key Management for Secure Electronic Funds Transfer in a Retail Environment -- Authentication Theory/Coding Theory -- New Secret Codes Can Prevent a Computerized Big Brother -- Fair Exchange of Secrets (extended abstract) -- Cryptoprotocols: Subscription to a Public Key, The Secret Blocking and The Multi-Player Mental Poker Game (extended abstract) -- Poker Protocols -- Impromptu Talks -- A “Paradoxical” Solution to The Signature Problem -- Sequence Complexity as a Test for Cryptographic Systems -- An Update on Quantum Cryptography -- How to Keep a Secret Alive. |
Record Nr. | UNISA-996465804403316 |
Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1985] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
AICA 93 Congresso annuale : atti 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico |
Autore | Associazione italiana per il calcolo automatico |
Pubbl/distr/stampa | Bari : Laterza, 1993 |
Descrizione fisica | xix, 796 p. ; 24 cm |
Disciplina | 001.64 |
Soggetto topico | Computer science - Congresses |
Classificazione |
AMS 68-06
AMS 68-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000648719707536 |
Associazione italiana per il calcolo automatico
![]() |
||
Bari : Laterza, 1993 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
AICA 93 International section : parallel and distributed architectures and algorithms : conference proceedings 22-24 settembre 1993 - Gallipoli (Lecce) / Associazione Italiana per l'Informatica ed il Calcolo Automatico |
Autore | Associazione italiana per il calcolo automatico |
Pubbl/distr/stampa | Bari : Laterza, 1993 |
Descrizione fisica | xv, 319 p. ; 24 cm |
Disciplina | 001.64 |
Soggetto topico | Computer science - Congresses |
Classificazione |
AMS 68-06
AMS 68-XX |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991000648789707536 |
Associazione italiana per il calcolo automatico
![]() |
||
Bari : Laterza, 1993 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
L'algebra di Boole e i circuiti logici / Franco Cianflone |
Autore | Cianflone, Franco |
Pubbl/distr/stampa | Milano : ETAS Kompass, c1968 |
Descrizione fisica | 267 p. : ill. ; 24 cm. |
Disciplina | 001.64 |
Collana | Biblioteca del tecnico |
Soggetto topico |
Boolean algebras
Logic circuits |
Classificazione |
AMS 03G05
AMS 94C10 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000653059707536 |
Cianflone, Franco
![]() |
||
Milano : ETAS Kompass, c1968 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Algorithm-structured computer arrays and networks / Leonard Uhr |
Autore | Uhr, Leonard M. <1927-2000> (Merrick) |
Pubbl/distr/stampa | Orlando : Academic Press, 1984 |
Descrizione fisica | 413 p. : ill. ; 24 cm |
Disciplina | 001.64 |
Collana | Computer science and applied mathematics |
Soggetto non controllato |
Elaborazione parallela
Reti di computer |
ISBN | 0127069607 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000455170403321 |
Uhr, Leonard M. <1927-2000> (Merrick) | ||
Orlando : Academic Press, 1984 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|