1
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Stabilizer Codes -- Determining the Number of One-Weight Cyclic Codes When Length and Dimension Are Given...

2
by Ebeling, Wolfgang
Published 2002
Vieweg+Teubner Verlag
Table of Contents: ...1 Lattices and Codes -- 1.1 Lattices -- 1.2 Codes -- 1.3 From Codes to Lattices -- 1.4 Root...

3
by Ebeling, Wolfgang
Published 1994
Vieweg+Teubner Verlag
Table of Contents: ...1 Lattices and Codes -- 1.1 Lattices -- 1.2 Codes -- 1.3 From Codes to Lattices -- 1.4 Root...

4
by Kløve, Torleiv, Korzhik, Valery
Published 1995
Springer US
Table of Contents: ... and Detection -- 2.5 Comments and References -- 3 ERROR DETECTING CODES FOR THE BSC -- 3.1 Basic Formulas...

5
Published 2023
Springer International Publishing
Table of Contents: ...Part 1: Lie Algebras, Superalgebras and Groups -- 1.Local derivations of classical simple Lie...

6
Published 2012
De Gruyter
... - this is the formula behind the singularly exhaustive survey of some 70,000 scholars currently working in academic...

7
Published 1994
Vieweg+Teubner Verlag
Table of Contents: ...2 The Weight Finder — An Advanced Profiler for Fortran Programs -- 2.1 Introduction -- 2.2...

8
by Sakagami, Hiroshi
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...iDrug induced liver injury...

9
by Yoon, In-Soo
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...2-(3,4-dimethoxyphenyl)-1-(5-methoxy-2,2-dimethyl-2H-chromen-6-yl)ethanone...

10
by Kovalyov, Igor P.
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Calculation Formulae for Three-Dimensional Wireless Channels -- 6.1 Calculation of the Channel Matrix Elements...

11
Published 2017
Springer International Publishing
Table of Contents: ...1. P. Anamby and S. Das: Sturm-like bound for square-free Fourier coefficients -- 2. N. Andersen, K...

12
by Bohrer, Rainer, Kämpf, Paul, Kalbskopf, Bernd, Nohl, Uwe
Published 1994
Springer Berlin Heidelberg
...Formula Index...

13
Published 1999
Birkhäuser
Table of Contents: ... -- On the operator-norm convergence of the Trotter-Kato product formula -- A particular case of the inverse problem...

14
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency...

15
Published 1995
Springer Berlin Heidelberg
Table of Contents: ...-Domination problems on homogeneously orderable graphs -- Growing patterns in 1D cellular automata -- Petri...

16
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... to Make Systems Code Crash Itself -- Invited Tutorials -- Effective Bug Hunting with Spin and Modex...

17
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...Conflict-free access to templates of trees and hypercubes in parallel memory systems -- Many-to-one...

18
Published 1988
Springer Netherlands
Table of Contents: ... Biological Implications on Drake’S Formula -- Regional Jurisdiction in Our Galaxy -- One More Solution...

19
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Efficient detection of vacuity in ACTL formulas -- Model checking and transitive-closure logic --...

20
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Temporal Observations for a Collection of Objects -- Approximation Algorithms for the Consecutive Ones...