Avigad, D: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

51

Notes on Some Inscribed Syro-Phoenician Seals

Journal:

Bulletin of the American Schools of Oriental Research

Year:

1968

Language:

english

File:

PDF, 898 KB

english, 1968

52

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10895 || Towards Certified Meta-Programming with Typed Template-Coq

Avigad, Jeremy, Mahboubi, Assia

Year:

2018

Language:

english

File:

PDF, 847 KB

english, 2018

53

Photosynthetic characteristics of Spirulina platensis on solid support. Chlorophyll fluorescence kinetics

MIRTA N. SIVAK, AVIGAD VONSHAK

Journal:

New Phytologist

Year:

1988

Language:

english

File:

PDF, 5.84 MB

english, 1988

54

The Fortification of the City of David

Journal:

Israel Exploration Journal

Year:

1952

Language:

english

File:

PDF, 735 KB

english, 1952

55

Baruch the Scribe and Jerahmeel the King's Son

Journal:

The Biblical Archaeologist

Year:

1979

Language:

english

File:

PDF, 864 KB

english, 1979

56

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10895 || Backwards and Forwards with Separation Logic

Avigad, Jeremy, Mahboubi, Assia

Year:

2018

Language:

english

File:

PDF, 462 KB

english, 2018

57

THE NECROPOLIS OF BETH SHE'ARIM

Journal:

Year:

1955

Language:

english

File:

PDF, 7.82 MB

english, 1955

58

MODULARITY IN MATHEMATICS

Journal:

The Review of Symbolic Logic

Year:

2018

Language:

english

File:

PDF, 266 KB

english, 2018

59

An automatic method for on-line estimation of the photosynthetic rate in open algal ponds

Sam Ben-Yaakov, Hugo Guterman, Avigad Vonshak, Amos Richmond

Journal:

Biotechnology and Bioengineering

Year:

1985

Language:

english

File:

PDF, 749 KB

english, 1985

60

Seals of Exiles

Journal:

Israel Exploration Journal

Year:

1965

Language:

english

File:

PDF, 1.08 MB

english, 1965

61

A computational study on airflow balancing in a horticultural drying chamber

El Halwagy, Mahmoud, Straatman, Anthony Gerald, Goyette, Bernard, Avigad, Gideon

Journal:

Transactions of the Canadian Society for Mechanical Engineering

Year:

2019

Language:

english

File:

PDF, 1.68 MB

english, 2019

62

The Chief of the Corvée

Journal:

Israel Exploration Journal

Year:

1980

Language:

english

File:

PDF, 638 KB

english, 1980

63

Gearbox design for uncertain load requirements using active robust optimization

Salomon, Shaul, Avigad, Gideon, Purshouse, Robin C., Fleming, Peter J.

Journal:

Engineering Optimization

Year:

2015

Language:

english

File:

PDF, 1.05 MB

english, 2015

64

Photosynthetic and growth responses of Nannochloropsis oculata (Eustigmatophyceae) during batch cultures in relation to light intensity

Palacios, Yussi M., Vonshak, Avigad, Beardall, John

Journal:

Year:

2018

Language:

english

File:

PDF, 722 KB

english, 2018

65

Sub-Cambrian pedogenesis recorded in weathering profiles of the Arabian-Nubian Shield

AMIR SANDLER, NADYA TEUTSCH, DOV AVIGAD

Journal:

Sedimentology (Wiley)

Year:

2012

Language:

english

File:

PDF, 2.80 MB

english, 2012

66

Some Notes on the Hebrew Inscriptions from Gibeon (Review-article)

Review by: N. AVIGAD

Journal:

Israel Exploration Journal

Year:

1959

Language:

english

File:

PDF, 410 KB

english, 1959

67

Two Hebrew 'Fiscal' Bullae

Journal:

Israel Exploration Journal

Year:

1990

Language:

english

File:

PDF, 846 KB

english, 1990

68

