Theory and Applications of Satisfiability Testing - SAT 2016, Paperback - ***

This book constitutes the refereed proceedings of the 19th International Conference on Theory and Applications of Satisfiability Testing, SAT 2016,...

This textbook offers a detailed introduction to the methodology and applications of sequent calculi in propositional logic. Unlike other texts conc...

This book offers a comprehensive, university-level introduction to Einstein's Special Theory of Relativity.Publisher: Springer International Publis...

Reducere. The product of a collaboration between a mathematician and a chemist, this text is geared toward advanced undergraduates and graduate students. Not...

Reducere. Natural Language Processing Crash Course for BeginnersArtificial Intelligence (AI) isn't the latest fad The reason is AI has been around since 1956...

Reducere. Gewissenhaft ueberarbeitet und aktualisiert, fuehrt Sie die 4. Auflage dieses Bandes in die mathematischen Methoden der Baumechanik ein. Die Autore...

DescriptionPublisher's Note: Products purchased from Third Party sellers are not guaranteed by the publisher for quality, authenticity, or access t...

Drawing on the author's considerable experience in both teaching and research, this textbook describes the basic principles underlying animal behav...

Reducere. The scientific study of weather patterns averaged over a period of time is called climatology or climate science. It focuses on recording and analy...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Reducere. Industrial residues are obtained from all treatments of raw materials in industry during the process of mining, raw materials treatment and final u...

Compiled from sessions presented at the 2008 AAPM Summer School, held in Houston, the topics include PET and CT basics, diagnostic and clinical ali...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Reducere. The intelligence demonstrated by machines, which is different from the natural intelligence displayed by humans and animals, is referred to as arti...

Summary Testing Vue.js Applications is a comprehensive guide to testing Vue components, methods, events, and output. Author Edd Yerburgh, creator o...

Nuclear Energy: An Introduction to the Concepts, Systems, and Applications of Nuclear Processes, Eighth Edition, provides essential information on ...

Volume 3 of this three-part series presents more advanced topics and applications of relativistic quantum field theory. The application of quantum ...

Reducere. Holocaust survivor Viktor E. Frankl is known as the founder of logotherapy, a mode of psychotherapy based on man's motivation to search for meaning...

The latest edition of this highly successful textbook introduces the key techniques and concepts involved in cloning genes and in studying their ex...

This book covers the fundamentals, architectures, communication protocols, use of AI, existing applications, and emerging research trends in IoT. I...

This accessibly written and pedagogically rich text delivers the most comprehensive examination of its subject, carefully drawing on the most up-to...

Publisher: Elsevier Science & TechnologyAuthor(s): Manousos E. (Scientific Advisor, The Golden Helix Foundation, Craven House, London, UK, and Post...

The publication in 1934 of Yang Chengfu's book, Essence and Applications of Taijiquan (Taijiquan Tiyong Quanshu) marked a milestone in the modern e...

Reducere. The photos in this edition are black and white. The efficient flow of air through an engine is instrumental for producing maximum power. To maximiz...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Publisher: Princeton University PressIllustration(s): 78 line illus.Number of pages: 464Publication date: 2015Dimensions: 179 x 250 x 38Cover type:...

Publisher: Elsevier Science Publishing Co IncNumber of pages: 620Publication date: 2022Dimensions: 152 x 230 x 35Cover type: Paperback / softbackEd...

A useful pocket guide for practitioners that distills all of the research and materials found in Otto Scharmer's seminal texts Theory U and Leading...

Presenting a clear exposition of the central tenets of Jung's work, this work covers the central themes in three sections: theory, psychotherapy, a...

This textbook provides a concise yet comprehensive introduction to the principles, concepts, and methods of quantum mechanics.Publisher: Taylor & F...

Reducere. This text opens with the theory of 2-person zero-sum games, 2-person non-zero sum games, and n-person games, at a level between non-mathematical in...

Presents the theory and methodology for reliability assessments of safety-critical functions through examples from a wide range of applications Rel...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Reducere. The branch of meteorology and hydrology which deals with the study of transfer of water and energy between the land surface and the lower atmospher...

This book is an in-depth and modern presentation of important classical results in complex analysis and is suitable for a first course on the topic...

Leverage the full power of Excel formulas Excel 2016 Formulas is fully updated to cover all of the tips, tricks, and techniques you need to maximiz...

Reducere. The main purpose of this classic text is to demonstrate how Newtonian gravitational theory and Euclidean geometry can be used and developed in the ...

Publisher: Pearson Education LimitedAuthor(s): Robert GregoryNumber of pages: 592Publication date: 2014Dimensions: 232 x 189 x 20Cover type: Paperb...

Agent-based Modelling for Criminological Theory Testing and Development addresses the question whether and how we can use simulation methods in ord...

Redescopera farmecul lecturii si alege-ti de pe elefant.ro carti in limba engleza scrise de autori consacrati. Iti punem la dispozitie sute de mii ...

Reducere. Abstract Algebra: Theory and Applications is an open-source textbook that is designed to teach the principles and theory of abstract algebra to col...

This concise monograph explores how core ideas in Hardy space function theory and operator theory continue to be useful and informative in new sett...

Reducere. Abstract Algebra: Theory and Applications is an open-source textbook that is designed to teach the principles and theory of abstract algebra to col...

Collections of new developments bringing the Polyvagal Theory into practice.