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.
Information Security and Privacy [electronic resource] : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings / by Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan
| Information Security and Privacy [electronic resource] : 9th Australasian Conference, ACISP 2004, Sydney, Australia, July 13-15, 2004, Proceedings / by Huaxiong Wang, Josef Pieprzyk, Vijay Varadharajan |
| Creatore | [Wang, Huaxiong] |
| Accesso persona |
Pieprzyk, Josef
Varadharajan, Vijay |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computer Communication Networks Computers and Society Data Encryption Management of Computing and Information Systems Operating Systems |
| ISBN | 9783540223795 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354382 |
[Wang, Huaxiong]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004 and 8th International Workshop on / by Klaus Jansen, Sanjeev Khanna, José D. P. Rolim
| Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques [electronic resource] : 7th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2004 and 8th International Workshop on / by Klaus Jansen, Sanjeev Khanna, José D. P. Rolim |
| Creatore | [Jansen, Klaus] |
| Accesso persona |
Khanna, Sanjeev
Rolim, José D. P. Ron, Dana |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Algorithms Discrete Mathematics in Computer Science Numeric Computing |
| ISBN | 9783540228943 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354431 |
|
[Jansen, Klaus]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings / by Ronald V. Book
| Rewriting Techniques and Applications [electronic resource] : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991. Proceedings / by Ronald V. Book |
| Creatore | [Book, Ronald V.] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Symbolic and Algebraic Manipulation |
| ISBN | 9783540539049 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354908 |
|
[Book, Ronald V.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner
| Baltic Computer Science [electronic resource] : Selected Papers / by Janis Barzdins, Dines Bjorner |
| Creatore | [Barzdinʹ, I͡A. M. (I͡An Martynovich)] |
| Accesso persona | Bjørner, D. (Dines), 1937- |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computation by Abstract Devices Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming Techniques Software Engineering |
| ISBN | 9783540541318 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354924 |
|
[Barzdinʹ, I͡A. M. (I͡An Martynovich)]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Automata, Languages and Programming [electronic resource] : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings / by Javier Leach Albert, Burkhard Monien, Mario Rodriguez Artalejo
| Automata, Languages and Programming [electronic resource] : 18th International Colloquium, Madrid, Spain, July 8-12, 1991. Proceedings / by Javier Leach Albert, Burkhard Monien, Mario Rodriguez Artalejo |
| Creatore | [Leach Albert, J. (Javier)] |
| Accesso persona |
Monien, B.
Rodríguez Artalejo, M. (Mario) |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Combinatorics Computer Graphics Data Structures Mathematical Logic and Formal Languages |
| ISBN | 9783540542339 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354932 |
|
[Leach Albert, J. (Javier)]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-JyrS, Lauri Karttunen, Juhani KarhumSki
| Finite-State Methods and Natural Language Processing [electronic resource] : 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers / edited by Anssi Yli-JyrS, Lauri Karttunen, Juhani KarhumSki |
| Creatore | [Yli-JyrS, Anssi] |
| Accesso persona |
KarhumSki, Juhani
Karttunen, Lauri |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Document Preparation and Text Processing Language Translation and Linguistics Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-6681434 |
|
[Yli-JyrS, Anssi]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Entscheidbarkeit bei Petri Netzen [electronic resource] : Überblick und Kompendium / by Harro Wimmel
| Entscheidbarkeit bei Petri Netzen [electronic resource] : Überblick und Kompendium / by Harro Wimmel |
| Creatore | [Wimmel, Harro] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computation by Abstract Devices Mathematical Logic and Formal Languages Mathematics of Computing Software Engineering |
| ISBN | 9783540854715 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ger |
| Record Nr. | UCHICAGO-7477335 |
|
[Wimmel, Harro]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Advances in Petri Nets 1991 [electronic resource] / by Grzegorz Rozenberg
| Advances in Petri Nets 1991 [electronic resource] / by Grzegorz Rozenberg |
| Creatore | [Rozenberg, Grzegorz] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computation by Abstract Devices Computer Communication Networks Logics and Meanings of Programs Operating Systems Processor Architectures |
| ISBN | 9783540543985 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354946 |
|
[Rozenberg, Grzegorz]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Fundamental Algorithms for Permutation Groups [electronic resource] / by Gregory Butler
| Fundamental Algorithms for Permutation Groups [electronic resource] / by Gregory Butler |
| Creatore | [Butler, Gregory] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Combinatorics Group Theory and Generalizations Symbolic and Algebraic Manipulation |
| ISBN | 9783540549550 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354979 |
|
[Butler, Gregory]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / by Jean-Claude Raoult
| CAAP '92 [electronic resource] : 17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings / by Jean-Claude Raoult |
| Creatore | [Raoult, J.-C. (Jean-Claude)] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computation by Abstract Devices Data Structures Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Techniques |
| ISBN | 9783540552512 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354999 |
|
[Raoult, J.-C. (Jean-Claude)]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
