Электронный каталог

DDC 006.3
P 32
Patel, Devangini.
    Hands-On Artificial Intelligence for Search [[electronic resource] :] : Building Intelligent Applications and Perform Enterprise Searches / / Devangini Patel. - Birmingham : : Packt Publishing Ltd,, 2018. - 1 online resource (120 p.). - URL: https://library.dvfu.ru/lib/document/SK_ELIB/ABCEFB67-26EB-4797-8980-A5C5FE771AAD. - ISBN 9781789612479 (electronic bk.). - ISBN 1789612470 (electronic bk.)
Description based upon print version of record.
Параллельные издания: Print version: : Patel, Devangini Hands-On Artificial Intelligence for Search : Building Intelligent Applications and Perform Enterprise Searches. - Birmingham : Packt Publishing Ltd,c2018. - ISBN 9781789611151
    Содержание:
Cover; Title Page; Copyright and Credits; Packt Upsell; Contributors; Table of Contents; Preface; Chapter 1: Understanding the Depth-First Search Algorithm; Installing and setting up libraries; Setting up Python; Setting up Graphviz; Installing pip; Introduction to file searching applications; Basic search concepts; Formulating the search problem; Building trees with nodes; Stack data structure; The DFS algorithm; Recursive DFS; Do it yourself; Summary; Chapter 2: Understanding the Breadth-First Search Algorithm; Understanding the LinkedIn connection feature; Graph data structure
Queue data structureThe BFS algorithm; BFS versus DFS; Order of traversal; Data structures; Memory; Optimal solution; Do it yourself; Summary; Chapter 3: Understanding the Heuristic Search Algorithm; Revisiting the navigation application; The priority queue data structure; Visualizing a search tree; Greedy BFS; A* Search; What is a good heuristic function? ; Properties of a good heuristic function; Admissible; Consistent; Summary; Other Books You May Enjoy; Index

Patel, Devangini. Hands-On Artificial Intelligence for Search [[electronic resource] :] : Building Intelligent Applications and Perform Enterprise Searches / / Devangini Patel., 2018. - 1 online resource (120 p.) с. (Введено оглавление)

DDC 005.1
J 44
Jesús, Sofía De.
    Applied Computational Thinking with Python [[electronic resource] :] : Design Algorithmic Solutions for Complex and Challenging Real-World Problems. / Sofía De. Jesús, Martinez, Dayrene. - Birmingham : : Packt Publishing, Limited,, 2020. - 1 online resource (420 p.). - URL: https://library.dvfu.ru/lib/document/SK_ELIB/4EFD77A3-7336-49FD-8452-766E1986988A. - ISBN 9781839216763. - ISBN 183921676X
Description based upon print version of record.
Параллельные издания: Print version: : Jesús, Sofía De Applied Computational Thinking with Python : Design Algorithmic Solutions for Complex and Challenging Real-World Problems. - Birmingham : Packt Publishing, Limited,c2020. - ISBN 9781839219436
    Содержание:
