Adiabatic logic : :: SCD d'Orléans

Adiabatic logic : future trend and system level perspective

Adiabatic logic : future trend and system level perspective

Adiabatic logic is a potential successor for static CMOS circuit design when it comes to ultra-low-power energy consumption. Future development like the evolutionary shrinking of the minimum feature size as well as revolutionary novel transistor concepts will change the gate level savings gained by...

Deskribapen osoa

Gorde:

Xehetasun bibliografikoak
Egile nagusia:	Teichmann, Philip
Formatua:	Livre numérique
Hizkuntza:	Anglais
Argitaratua:	Dordrecht : Springer Netherlands 2012. Cham : Springer Nature
Saila:	Springer Series in Advanced Microelectronics 34
Gaiak:	Structure logique Invariants adiabatiques
Sarrera elektronikoa:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Oharra:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Adiabatic Logic, Texte imprimé, 9789400737273 • Adiabatic Logic, Texte imprimé, 9789400723443 • Adiabatic Logic, Texte imprimé, 9789400723467

Antzeko izenburuak

Hamiltonian Dynamical Systems and Applications

From logic design to logic programming : theorem proving techniques and P-functions
nork: Snyers, Dominique, et al.

Structure du mythe
nork: Hubner, Patrick
Argitaratua: (2013)

Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings

Field-programmable logic : architectures, synthesis, and applications : 4th International Workshop on Field-Programmable Logic and Applications, FPL '94 Prague, Czech Republic, September 7 9, 1994 : proceedings

Field-programmable logic : smart applications, new paradigms, and compilers : 6th International Workshop on Field-Programmable Logic and Applications, FPL '96, Darmstadt, Germany, September 23 25, 1996 : proceedings

Field-programmable logic and applications : 9th International Workshop, FPL 99, Glasgow, UK, August 30 - September 1, 1999 : proceedings

Field programmable logic and applications : the roadmap to reconfigurable computing : 10th international conference, FPL 2000, Villach, Austria, August 27-30, 2000 : proceedings

Field-programmable logic and applications : from FPGAs to computing paradigm : 8th International Workshop, FPL '98, Tallinn, Estonia, August 31 September 3, 1998 : proceedings

Field-programmable logic and applications : 5th International Workshop, FPL '95 Oxford, United Kingdom, August 29 September 1, 1995 : proceedings

Modal logics
nork: Feys, Robert, 1889-1961
Argitaratua: (1965)

Notes on logic
nork: Lyndon, Roger Conant, 1917-1988
Argitaratua: (1966)

Verifying concurrent processes using temporal logic
nork: Hailpern, Brent T., 1955-

Theorem proving in higher order logics : 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings

Studia logica
Argitaratua: (2002)

Field-programmable logic and applications : 13th International Conference, FPL 2003, Lisbon, Portugal, September 1-3, 2003 : proceedings

Logic : an introduction
nork: Restall, Greg, 1969-

Field-programmable logic and applications : 11th International Conference, FPL 2001 Belfast, Northern Ireland, UK, August 27-29, 2001 : proceedings

Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings

Theorem proving in higher order logics : 13th international conference, TPHOLs 2000, Portland, OR, USA, August 14 18, 2000 : proceedings

Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings

Theorem proving in higher order logics : 9th International Conference, TPHOLs 96, Turku, Finland, August 26 30, 1996 : proceedings

Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings

Theorem proving in higher order logics : 14th international conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3 6, 2001 : proceedings

An introduction to modal logic
nork: Hughes, George Edward, 1918-, et al.
Argitaratua: (1968)

Nouveaux invariants en géométrie et en topologie
nork: Audin, Michèle, 1954-2025, et al.
Argitaratua: (2001)

Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings

Theorem proving in higher order logics : 17th international conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings
nork: Slind, Konrad

Introduction to logic
nork: Suppes, Patrick, 1922-2014
Argitaratua: (1957)

Introduction to logic.
nork: Copi, Irving M.
Argitaratua: (1961)

Algebra and logic.
Argitaratua: (2002)

Logic journal of the IGPL.
Argitaratua: (1997)

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
nork: Bergman, Clifford H.

A mathematical introduction to logic
nork: Enderton, Herbert, 1936-2010
Argitaratua: (1972)

Logic : a very short introduction
nork: Priest, Graham
Argitaratua: (2000)

Field-programmable logic and applications : reconfigurable computing is going mainstream : 12th international conference, FPL 2002, Montpellier, France, September 2-4, 2002 : proceedings

The problem of inductive logic
Argitaratua: (1968)

Combinatory logic.
nork: Curry, Haskell Brooks, 1900-1982, et al.
Argitaratua: (1972)

Fundamentals of logic
nork: Smullyan, Arthur
Argitaratua: (1962)

Algebraic logic
nork: Halmos, Paul Richard, 1916-2006
Argitaratua: (1962)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales