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.
Advances in Cryptology - ASIACRYPT'99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings / by Kwok Yan Lam, Eiji Okamoto, Chaoping Xing
| Advances in Cryptology - ASIACRYPT'99 [electronic resource] : International Conference on the Theory and Application of Cryptology and Information Security, Singapore, November 14-18, 1999 Proceedings / by Kwok Yan Lam, Eiji Okamoto, Chaoping Xing |
| Creatore | [Lam, Kwok-Yan] |
| Accesso persona |
Okamoto, Eiji
Xing, Chaoping |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computational Mathematics and Numerical Analysis Computer Communication Networks Data Encryption Discrete Mathematics in Computer Science Operating Systems |
| ISBN | 9783540666660 |
| Formato | Software  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7355959 |
[Lam, Kwok-Yan]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Algorithmic Number Theory [electronic resource] : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings / by Wieb Bosma
| Algorithmic Number Theory [electronic resource] : 4th International Symposium, ANTS-IV Leiden, The Netherlands, July 2-7, 2000 Proceedings / by Wieb Bosma |
| Creatore | [Bosma, Wieb] |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Data Encryption Discrete Mathematics in Computer Science Number Theory Symbolic and Algebraic Manipulation |
| ISBN | 9783540676959 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7356001 |
|
[Bosma, Wieb]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Recent Advances in AI Planning [electronic resource] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / by Susanne Biundo, Maria Fox.
| Recent Advances in AI Planning [electronic resource] : 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings / by Susanne Biundo, Maria Fox. |
| Creatore | [Biundo, Susanne] |
| Accesso persona | Fox, Maria |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Discrete Mathematics in Computer Science Numeric Computing |
| ISBN | 9783540678663 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7356018 |
|
[Biundo, Susanne]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings
| Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues [electronic resource] : Third International Conference on Intelligent Computing, ICIC 2007 Qingdao, China, August 21-24, 2007 Proceedings |
| Creatore | [Huang, De-Shuang] |
| Accesso persona |
Heutte, Laurent
Loog, Marco |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Image Processing and Computer Vision Pattern Recognition |
| ISBN | 9783540741718 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7356030 |
|
[Huang, De-Shuang]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Guide to FPGA implementation of arithmetic functions [electronic resource] / Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó
| Guide to FPGA implementation of arithmetic functions [electronic resource] / Jean-Pierre Deschamps, Gustavo D. Sutter, Enrique Cantó |
| Creatore | [Deschamps, Jean-Pierre, 1945-] |
| Estensione | 1 online resource (xv, 469 p.) |
| Disciplina | 621.39/5 |
| Accesso persona |
Sutter, Gustavo D.
Cantó, Enrique |
| Genere/Forma | Electronic books |
| Soggetto non controllato |
Engineering
Software engineering Computer software Systems engineering Circuits and Systems Algorithm Analysis and Problem Complexity Special Purpose and Application-Based Systems |
| ISBN |
9789400729872 (electronic bk.)
9400729871 (electronic bk.) 9789400729865 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Basic Building Blocks -- Architecture of Digital Circuits -- Special Topics of Data Path Synthesis -- Control Unit Synthesis -- Electronic Aspects of Digital Design -- EDA Tools -- Adders -- Multipliers -- Dividers -- Other Operations -- Decimal Operations -- Floating Point Arithmetic -- Finite-Field Arithmetic -- Systems on Chip -- Embedded Systems Development: Case Studies -- Partial Reconfiguration on Xilinx FPGAs. |
| Record Nr. | UCHICAGO-8873628 |
|
[Deschamps, Jean-Pierre, 1945-]
|
|
| Materiale a stampa | |
| Lo trovi qui: University of Chicago | |
Network Inference in Molecular Biology [electronic resource] : A Hands-on Framework / by Jesse M. Lingeman, Dennis Shasha
| Network Inference in Molecular Biology [electronic resource] : A Hands-on Framework / by Jesse M. Lingeman, Dennis Shasha |
| Creatore | [Lingeman, Jesse M.] |
| Accesso persona | Shasha, Dennis |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computational Biology/Bioinformatics
Bioinformatics Algorithm Analysis and Problem Complexity Computer Science |
| ISBN | 9781461431138 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-8829232 |
|
[Lingeman, Jesse M.]
|
|
| Risorse elettroniche | |
| Lo trovi qui: University of Chicago | |
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 2 / by Kurt Jensen, Andreas Podelski
| Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 2 / by Kurt Jensen, Andreas Podelski |
| Creatore | [Jensen, Kurt] |
| Accesso persona | Podelski, Andreas |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Computer Communication Networks Logics and Meanings of Programs Software Engineering |
| ISBN | 9783540212997 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354253 |
|
[Jensen, Kurt]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas
| Genetic Programming [electronic resource] : 7th European Conference, EuroGP 2004, Coimbra, Portugal, April 5-7, 2004, Proceedings / by Maarten Keijzer, Una-May O'Reilly, Simon M. Lucas |
| Creatore | [Keijzer, M. (Maarten)] |
| Accesso persona |
Costa, Ernesto
Lucas, Simon M. O'Reilly, Una-May Soule, Terence |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Computation by Abstract Devices Programming Techniques |
| ISBN | 9783540213468 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354262 |
|
[Keijzer, M. (Maarten)]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / by Jean-Charles Régin, Michel Rueher
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings / by Jean-Charles Régin, Michel Rueher |
| Creatore | [Régin, Jean-Charles] |
| Accesso persona | Rueher, Michel |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Artificial Intelligence (incl. Robotics) Combinatorics Discrete Mathematics in Computer Science Numeric Computing Operations Research/Decision Theory |
| ISBN | 9783540218364 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354279 |
|
[Régin, Jean-Charles]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / by John L. Pfaltz, Manfred Nagl, Boris Böhlen
| Applications of Graph Transformations with Industrial Relevance [electronic resource] : Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / by John L. Pfaltz, Manfred Nagl, Boris Böhlen |
| Creatore | [Pfaltz, John L.] |
| Accesso persona |
Böhlen, Boris
Nagl, Manfred |
| Accesso ente | SpringerLink (Online service) |
| Soggetto non controllato |
Computer Science
Algorithm Analysis and Problem Complexity Data Structures Discrete Mathematics in Computer Science Logics and Meanings of Programs Mathematical Logic and Formal Languages Software Engineering |
| ISBN | 9783540221203 |
| Formato | Software |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UCHICAGO-7354330 |
|
[Pfaltz, John L.]
|
|
| Software | |
| Lo trovi qui: University of Chicago | |
