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.
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