961- 980 of 1524 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Software Engineering and Formal Methods: 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings, Author: Peter Csaba Ölveczky
QUICK ADD
Software Engineering and…
by Peter Csaba Ölveczky (Editor), Gwen Salaün (Editor)
#11724 in Series
eBook $54.99
Title: System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0: 11th International Conference, SAM 2019, Munich, Germany, September 16-17, 2019, Proceedings, Author: Pau Fonseca i Casas
QUICK ADD
System Analysis and Modeling.…
by Pau Fonseca i Casas (Editor), Maria-Ribera Sancho (Editor), Edel Sherratt (Editor)
#11753 in Series
eBook $54.99
Title: Software Engineering for Resilient Systems: 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings, Author: Radu Calinescu
QUICK ADD
Software Engineering for…
by Radu Calinescu (Editor), Felicita Di Giandomenico (Editor)
#11732 in Series
eBook $54.99
Title: Software Engineering and Methodology for Emerging Domains: 16th National Conference, NASAC 2017, Harbin, China, November 4-5, 2017, and 17th National Conference, NASAC 2018, Shenzhen, China, November 23-25, 2018, Revised Selected Papers, Author: Zheng Li
QUICK ADD
Software Engineering and…
by Zheng Li (Editor), He Jiang (Editor), Ge Li (Editor), Minghui Zhou (Editor), Ming Li (Editor)
#861 in Series
eBook $54.99
Title: Algorithmic Game Theory: 12th International Symposium, SAGT 2019, Athens, Greece, September 30 - October 3, 2019, Proceedings, Author: Dimitris Fotakis
QUICK ADD
Algorithmic Game Theory: 12th…
by Dimitris Fotakis (Editor), Evangelos Markakis (Editor)
#11801 in Series
eBook $74.99
Title: Iterative Dynamic Programming, Author: Rein Luus
QUICK ADD
Iterative Dynamic Programming
by Rein Luus
Explore Series
eBook $240.00
Title: OPNET IoT Simulation, Author: Min Chen
QUICK ADD
OPNET IoT Simulation
by Min Chen, Yiming Miao, Iztok Humar
eBook $54.99
Title: Computing and Communication Systems in Urban Development: A Detailed Perspective, Author: Anandakumar Haldorai
QUICK ADD
Computing and Communication…
by Anandakumar Haldorai, Arulmurugan Ramu, Suriya Murugan
Explore Series
eBook $99.00
Title: Fundamentals of Software Engineering: 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, Author: Hossein Hojjat
QUICK ADD
Fundamentals of Software…
by Hossein Hojjat (Editor), Mieke Massink (Editor)
#11761 in Series
eBook $54.99
Title: Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings, Author: Maurice H. ter Beek
QUICK ADD
Formal Methods - The Next 30…
by Maurice H. ter Beek (Editor), Annabelle McIver (Editor), José N. Oliveira (Editor)
#11800 in Series
eBook $54.99
Title: Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings, Author: Dirk Beyer
QUICK ADD
Tests and Proofs: 13th…
by Dirk Beyer (Editor), Chantal Keller (Editor)
#11823 in Series
eBook $54.99
Title: Future-Proof Software-Systems: A Sustainable Evolution Strategy, Author: Frank J. Furrer
QUICK ADD
Future-Proof Software-Systems:…
by Frank J. Furrer
eBook $54.99
Title: Concise Guide to Software Testing, Author: Gerard O'Regan
QUICK ADD
Concise Guide to Software…
by Gerard O'Regan
Explore Series
eBook $54.99
Title: Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings, Author: Fabrizio Biondi
QUICK ADD
Model Checking Software: 26th…
by Fabrizio Biondi (Editor), Thomas Given-Wilson (Editor), Axel Legay (Editor)
#11636 in Series
eBook $54.99
Title: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, Author: Bernd Finkbeiner
QUICK ADD
Runtime Verification: 19th…
by Bernd Finkbeiner (Editor), Leonardo Mariani (Editor)
#11757 in Series
eBook $69.99
Title: Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings, Author: Christophe Gaston
QUICK ADD
Testing Software and Systems:…
by Christophe Gaston (Editor), Nikolai Kosmatov (Editor), Pascale Le Gall (Editor)
#11812 in Series
eBook $54.99
Title: Software Technology: Methods and Tools: 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings, Author: Manuel Mazzara
QUICK ADD
Software Technology: Methods…
by Manuel Mazzara (Editor), Jean-Michel Bruel (Editor), Bertrand Meyer (Editor), Alexander Petrenko (Editor)
#11771 in Series
eBook $54.99
Title: From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday, Author: Maurice H. ter Beek
QUICK ADD
From Software Engineering to…
by Maurice H. ter Beek (Editor), Alessandro Fantechi (Editor), Laura Semini (Editor)
#11865 in Series
eBook $54.99
Title: Applied Computer Sciences in Engineering: 6th Workshop on Engineering Applications, WEA 2019, Santa Marta, Colombia, October 16-18, 2019, Proceedings, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García (Editor), Mario Duarte-González (Editor), Sebastián Jaramillo-Isaza (Editor), Alvaro David Orjuela-Cañon (Editor), Yesid Díaz-Gutierrez (Editor)
#1052 in Series
eBook $99.00
Title: New Trends in Model and Data Engineering: MEDI 2019 International Workshops, DETECT, DSSGA, TRIDENT, Toulouse, France, October 28-31, 2019, Proceedings, Author: Christian Attiogbé
QUICK ADD
New Trends in Model and Data…
by Christian Attiogbé (Editor), Flavio Ferrarotti (Editor), Sofian Maabout (Editor)
#1085 in Series
eBook $54.99

Pagination Links