Browse Results

Showing 19,776 through 19,800 of 53,508 results
Title Author ISBN Copyright Features Action
Formal Modeling and Analysis of Timed Systems 1403350 Martin Fränzle Nicolas Markey 9783319448787 2016 Contains images
Formal Modeling and Analysis of Timed Systems: 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings (Lecture Notes in Computer Science #11022) 2240022 David N. Jansen Pavithra Prabhakar 9783030001513 2018 Contains images
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science #14138) 5615590 Laure Petrucci Jeremy Sproston 9783031426261 2023 Contains images
Formal Ontologies Meet Industry 1366886 Roberta Cuel Robert Young 9783319215457 2015 Contains images
Formal Specification Level 1379732 Mathias Soeken Rolf Drechsler 9783319086996 2015 Contains images
Formal SQL Tuning for Oracle Databases 1535169 Leonid Nossov Hanno Ernst Victor Chupis 9783662504178 2016 Contains images
Formal System Verification 1650910 Rolf Drechsler 9783319576855 2015 Contains images
Formal Techniques for Distributed Objects, Components, and Systems 1403349 Elvira Albert Ivan Lanese 9783319395708 2016 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 38th Ifip Wg 6. 1 International Conference, Forte 2018, Held As Part Of The 13th International Federated Conference On Distributed Computing Techniques, Discotec 2018, Madrid, Spain, June 18-21, 2018, Proceedings (Theoretical Computer Science and General Issues #10854) 2333849 Christel Baier Luís Caires 9783319926124 2018 Contains images
Formal Techniques for Distributed Objects, Components, and Systems: 40th IFIP WG 6.1 International Conference, FORTE 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings (Lecture Notes in Computer Science #12136) 3558706 Alexey Gotsman Ana Sokolova 9783030500863 2020 Contains images
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

Refine Search

Showing 19,776 through 19,800 of 53,508 results