Press "Enter" to skip to content

NASA Formal Methods 18th International Symposium, NFM 2026

NASA Formal Methods 18th International Symposium, NFM 2026 | 83.27 MB

Title: NASA Formal Methods 18th International Symposium, NFM 2026
Author: Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto
Category: Nonfiction, Computers, Computer Hardware, Advanced Computing, Computer Science, Programming, Software Development
Language: English | 570 Pages | ISBN: 3032280788

Introduction to Automata Theory and Formal Languages A Logic Building and Problem – solving Approach

Introduction to Automata Theory and Formal Languages A Logic Building and Problesolving Approach | 190.47 MB

Title: Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-solving Approach
Author: Amol M Jagtap and Gautami G Shingan
Category: Nonfiction, Computers, Advanced Computing, Programming, Compilers, General Computing
Language: English | 349 Pages | ISBN: 0471439606

Introduction to Automata Theory and Formal Languages A Logic Building and Problem – solving Approach

Introduction to Automata Theory and Formal Languages A Logic Building and Problesolving Approach | 190.47 MB

Title: Introduction to Automata Theory and Formal Languages: A Logic Building and Problem-solving Approach
Author: Amol M Jagtap and Gautami G Shingan
Category: Nonfiction, Computers, Advanced Computing, Programming, Compilers, General Computing
Language: English | 349 Pages | ISBN: 0471439606

Formal and Informal Networks in Organizations

Formal and Informal Networks in Organizations | 32.01 MB

Title: Formal and Informal Networks in Organizations
Author: Giuseppe Soda
Category: Business & Finance, Management & Leadership, Management Science, Human Resources & Personnel Management, Organizational Behavior, Management
Language: English | 387 Pages | ISBN: 0470589027

Formal Models of Divide – and – Conquer Queuing Systems in 5G Infrastructures

Formal Models of Dividand – Conquer Queuing Systems in 5G Infrastructures | 8.5 MB

Title: Formal Models of Divide-and-Conquer Queuing Systems in 5G Infrastructures
Author: Viacheslav Kovtun
Category: Nonfiction, Science & Nature, Mathematics, Applied, Computers, Advanced Computing, Computer Science, Networking & Communications
Language: English | 173 Pages | ISBN: 9783032061874

Swarm Robotics A Formal Approach Second Edition

Swarm Robotics A Formal Approach Second Edition | 25.18 MB

Title: Swarm Robotics
Author: Heiko Hamann
Category: Nonfiction, Science & Nature, Technology, Telecommunications, Electricity, Computers, Advanced Computing, Artificial Intelligence
Language: English | 454 Pages | ISBN: 9783032105844

An Introduction to Formal Logic, 2nd Edition

An Introduction to Formal Logic, 2nd Edition | 1.69 MB

Title: A Course in Indian Philosophy
Author: A. K. Warder
Category: Nonfiction, Religion & Spirituality, Philosophy, Logic
Language: English | 428 Pages | ISBN: 9789401032698