AN ORDINAL ANALYSIS OF ADMISSIBLE SET THEORY USING RECURSION ON ORDINAL NOTATIONS

Journal:

Journal of Mathematical Logic

Year:

2002

Language:

english

File:

PDF, 323 KB

english, 2002

69

A FORMAL SYSTEM FOR EUCLID’S ELEMENTS

AVIGAD, JEREMY, DEAN, EDWARD, MUMMA, JOHN

Journal:

The Review of Symbolic Logic

Year:

2009

Language:

english

File:

PDF, 358 KB

english, 2009

70

The Seal of Abigad

Journal:

Israel Exploration Journal

Year:

1968

Language:

english

File:

PDF, 625 KB

english, 1968

71

Two Newly Found Hebrew Seals

Journal:

Israel Exploration Journal

Year:

1963

Language:

english

File:

PDF, 582 KB

english, 1963

72

Protective effect of phenethyl alcohol against ultraviolet irradiation of Escherichia coli

Rivka Lipschutz, G. Avigad, R. Falk

Journal:

Year:

1965

Language:

english

File:

PDF, 199 KB

english, 1965

73

Use of chlorophyll fluorescence to estimate the effect of photoinhibition in outdoor cultures ofSpirulina platensis

Avigad Vonshak, Giuseppe Torzillo, Loisa Tomaseli

Journal:

Journal of Applied Phycology

Year:

1994

Language:

english

File:

PDF, 300 KB

english, 1994

74

A New Class of "Yehud" Stamps

Journal:

Israel Exploration Journal

Year:

1957

Language:

english

File:

PDF, 1.14 MB

english, 1957

75

Number theory and elementary arithmetic

Journal:

Philosophia Mathematica

Year:

2003

Language:

english

File:

PDF, 1.70 MB

english, 2003

76

Softening trigerred by eclogitization, the first step toward exhumation during continental subduction

Laurent Jolivet, Hugues Raimbourg, Loïc Labrousse, Dov Avigad, Yves Leroy, Håkon Austrheim, Torgeir B. Andersen

Journal:

Earth and Planetary Science Letters

Year:

2005

Language:

english

File:

PDF, 1.18 MB

english, 2005

77

Excavations at Beth She'arim, 1955: Preliminary Report

Journal:

Israel Exploration Journal

Year:

1957

Language:

english

File:

PDF, 6.05 MB

english, 1957

78

The detrital zircon U–Pb–Hf fingerprint of the northern Arabian–Nubian Shield as reflected by a Late Ediacaran arkosic wedge (Zenifim Formation; subsurface Israel)

Avigad, D., Weissbrod, T., Gerdes, A., Zlatkin, O., Ireland, T.R., Morag, N.

Journal:

Precambrian Research

Year:

2015

Language:

english

File:

PDF, 2.94 MB

english, 2015

79

Architectural Observations on Some Rock-Cut Tombs

Journal:

Palestine Exploration Quarterly

Year:

1947

Language:

english

File:

PDF, 1.25 MB

english, 1947

80

Mathematical Method and Proof

Journal:

Year:

2006

Language:

english

File:

PDF, 5.47 MB

english, 2006

81

Uncomputably Noisy Ergodic Limits

Journal:

Notre Dame Journal of Formal Logic

Year:

2012

Language:

english

File:

PDF, 192 KB

english, 2012

82

Purification of levansucrase by precipitation with levan

Elwyn T. Reese, Gad Avigad

Journal:

Biochimica et Biophysica Acta (BBA) - Enzymology and Biological Oxidation

Year:

1966

Language:

english

File:

PDF, 273 KB

english, 1966

83

Uplift and exhumation of high-pressure metamorphic terrains: the example of the cycladic blueschist belt (Aegean Sea)

Dov Avigad, Zvi Garfunkel

Journal:

Year:

1991

Language:

english

File:

PDF, 1.55 MB

english, 1991

84

Uniform distribution and algorithmic randomness

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 723 KB

english, 2013

85

