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 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 | 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 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 | 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 | 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

Formal Techniques for Networked and Distributed Systems | 7.46 MB

Title: Combined PDF
Author: Elie Najm, Jean-François Pradat-Peyre et Véronique Viguié Donzeau-Gouge
Category: Nonfiction, Computers, Operating Systems, Programming, Software Development, Networking & Communications
Language: English | 472 Pages | ISBN: 3540462198

Journeys Between Formal Methods and the Railway Industry | 34.65 MB

Title: Journeys Between Formal Methods and the Railway Industry
Author: Maurice H. ter Beek
Category: Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development
Language: English | 363 Pages | ISBN: 9783032124845

An Introduction to Formal Languages and Automata, 7th Edition (True PDF) | 28.84 MB

Title: 哈佛最熱門的國際關係課：國際關係大師奈伊教你洞悉局勢，掌握先機，佈局未來！
Author: 約瑟夫．奈伊, 大衛．威爾許Joseph S. Nye, David A. Welch
Category: Nonfiction, Social & Cultural Studies, Political Science, International, International Relations
Language: Chinese | 600 Pages | ISBN: 9789867778734

Modelling the City Formal Ontology and Spatial Humanities | 8.54 MB

Title: Modelling the City: Formal Ontology and Spatial Humanities
Author: Duży, Wiesława
Category: Nonfiction, Art & Architecture, Architecture, Planning, Science & Nature, Science, Earth Sciences, Geography, Social & Cultural Studies, Social Science, Human Geography
Language: English | 227 Pages | ISBN: 1032695870