Ornis Book House | Books in Information And Computing Technologies

Results 81 - 90 of 806

‹
1
2
...
6
7
8
9
10
11
12
...
80
81
›

Automation For Proof Engineering: Machine-Checked Proofs At Scale

Automation For Proof Engineering: Machine-Checked Proofs At Scale

By Kodhaiyamma Sethupathy

First-Order Algorithms For Unconstrained/Constrained Dynamic Games And Identification Of Linear Dynamic Systems With Multiplicative Noise

First-Order Algorithms For Unconstrained/Constrained Dynamic Games And Identification Of Linear Dynamic Systems With Multiplicative Noise

By Neelabai Meshram

End-To-End Customization Of Efficient, Private, And Robust Neural Networks

End-To-End Customization Of Efficient, Private, And Robust Neural Networks

By Aalok Muthuraman

Randomized Methods And Statistical Inference

Randomized Methods And Statistical Inference

By Tamilendhi Iyer

Analyzing And Defending Against Evolving Web Threats

Analyzing And Defending Against Evolving Web Threats

By Varalaxmi Mutharaiyar

Distributed Agreement: Swarm Guidance To Cooperative Lighting

Distributed Agreement: Swarm Guidance To Cooperative Lighting

Ear Biometrics: A Comprehensive Study Of Taxonomy, Detection, And Recognition Methods

Ear Biometrics: A Comprehensive Study Of Taxonomy, Detection, And Recognition Methods

By Tamilarasan Subramanian

Investigating Diversity In Open Multiagent Team Formation

Investigating Diversity In Open Multiagent Team Formation

Techniques For The Specification And Verification Of Enterprise Applications

Techniques For The Specification And Verification Of Enterprise Applications

By Chidambaresan Arumugam

An Application Of Load Path Theory To The Design Of Structures

An Application Of Load Path Theory To The Design Of Structures

By Kasabai Sathe

Results 81 - 90 of 806

‹
1
2
...
6
7
8
9
10
11
12
...
80
81
›