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