Title: Frontiers in Algorithmics: 11th International Workshop, FAW 2017, Chengdu, China, June 23-25, 2017, Proceedings, Author: Mingyu Xiao
Title: Frontiers in Algorithmics: 10th International Workshop, FAW 2016, Qingdao, China, June 30- July 2, 2016, Proceedings, Author: Daming Zhu
Title: From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Author: Ezio Bartocci
Title: From Mathematics to Generic Programming / Edition 1, Author: Alexander Stepanov
Title: Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Author: Javier Esparza
Title: Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceeding, Author: Bart Jacobs
Title: Foundations of Security: What Every Programmer Needs to Know / Edition 1, Author: Christoph Kern
Title: Foundations of Quantum Programming, Author: Mingsheng Ying
Title: Foundations of Multidimensional and Metric Data Structures / Edition 1, Author: Hanan Samet
Title: Foundations of Inductive Logic Programming / Edition 1, Author: Shan-Hwei Nienhuys-Cheng
Title: Foundations of Data Organization and Algorithms: 4th International Conference, FODO '93, Chicago, Illinois, USA, October 13-15, 1993. Proceedings / Edition 1, Author: David B. Lomet
Title: Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers, Author: Cyrille Artho
Title: Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers, Author: Cyrille Artho
Title: Formal Techniques for Safety-Critical Systems: 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers, Author: Cyrille Artho
Title: Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers, Author: Cyrille Artho
Title: Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers, Author: Cyrille Artho
Title: Formal Techniques for Distributed Objects, Components, and Systems: 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerla, Author: Ahmed Bouajjani
Title: Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Gr, Author: Elvira Albert
Title: Formal Syntax and Semantics of Java / Edition 1, Author: Jim Alves-Foss
Title: Formal Semantics for VHDL / Edition 1, Author: Carlos Delgado Kloos

Pagination Links