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.
Foundations of Software Technology and Theoretical Computer Science [[electronic resource] ] : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings / / edited by Rudrapatna Shyamasundar
| Foundations of Software Technology and Theoretical Computer Science [[electronic resource] ] : 12th Conference, New Delhi, India, December 18-20, 1992. Proceedings / / edited by Rudrapatna Shyamasundar |
| Edizione | [1st ed. 1992.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
| Descrizione fisica | 1 online resource (XV, 409 p.) |
| Disciplina | 004.0151 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Software engineering Computer logic Programming languages (Electronic computers) Mathematical logic Theory of Computation Software Engineering/Programming and Operating Systems Logics and Meanings of Programs Computation by Abstract Devices Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-47507-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | System specification and refinement in temporal logic -- Fixed points of Büchi automata -- An automata-theoretic decision procedure for Future Interval Logic -- Improving the results of static analyses of programs by local decreasing iterations -- Implicit point location in arrangements of line segments, with an application to motion planning -- An optimal algorithm for the intersection radius of a set of convex polygons -- C-sensitive triangulations approximate the minmax length triangulation -- Superpolynomial circuits, almost sparse oracles and the exponential hierarchy -- Structural average case complexity -- On bounded truth-table, conjunctive, and randomized reductions to sparse sets -- One-way functions and isomorphism conjecture -- Solving the Lagrangian dual when the number of constraints is fixed -- Superfiniteness of query answers in deductive databases: An automata-theoretic approach -- Proving polynomials positive -- An abstract interpretation scheme for groundness, freeness, and sharing analysis of logic programs -- Polymorphic typing by abstract interpretation -- The Gallina specification language: A case study -- Verification of large software systems -- Detection of unstable predicates in distributed programs -- Fast sequential and randomised parallel algorithms for rigidity and approximate min k-cut -- Approximation through local optimality: Designing networks with small degree -- Games and full Completeness for multiplicative Linear Logic -- Real-time calculi and expansion theorems -- Branching bisimulation for context-free processes -- CCS, locations and asynchronous transition systems -- Reasoning about safety and liveness properties for probabilistic processes -- String matching under a general matching relation -- On the complexity of Certified Write All Algorithms -- Selection from read-only memory and sorting with optimum data movement -- Some observations on 2-way probabilistic finite automata -- Recent developments in algorithms for the maximum-flow problem. |
| Record Nr. | UNISA-996466087303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information Systems Security [[electronic resource] ] : 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings / / edited by Atul Prakash, Rudrapatna Shyamasundar
| Information Systems Security [[electronic resource] ] : 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings / / edited by Atul Prakash, Rudrapatna Shyamasundar |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXIV, 478 p. 163 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data encryption (Computer science) Computer communication systems Systems and Data Security Cryptology Computer Communication Networks |
| ISBN | 3-319-13841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Security inferences -- Security policies -- Security user interfaces -- Security attacks -- Malware detection -- Forensics.- Location based security services. |
| Record Nr. | UNISA-996211264803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Information Systems Security [[electronic resource] ] : 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings / / edited by Atul Prakash, Rudrapatna Shyamasundar
| Information Systems Security [[electronic resource] ] : 10th International Conference, ICISS 2014, Hyderabad, India, December 16-20, 2014. Proceedings / / edited by Atul Prakash, Rudrapatna Shyamasundar |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XXIV, 478 p. 163 illus.) |
| Disciplina | 005.8 |
| Collana | Security and Cryptology |
| Soggetto topico |
Computer security
Data encryption (Computer science) Computer communication systems Systems and Data Security Cryptology Computer Communication Networks |
| ISBN | 3-319-13841-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Security inferences -- Security policies -- Security user interfaces -- Security attacks -- Malware detection -- Forensics.- Location based security services. |
| Record Nr. | UNINA-9910484083303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||