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.
ACM transactions on programming languages and systems
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Ada letters : a bimonthly publication of AdaTEC
| 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- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Ada letters : a bimonthly publication of AdaTEC
| 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- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The adaptation of virtual man-computer interfaces to user requirements in dialogs / Waltraud Dehning, Heidrun Essig, Susanne Maass
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Adobe photoshop CS2 : il manuale / Andy Anderson ; Steve Jhonsonn
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in cryptology--CRYPTO '91 : proceedings of CRYPTO 82 / / Edited by G. Goos and J. Hartmanis
| 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] | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
L'algebra di Boole e i circuiti logici / Franco Cianflone
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Algorithm-structured computer arrays and networks / Leonard Uhr
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
