Browse Results

Showing 22,801 through 22,825 of 62,628 results
Title Author ISBN Copyright Features Action
Formal Techniques for Distributed Objects, Components, and Systems: 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings (Lecture Notes in Computer Science #14678) 6058453 Valentina Castiglioni Adrian Francalanza 9783031626456 2024 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings (Lecture Notes in Computer Science #15732) 6668420 Carla Ferreira Claudio Antares Mezzina 9783031954979 2025 Contains images
Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers (Communications in Computer and Information Science #1008) 2483509 Cyrille Artho Peter Csaba Ölveczky 9783030129880 2019 Contains images
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

Refine Search

Showing 22,801 through 22,825 of 62,628 results