961- 980 of 2777 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings, Author: Zhenhua Duan
QUICK ADD
Formal Methods and Software…
by Zhenhua Duan (Editor), Luke Ong (Editor)
#10610 in Series
eBook $54.99
Title: Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings, Author: Jing Sun
QUICK ADD
Formal Methods and Software…
by Jing Sun (Editor), Meng Sun (Editor)
#11232 in Series
eBook $54.99
Title: Formal Methods Applied to Complex Systems: Implementation of the B Method, Author: Jean-Louis Boulanger
QUICK ADD
Formal Methods Applied to…
by Jean-Louis Boulanger (Editor)
Explore Series
eBook $181.00
Title: Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Multicore…
by Marco Bernardo (Editor), Einar Broch Johnsen (Editor)
#9104 in Series
eBook $54.99
Title: Formal Methods for Safety and Security: Case Studies for Aerospace Applications, Author: Manju Nanda
QUICK ADD
Formal Methods for Safety and…
by Manju Nanda (Editor), Yogananda Jeppu (Editor)
eBook $129.00
Title: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for the…
by Marco Bernardo (Editor), Rocco De Nicola (Editor), Jane Hillston (Editor)
#9700 in Series
eBook $54.99
Title: Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I, Author: Emil Sekerinski
QUICK ADD
Formal Methods. FM 2019…
by Emil Sekerinski (Editor), Nelma Moreira (Editor), José N. Oliveira (Editor), Daniel Ratiu (Editor), Riccardo Guidotti (Editor)
#12232 in Series
eBook $54.99
Title: Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, Author: Marieke Huisman
QUICK ADD
Formal Methods: 24th…
by Marieke Huisman (Editor), Corina Pasareanu (Editor), Naijun Zhan (Editor)
#13047 in Series
eBook $109.00
Title: Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings, Author: Marsha Chechik
QUICK ADD
Formal Methods: 25th…
by Marsha Chechik (Editor), Joost-Pieter Katoen (Editor), Martin Leucker (Editor)
#14000 in Series
eBook $99.00
Title: Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings, Author: Márcio Cornélio
QUICK ADD
Formal Methods: Foundations…
by Márcio Cornélio (Editor), Bill Roscoe (Editor)
#9526 in Series
eBook $44.99
Title: Formal Methods: Foundations and Applications: 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings, Author: Leila Ribeiro
QUICK ADD
Formal Methods: Foundations…
by Leila Ribeiro (Editor), Thierry Lecomte (Editor)
#10090 in Series
eBook $54.99
Title: Formal Methods: Foundations and Applications: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings, Author: Tiago Massoni
QUICK ADD
Formal Methods: Foundations…
by Tiago Massoni (Editor), Mohammad Reza Mousavi (Editor)
#11254 in Series
eBook $64.99
Title: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings, Author: Gustavo Carvalho
QUICK ADD
Formal Methods: Foundations…
by Gustavo Carvalho (Editor), Volker Stolz (Editor)
#12475 in Series
eBook $69.99
Title: Formal Methods: Foundations and Applications: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings, Author: Sérgio Campos
QUICK ADD
Formal Methods: Foundations…
by Sérgio Campos (Editor), Marius Minea (Editor)
#13130 in Series
eBook $59.99
Title: 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, Author: Christel Baier
QUICK ADD
Formal Techniques for…
by Christel Baier (Editor), Luís Caires (Editor)
#10854 in Series
eBook $54.99
Title: 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, Denm, Author: Jorge A. Pérez
QUICK ADD
Formal Techniques for…
by Jorge A. Pérez (Editor), Nobuko Yoshida (Editor)
#11535 in Series
eBook $69.99
Title: 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, Jun, Author: Kirstin Peters
QUICK ADD
Formal Techniques for…
by Kirstin Peters (Editor), Tim A. C. Willemse (Editor)
#12719 in Series
eBook $54.99
Title: 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 1, Author: Mohammad Reza Mousavi
QUICK ADD
Formal Techniques for…
by Mohammad Reza Mousavi (Editor), Anna Philippou (Editor)
#13273 in Series
eBook $79.99
Title: Formulargestaltung in SAP HCM - PDF-Formulare mit HR Forms erstellen, Author: Wolf Kanngießer
QUICK ADD
Formulargestaltung in SAP HCM …
by Wolf Kanngießer
eBook $21.99
Title: Fortran 95, Author: M Counihan
QUICK ADD
Fortran 95
by M Counihan
eBook $115.00

Pagination Links