Computer Science -- Theory and Applications
This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science Logic
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, ...
اقرأ المزيد
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيد
Computer Science – Theory and Applications
This book covers theory track deals with algorithms, protocols, and data structures; complexity and cryptography; formal ...
اقرأ المزيد
Computer Security - ESORICS 2005
These proceedings contain the papers selected for presentation at the 10th - ropean Symposium on Research in Computer Security ...
اقرأ المزيد
Concepts and Results in Chaotic Dynamics: A Short Course
The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and ...
اقرأ المزيد
Concepts and Results in Chaotic Dynamics: A Short Course
The book is a good introduction to the field of dynamical systems with a particular emphasis on statistical properties and ...
اقرأ المزيد
Concurrent Zero-Knowledge
Zero-knowledge proofs are fascinating and extremely useful constructs. Their fascinating nature is due to their seemingly ...
اقرأ المزيد
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
اقرأ المزيد
Conics and Cubics
Its focus on curves of degree at most three keeps results tangible and proofs transparent. Theorems follow naturally from ...
اقرأ المزيد
Cyclotomic Fields and Zeta Values
Cyclotomic fields have always occupied a central place in number theory, and the so called "main conjecture" on cyclotomic ...
اقرأ المزيد
Cyclotomic Fields and Zeta Values
Cyclotomic fields have always occupied a central place in number theory, and the so called "main conjecture" on cyclotomic ...
اقرأ المزيد
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
اقرأ المزيدDesigners' Guide to EN1991-1-2, EN1992-1-2, EN1993-1-2 and EN1994-1-2: Handbook for the Fire Design of Steel, Composite and Concrete Structures to the Eurocodes
The nature of the loading must first be understood before applying the structural engineering principles set out in the Eurocodes. ...
اقرأ المزيد
Developments in Language Theory : 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Developments in Language Theory, DLT ...
اقرأ المزيد
Discrete Mathematics Using a Computer
Discrete Mathematics Using a Computer offers a new, "hands-on" approach to teaching Discrete Mathematics. Using software ...
اقرأ المزيدEnglish proofreader / Muhammad Tarek Al Sharif , Mohammad AlBounni , Amjad AlReddawi , Ameen Saadia and Hiba AlSaadi ; supervised by Maher Ellawy محمد طارق معتز الشريف ، محمد البني ، امجد عامر خليل الرداوي ، امين السعدية و هبا السعدي ؛ إشراف ماهر علاوي
Using Natural Language Processing via Deep Learning, we will attempt to implement a context-sensitive spelling error correction ...
اقرأ المزيد
Ernst Zermelo : An Approach to His Life and Work
This biography attempts to shed light on all facets of Zermelo's life and achievements. Personal and scientific aspects ...
اقرأ المزيد
Essays in Constructive Mathematics
This book aims to promote constructive mathematics, not by defining it or formalizing it, but by practicing it, by basing ...
اقرأ المزيد
