Browse Results

Showing 22,176 through 22,200 of 59,387 results
Title Author ISBN Copyright Features Action
Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings (Lecture Notes in Computer Science #13910) 5388535 Marieke Huisman António Ravara 9783031353550 2023 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 42nd IFIP WG 6.1 International Conference, FORTE 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022, Proceedings (Lecture Notes in Computer Science #13273) 4670740 Mohammad Reza Mousavi Anna Philippou 9783031086793 2022 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 39th IFIP WG 6.1 International Conference, FORTE 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17–21, 2019, Proceedings (Lecture Notes in Computer Science #11535) 2720571 Jorge A. Pérez Nobuko Yoshida 9783030217594 2019 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings (Lecture Notes in Computer Science #12719) 4053290 Kirstin Peters Tim A. C. Willemse 9783030780890 2021 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
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

Refine Search

Showing 22,176 through 22,200 of 59,387 results