Learn IT - Books tags verification

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

Springer, 2013

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing,...

Programming Logics: Essays in Memory of Harald Ganzinger (Lecture Notes in Computer Science)

Springer, 2013

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and then turns its focus to the research of his...

Formal Methods: Industrial Use from Model to the Code

John Wiley & Sons, 2012

Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took until the end of the 1990s before formal methods or the B method could be implemented in...

Agile Model-Based Development Using UML-RSDS

CRC Press, 2016

This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in...

Reasoning with Probabilistic and Deterministic Graphical Models: Exact Algorithms (Synthesis Lectures on Artificial Intelligence and Machine Learning)

Morgan and Claypool Publishers, 2013

Graphical models (e.g., Bayesian and constraint networks, influence diagrams, and Markov decision processes) have become a central paradigm for knowledge representation and reasoning in both artificial intelligence and computer science in general. These models are used to perform many reasoning tasks, such as scheduling, planning and...

Functional Programming and Input/Output (Distinguished Dissertations in Computer Science)

Cambridge University Press, 2008

A common attraction to functional programming is the ease with which proofs can be given of program properties. A common disappointment with functional programming is the difficulty of expressing input/output (I/O) while at the same time being able to verify programs. Here, the author shows how a theory of functional programming can be smoothly...

Ethereum Projects for Beginners: Build blockchain-based cryptocurrencies, smart contracts, and DApps

Packt Publishing, 2018

Understand the Ethereum platform to build distributed applications that are secured and decentralized using blockchain technology

Key Features

Build your own decentralized applications using real-world blockchain examples

Implement Ethereum for building smart contracts and...

Generative Adversarial Networks Projects: Build next-generation generative models using TensorFlow and Keras

Packt Publishing, 2019

Explore various Generative Adversarial Network architectures using the Python ecosystem

Key Features

Use different datasets to build advanced projects in the Generative Adversarial Network domain

Implement projects ranging from generating 3D shapes to a face aging...

Hands-On Bug Hunting for Penetration Testers: A practical guide to help ethical hackers discover web application security flaws

Packt Publishing, 2018

Detailed walkthroughs of how to discover, test, and document common web application vulnerabilities.

Key Features

Learn how to test for common bugs

Discover tools and methods for hacking ethically

Practice working through pentesting engagements...

Relations and Kleene Algebra in Computer Science: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th . . . ... Issues) (Lecture Notes in Computer Science)

Springer, 2010

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were...

Mathematical and Engineering Methods in Computer Science: 8th International Doctoral Workshop, MEMICS 2012, Znojmo, Czech Republic, October 25-28, ... Papers (Lecture Notes in Computer Science)

Springer, 2013

This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2012, held in Znojmo, Czech Republic, in October, 2012. The 13 thoroughly revised papers were carefully selected out of 31 submissions and are presented together with 6 invited papers. The topics covered by...

Structured Object-Oriented Formal Language and Method: 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, ... (Lecture Notes in Computer Science (11392))

Springer, 2019

This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.

The 11 revised full papers included in the volume were carefully reviewed and...

Result Page: 11 10 9 8 7 6 5 4 3 2 1