Browse Results

Showing 22,776 through 22,800 of 60,823 results
Title Author ISBN Copyright Features Action
Formal Techniques for Safety-Critical Systems: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers (Communications in Computer and Information Science #1165) 3348641 Osman Hasan Frédéric Mallet 9783030469023 2020 Contains images
A Formal Theory of Commonsense Psychology: How People Think People Think 2077701 Andrew S. Gordon Jerry R. Hobbs 9781108506656 2017 Contains images
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 4450129 David M. Russinoff 9783030871819 2022 Contains images
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 2253516 David M. Russinoff J Strother Moore 9783319955131 2019 Contains images
Formal Verification of Simulink/Stateflow Diagrams 1531068 Naijun Zhan Shuling Wang Hengjun Zhao 9783319470160 2017 Contains images
Formal Verification of Structurally Complex Multipliers 5184464 Alireza Mahzoon Daniel Große Rolf Drechsler 9783031245718 2023 Contains images
Formalising Natural Languages: 14th International Conference, NooJ 2020, Zagreb, Croatia, June 5–7, 2020, Revised Selected Papers (Communications in Computer and Information Science #1389) 3879291 Božo Bekavac Kristina Kocijan Max Silberztein Krešimir Šojat 9783030706296 2021 Contains images
Formalization of Complex Analysis and Matrix Theory 3601503 Zhiping Shi Yong Guan Ximeng Li 9789811572616 2020 Contains images
Formalizing Data-Centric Web Services 1616896 Iman Saleh 9783319246789 2015 Contains images
Formalizing Natural Languages: 16th International Conference, NooJ 2022, Rosario, Argentina, June 14–16, 2022, Revised Selected Papers (Communications in Computer and Information Science #1758) 5427772 Mariana González Silvia Susana Reyes Andrea Rodrigo Max Silberztein 9783031233173 2022 Contains images
Formalizing Natural Languages: 15th International Conference, NooJ 2021, Besançon, France, June 9–11, 2021, Revised Selected Papers (Communications in Computer and Information Science #1520) 4539574 Max Silberztein Magali Bigey Annabel Richeton Izabella Thomas 9783030928612 2021 Contains images
Formalizing Natural Languages: 17th International Conference, NooJ 2023, Zadar, Croatia, May 31–June 2, 2023, Revised Selected Papers (Communications in Computer and Information Science #1816) 5948548 Anita Bartulović Linda Mijić Max Silberztein 9783031566462 2024 Contains images
Formalizing Natural Languages with NooJ 2018 and Its Natural Language Processing Applications: 12th International Conference, NooJ 2018, Palermo, Italy, June 20–22, 2018, Revised Selected Papers (Communications in Computer and Information Science #987) 2459576 Max Silberztein Mario Monteleone Ignazio Mauro Mirto 9783030108687 2019 Contains images
Formalizing Natural Languages with NooJ 2019 and Its Natural Language Processing Applications: 13th International Conference, NooJ 2019, Hammamet, Tunisia, June 7–9, 2019, Revised Selected Papers (Communications in Computer and Information Science #1153) 3030353 Héla Fehri Slim Mesfar Max Silberztein 9783030388331 2020 Contains images
Formation and Containment Control for High-order Linear Swarm Systems 1394962 Xiwang Dong 9783662478363 2016 Contains images
Formation Control: Approaches for Distributed Agents (Studies in Systems, Decision and Control #205) 2489879 Hyo-Sung Ahn 9783030151874 2020 Contains images
Forms and Functions of Endings in Narrative Digital Games (Routledge Advances in Game Studies) 3606154 Michelle Herte 9781000172768 2021 Contains images
Formula 4.0 for Digital Transformation: A Business-Driven Digital Transformation Framework for Industry 4.0 5542978 Venkatesh Upadrista 9781000388824 2021 Contains images
Formulating Research Methods for Information Systems: Volume 1 3193907 Leslie P. Willcocks Mary C. Lacity Chris Sauer 9781137509840 2015 Contains images
Formulating Research Methods for Information Systems 3196265 Leslie P. Willcocks Mary C. Lacity Chris Sauer 9781137509871 2015 Contains images
Formulating Research Methods for Information Systems: Volume 2 3399189 Leslie P. Willcocks Chris Sauer Mary C. Lacity 9781137509888 2015 Contains images
Formulating Research Methods for Information Systems: Volume 1 3404982 Leslie P. Willcocks Chris Sauer Mary C. Lacity 9781137509857 2015 Contains images
Forschungsdesigns der Wirtschaftsinformatik: Empfehlungen für die Bachelor- und Masterarbeit (essentials) 3548384 Dominic Lindner 9783658311407 2020 Contains images
Forthcoming Networks and Sustainability in the AIoT Era: Second International Conference FoNeS-AIoT 2024 - Volume 2 (Lecture Notes in Networks and Systems #1036) 6112315 Jawad Rasheed Muhammad Fahim Adnan M. Abu-Mahfouz 9783031628818 2024 Contains images
Forthcoming Networks and Sustainability in the AIoT Era: Second International Conference FoNeS-AIoT 2024 - Volume 1 (Lecture Notes in Networks and Systems #1035) 6166983 Jawad Rasheed Muhammad Fahim Adnan M. Abu-Mahfouz 9783031628719 2024 Contains images

Refine Search

Showing 22,776 through 22,800 of 60,823 results