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