An Inscribed Bowl from Dan

Journal:

Palestine Exploration Quarterly

Year:

1968

Language:

english

File:

PDF, 665 KB

english, 1968

86

[Studies in Logic and the Foundations of Mathematics] Handbook of Proof Theory Volume 137 || Gödel’s Functional (“Dialectica”) Interpretation

Year:

1998

Language:

english

File:

PDF, 3.37 MB

english, 1998

87

Oscillation and the mean ergodic theorem for uniformly convex Banach spaces

AVIGAD, JEREMY, RUTE, JASON

Journal:

Ergodic Theory and Dynamical Systems

Year:

2015

Language:

english

File:

PDF, 267 KB

english, 2015

88

CHARACTER AND OBJECT

AVIGAD, JEREMY, MORRIS, REBECCA

Journal:

The Review of Symbolic Logic

Year:

2016

Language:

english

File:

PDF, 240 KB

english, 2016

89

Seals and Sealings

Journal:

Israel Exploration Journal

Year:

1964

Language:

english

File:

PDF, 724 KB

english, 1964

90

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10895 || A Coq Formalisation of SQL’s Execution Engines

Avigad, Jeremy, Mahboubi, Assia

Year:

2018

Language:

english

File:

PDF, 741 KB

english, 2018

91

Fabric development in a weathering profile at a basement–cover interface, the sub-Cambrian peneplain, Israel: Implications for decollement tectonics

T. Angerer, R.O. Greiling, D. Avigad

Journal:

Journal of Structural Geology

Year:

2011

Language:

english

File:

PDF, 2.68 MB

english, 2011

92

Aramaic Inscriptions in the Tomb of Jason

Journal:

Israel Exploration Journal

Year:

1967

Language:

english

File:

PDF, 755 KB

english, 1967

93

The tectono-metamorphic evolution of a dismembered ophiolite (Tinos, Cyclades, Greece)

Katzir, Yaron, Matthews, Alan, Garfunkel, Zvi, Schliestedt, Manfred, Avigad, Dov

Journal:

Geological Magazine

Year:

1996

Language:

english

File:

PDF, 2.08 MB

english, 1996

94

[Lecture Notes in Computer Science] Interactive Theorem Proving Volume 10895 || Tactics and Certificates in Meta Dedukti

Avigad, Jeremy, Mahboubi, Assia

Year:

2018

Language:

english

File:

PDF, 2.74 MB

english, 2018

95

Granitoid intrusion and high temperature metamorphism in the Asteroussia Unit, Anafi Island (Greece): Petrology and geochronology

Be'eri-Shlevin, Yaron, Avigad, Dov, Matthews, Alan

Journal:

Israel Journal of Earth Sciences

Year:

2009

Language:

english

File:

PDF, 1.55 MB

english, 2009

96

A Building Inscription of the Emperor Justinian and the Nea in Jerusalem (Preliminary Note)

Journal:

Israel Exploration Journal

Year:

1977

Language:

english

File:

PDF, 1.65 MB

english, 1977

97

Baruch the Scribe and Jerahmeel the King's Son

Journal:

Israel Exploration Journal

Year:

1978

Language:

english

File:

PDF, 894 KB

english, 1978

98

The birth of model theory: Lowenheim’s theorem in the frame of the theory of relatives

Calixto Radesa, Jeremy Avigad

Journal:

The Mathematical Intelligencer

Year:

2006

Language:

english

File:

PDF, 1.27 MB

english, 2006

99

Tectonic juxtaposition of blueschists and greenschists in Sifnos Island (Aegean Sea)—implications for the structure of the Cycladic blueschist belt

Journal:

Journal of Structural Geology

Year:

1993

Language:

english

File:

PDF, 1.13 MB

english, 1993

100

NOTES AND NEWS

J. Perrot, M. Dothan, Y. L. Rahmani and N. Avigad

Journal:

Israel Exploration Journal

Year:

1956

File:

PDF, 749 KB

1956

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски