कीवर्ड के लिए खोज

  • Main
  • कीवर्ड के लिए खोज
2
Handbook of Proof Theory

Handbook of Proof Theory

Samuel R. Buss (Editor)
साल:
1998
भाषा:
english
फ़ाइल:
PDF, 35.35 MB
0 / 0
english, 1998
3
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Schwichtenberg, Helmut, Wainer, Stanley S
साल:
2012
भाषा:
english
फ़ाइल:
PDF, 2.20 MB
0 / 0
english, 2012
5
Logic, Construction, Computation

Logic, Construction, Computation

Ulrich Berger (editor), Hannes Diener (editor), Peter Schuster (editor), Monika Seisenberger (editor)
साल:
2012
भाषा:
english
फ़ाइल:
PDF, 2.82 MB
0 / 0
english, 2012
6
Logic, Construction, Computation. 3

Logic, Construction, Computation. 3

Berger, Ulrich, Diener, Hannes, Schuster, Peter, Seisenberger, Monika et al.
साल:
2012
भाषा:
english
फ़ाइल:
PDF, 2.39 MB
0 / 0
english, 2012
7
Logic, Construction, Computation

Logic, Construction, Computation

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
साल:
2012
भाषा:
english
फ़ाइल:
PDF, 2.37 MB
0 / 0
english, 2012
8
Logic, Construction, Computation

Logic, Construction, Computation

Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
साल:
2012
भाषा:
english
फ़ाइल:
PDF, 2.94 MB
0 / 0
english, 2012
9
Boolean Relation Theory and Incompletness (July, 2010 version)

Boolean Relation Theory and Incompletness (July, 2010 version)

Harvey M. Friedman
भाषा:
english
फ़ाइल:
PDF, 3.47 MB
0 / 0
english
10
Metamathematics of first-order arithmetic

Metamathematics of first-order arithmetic

Petr Hajek, Pavel Pudlak
साल:
1998
भाषा:
english
फ़ाइल:
DJVU, 4.06 MB
0 / 0
english, 1998
13
Logical Foundations of Proof Complexity

Logical Foundations of Proof Complexity

Stephen Cook, Phuong Nguyen
साल:
2010
भाषा:
english
फ़ाइल:
PDF, 2.58 MB
0 / 0
english, 2010
14
Metamathematics of First-Order Arithmetic

Metamathematics of First-Order Arithmetic

Petr Hajek, Pavel Pudlak
साल:
1998
भाषा:
english
फ़ाइल:
PDF, 37.98 MB
0 / 0
english, 1998
16
Handbook of Philosophical Logic

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner (eds.)
साल:
2005
भाषा:
english
फ़ाइल:
PDF, 6.79 MB
0 / 0
english, 2005
17
Introduction to Cryptography: Principles and Applications

Introduction to Cryptography: Principles and Applications

Hans Delfs, Helmut Knebl
साल:
2007
भाषा:
english
फ़ाइल:
PDF, 3.47 MB
0 / 5.0
english, 2007
19
Introduction to Cryptography: Principles and Applications, 2nd

Introduction to Cryptography: Principles and Applications, 2nd

Hans Delfs, Helmut Knebl
साल:
2015
भाषा:
english
फ़ाइल:
PDF, 2.63 MB
0 / 0
english, 2015
20
Introduction to Cryptography: Principles and Applications

Introduction to Cryptography: Principles and Applications

Knebl, Helmut, Delfs, Hans
साल:
2007
भाषा:
english
फ़ाइल:
PDF, 10.68 MB
0 / 0
english, 2007
21
Ways of Proof Theory

Ways of Proof Theory

Ralf Schindler
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 2.30 MB
0 / 0
english, 2011
22
Introduction to Cryptography Principles

Introduction to Cryptography Principles

Delfs Hans
साल:
2011
भाषा:
english
फ़ाइल:
PDF, 10.15 MB
0 / 0
english, 2011
24
Introduction to Cryptography: Principles and Applications, 2nd Edition (Information Security and Cryptography)

Introduction to Cryptography: Principles and Applications, 2nd Edition (Information Security and Cryptography)

Hans Delfs, Helmut Knebl
साल:
2007
भाषा:
english
फ़ाइल:
PDF, 2.27 MB
0 / 0
english, 2007
25
Introduction to Cryptography: Principles and Applications

Introduction to Cryptography: Principles and Applications

Hans Delfs, Helmut Knebl
साल:
2007
भाषा:
english
फ़ाइल:
PDF, 2.63 MB
0 / 0
english, 2007
26
Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Desconocido
फ़ाइल:
RTF , 1.54 MB
0 / 0
27
Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Unknown
साल:
2007
भाषा:
spanish
फ़ाइल:
FB2 , 1.67 MB
0 / 0
spanish, 2007
28
Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Desconocido
साल:
2007
भाषा:
spanish
फ़ाइल:
AZW3 , 1.04 MB
0 / 0
spanish, 2007
29
Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Desconocido
साल:
2007
भाषा:
spanish
फ़ाइल:
MOBI , 726 KB
0 / 0
spanish, 2007
30
Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Unknown
साल:
2007
फ़ाइल:
LIT , 403 KB
0 / 0
2007
31
Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Introduction to Cryptography Principles and Applications 2nd ed H Delfs H Knebl Springer

Desconocido
साल:
2007
भाषा:
spanish
फ़ाइल:
EPUB, 408 KB
0 / 0
spanish, 2007
32
518658_1_En_Print.indd

518658_1_En_Print.indd

0008471
फ़ाइल:
RTF , 2.40 MB
0 / 0
33
Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Ikram Ali, Yong Chen, Mohammad Faisal, Meng Li
साल:
2022
भाषा:
english
फ़ाइल:
FB2 , 3.27 MB
0 / 0
english, 2022
34
Efficient And Provably Secure Schemes for Vehiculr Ad-Hoc Networks

Efficient And Provably Secure Schemes for Vehiculr Ad-Hoc Networks

Ikram Ali, Yong Chen, Mohommed Faisal, Meng Li
साल:
2022
भाषा:
english
फ़ाइल:
LIT , 1.97 MB
0 / 0
english, 2022
35
Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Ikram Ali, Yong Chen, Mohammad Faisal, Meng Li
साल:
2022
भाषा:
english
फ़ाइल:
PDF, 5.96 MB
0 / 0
english, 2022
36
Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Ikram Ali, Yong Chen, Mohammad Faisal, Meng Li
साल:
2022
भाषा:
english
फ़ाइल:
AZW3 , 2.37 MB
0 / 0
english, 2022
37
Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Ikram Ali, Yong Chen, Mohammad Faisal, Meng Li
साल:
2022
भाषा:
english
फ़ाइल:
EPUB, 1.55 MB
0 / 0
english, 2022
38
Effective Enforcement of Creditors’ Rights

Effective Enforcement of Creditors’ Rights

Masahisa Deguchi
साल:
2022
भाषा:
english
फ़ाइल:
MOBI , 1.25 MB
0 / 0
english, 2022
39
Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Efficient and Provably Secure Schemes for Vehicular Ad-Hoc Networks

Ikram Ali, Yong Chen, Mohammad Faisal, Meng Li
साल:
2022
भाषा:
english
फ़ाइल:
PDF, 5.97 MB
0 / 0
english, 2022
41
Secure Key Establishment

Secure Key Establishment

Choo
साल:
2009
भाषा:
english
फ़ाइल:
PDF, 922 KB
0 / 0
english, 2009
42
Secure Key Establishment

Secure Key Establishment

Kim-Kwang Raymond Choo
साल:
2008
भाषा:
english
फ़ाइल:
PDF, 1.68 MB
0 / 0
english, 2008
43
Models of Peano arithmetic

Models of Peano arithmetic

Kaye Richard
साल:
1991
भाषा:
english
फ़ाइल:
DJVU, 3.91 MB
0 / 0
english, 1991
45
Models of Peano arithmetic

Models of Peano arithmetic

Kaye R.
साल:
1991
भाषा:
english
फ़ाइल:
DJVU, 2.21 MB
0 / 0
english, 1991
46
Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

Toshiyasu Arai
साल:
2021
भाषा:
english
फ़ाइल:
PDF, 4.25 MB
0 / 0
english, 2021
47
Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

Toshiyasu Arai
साल:
2020
भाषा:
english
फ़ाइल:
PDF, 4.16 MB
0 / 0
english, 2020
48
Ordinal Analysis with an Introduction to Proof Theory

Ordinal Analysis with an Introduction to Proof Theory

Arai, Toshiyasu
साल:
2020
भाषा:
english
फ़ाइल:
PDF, 3.28 MB
0 / 0
english, 2020
49
Proof Theory and Logic Complexity: Volume 1

Proof Theory and Logic Complexity: Volume 1

Jean-Yves Girard
साल:
1987
भाषा:
english
फ़ाइल:
PDF, 35.62 MB
0 / 5.0
english, 1987