Cover -- Title Page -- Copyright and Credits -- Dedicated -- About Packt -- Contributors -- Table of Contents -- Preface -- Section 1: Introduction to Computational Thinking -- Chapter 1: Fundamentals of Computer Science -- Technical requirements -- Introduction to computer science -- Learning about computers and the binary system -- Understanding theoretical computer science -- Algorithms -- Coding theory -- Computational biology -- Data structures -- Information theory -- Automata theory -- Formal language theory -- Symbolic computation -- Computational geometry
Computational number theory -- Learning about a system's software -- Operating systems -- Application software -- Understanding computing -- Architecture -- Programming languages -- Learning about data types and structures -- Data types -- Data structures -- Summary -- Chapter 2: Elements of Computational Thinking -- Technical requirements -- Understanding computational thinking -- Problem 1 -- Conditions -- Decomposing problems -- Recognizing patterns -- Problem 2 -- Mathematical algorithms and generalization -- Generalizing patterns -- Designing algorithms -- Additional problems
Problem 2 -- Children's soccer party -- Problem 3 -- Savings and interest -- Summary -- Chapter 3: Understanding Algorithms and Algorithmic Thinking -- Technical requirements -- Defining algorithms in depth -- Algorithms should be clear and unambiguous -- Algorithms should have inputs and outputs that are well defined -- Algorithms should have finiteness -- Algorithms have to be feasible -- Algorithms are language-independent -- Designing algorithms -- Problem 1 -- An office lunch -- Problem 2 -- A catering company -- Analyzing algorithms -- Algorithm analysis 1 -- States and capitals
Algorithm analysis 2 -- Terminating or not terminating? -- Summary -- Chapter 4: Understanding Logical Reasoning -- Technical requirements -- Understanding the importance of logical reasoning -- Applying inductive reasoning -- Applying deductive reasoning -- Using Boolean logic and operators -- The and operator -- The or operator -- The not operator -- Identifying logic errors -- Summary -- Chapter 5: Exploring Problem Analysis -- Technical requirements -- Understanding the problem definitions -- Problem 5A -- Building an online store -- Learning to decompose problems
Converting the flowchart into an algorithm -- Analyzing problems -- Problem 5B -- Analyzing a simple game problem -- Summary -- Chapter 6: Designing Solutions and Solution Processes -- Technical requirements -- Designing solutions -- Problem 1 -- A marketing survey -- Diagramming solutions -- Creating solutions -- Problem 2 -- Pizza order -- Problem 3 -- Delays and Python -- Summary -- Chapter 7: Identifying Challenges within Solutions -- Technical requirements -- Identifying errors in algorithm design -- Syntax errors -- Errors in logic -- Debugging algorithms -- Comparing solutions
Problem 1 -- Printing even numbers

Jesús, Sofía De. Applied Computational Thinking with Python [[electronic resource] :] : Design Algorithmic Solutions for Complex and Challenging Real-World Problems. / Sofía De. Jesús, Martinez, Dayrene., 2020. - 1 online resource (420 p.) с. (Введено оглавление)

DDC 720.285
F 76

    Formal Methods in Architecture and Urbanism, Volume 2. / Ruivo, Catarina., Viana, David Leite., Morais, Franklim. - Newcastle upon Tyne, UK : : Cambridge Scholars Publishing,, [2021]. - 1 online resource (541 p.). - URL: https://library.dvfu.ru/lib/document/SK_ELIB/1F2E62A8-25D2-401C-BB5C-72CBAE23BA94. - ISBN 1527576655 (electronic book). - ISBN 9781527576650 (electronic bk.)
Параллельные издания: Print version: : Ruivo, Catarina Formal Methods in Architecture and Urbanism, Volume 2. - Newcastle-upon-Tyne : Cambridge Scholars Publisher,c2021. - ISBN 9781527574465
    Содержание:
Intro -- Table of Contents -- Introduction -- 4th Symposium Formal Methods in Architecture -- Part I -- I.1 -- Chapter One -- Chapter Two -- Chapter Three -- Chapter Four -- Chapter Five -- Chapter Six -- Chapter Seven -- Chapter Eight -- I.2 -- Chapter Nine -- Chapter Ten -- Chapter Eleven -- I.3 -- Chapter Twelve -- Chapter Thirteen -- I.4 -- Chapter Fourteen -- Chapter Fifteen -- I.5 -- Chapter Sixteen -- Chapter Seventeen -- Part II -- II.1 -- Chapter Eighteen -- II.2 -- Chapter Nineteen -- Chapter Twenty -- Chapter Twenty-One -- Chapter Twenty-Two -- Chapter Twenty-Three
Chapter Twenty-Four -- II.3 -- Chapter Twenty-Five -- Chapter Twenty-Six -- Chapter Twenty-Seven -- II.4 -- Chapter Twenty-Eight -- Chapter Twenty-Nine -- List of Figures -- Contributor Biographies

Formal Methods in Architecture and Urbanism, Volume 2. [Электронный ресурс] / Ruivo, Catarina., Viana, David Leite., Morais, Franklim., [2021]. - 1 online resource (541 p.) с. (Введено оглавление)