Browse Results

Showing 22,426 through 22,450 of 61,782 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
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 2253516 David M. Russinoff J Strother Moore 9783319955131 2019 Contains images
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach 4450129 David M. Russinoff 9783030871819 2022 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 Rolf Drechsler Daniel Große Alireza Mahzoon 9783031245718 2023 Contains images
Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never 5943245 Rolf Drechsler Pascal Pieper 9783031516924 2024 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 Max Silberztein Božo Bekavac Kristina Kocijan Krešimir Šojat 9783030706296 2021 Contains images
Formalization of Complex Analysis and Matrix Theory 3601503 Yong Guan Zhiping Shi Ximeng Li 9789811572616 2020 Contains images
Formalizing Data-Centric Web Services 1616896 Iman Saleh 9783319246789 2015 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 Max Silberztein Héla Fehri Slim Mesfar 9783030388331 2020 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: 16th International Conference, NooJ 2022, Rosario, Argentina, June 14–16, 2022, Revised Selected Papers (Communications in Computer and Information Science #1758) 5427772 Max Silberztein Mariana González Silvia Susana Reyes Andrea Rodrigo 9783031233173 2022 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 Max Silberztein Anita Bartulović Linda Mijić 9783031566462 2024 Contains images
Formalizing Natural Languages: 18th International Conference, NooJ 2024, Bergamo, Italy, June 5–7, 2024, Revised Selected Papers (Communications in Computer and Information Science #2443) 6617500 Max Silberztein 9783031898105 2025 Contains images
Formation Control: Approaches for Distributed Agents (Studies in Systems, Decision and Control #205) 2489879 Hyo-Sung Ahn 9783030151874 2020 Contains images
Formation and Containment Control for High-order Linear Swarm Systems 1394962 Xiwang Dong 9783662478363 2016 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 3196265 Leslie P. Willcocks Mary C. Lacity Chris Sauer 9781137509871 2015 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: Volume 1 3404982 Leslie P. Willcocks Mary C. Lacity Chris Sauer 9781137509857 2015 Contains images
Formulating Research Methods for Information Systems: Volume 2 3399189 Leslie P. Willcocks Mary C. Lacity Chris Sauer 9781137509888 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 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,426 through 22,450 of 61,782 results