21- 40 of 228 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Risks and Security of Internet and Systems: 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings, Author: Slim Kallel
QUICK ADD
Risks and Security of Internet…
by Slim Kallel, Frédéric Cuppens, Nora Cuppens-Boulahia, Ahmed Hadj Kacem
#12026 in Series
Paperback $54.99
Title: Theory and Practice of Model Transformations: 9th International Conference, ICMT 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-5, 2016, Proceedings, Author: Pieter Van Gorp
QUICK ADD
Theory and Practice of Model…
by Pieter Van Gorp, Gregor Engels
#9765 in Series
Paperback $54.99
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings, Author: Alessandro Fantechi
QUICK ADD
Reliability, Safety, and…
by Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky
#10598 in Series
Paperback $54.99
Title: Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings, Author: Martin Fränzle
QUICK ADD
Dependable Software…
by Martin Fränzle, Deepak Kapur, Naijun Zhan
#9984 in Series
Paperback $54.99
Title: Challenges and Opportunity with Big Data: 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers, Author: Lin Zhang
QUICK ADD
Challenges and Opportunity…
by Lin Zhang, Lei Ren, Fabrice Kordon
#10228 in Series
Paperback $54.99
Title: Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, Author: Ivan Lanese
QUICK ADD
Formal Aspects of Component…
by Ivan Lanese, Eric Madelaine
#8997 in Series
Paperback $54.99
Title: Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4-7, 2019, Proceedings, Author: Giancarlo Guizzardi
QUICK ADD
Advances in Conceptual…
by Giancarlo Guizzardi, Frederik Gailly, Rita Suzana Pitangueira Maciel
#11787 in Series
Paperback $54.99
Title: Transactions on Pattern Languages of Programming IV, Author: James Noble
QUICK ADD
Transactions on Pattern…
by James Noble, Ralph Johnson, Uwe Zdun, Eugene Wallingford
#10600 in Series
Paperback $54.99
Title: Software Quality: Quality Intelligence in Software and Systems Engineering: 12th International Conference, SWQD 2020, Vienna, Austria, January 14-17, 2020, Proceedings, Author: Dietmar Winkler
QUICK ADD
Software Quality: Quality…
by Dietmar Winkler, Stefan Biffl, Daniel Mendez, Johannes Bergsmann
#371 in Series
Paperback $54.99
Title: Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, Author: Paolo Milazzo
QUICK ADD
Software Technologies:…
by Paolo Milazzo, Dániel Varró, Manuel Wimmer
#9946 in Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, Author: Nan Guan
QUICK ADD
Dependable Software…
by Nan Guan, Joost-Pieter Katoen, Jun Sun
#11951 in Series
Paperback $54.99
Title: Integrating Business Process Models and Rules: Empirical Evidence and Decision Framework, Author: Wei Wang
QUICK ADD
Integrating Business Process…
by Wei Wang
#343 in Series
Paperback $54.99
Title: Job Scheduling Strategies for Parallel Processing: 17th International Workshop, JSSPP 2013, Boston, MA, USA, May 24, 2013 Revised Selected Papers, Author: Narayan Desai
QUICK ADD
Job Scheduling Strategies for…
by Narayan Desai, Walfredo Cirne
#8429 in Series
Paperback $54.99
Title: Software Architecture: 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings, Author: Bedir Tekinerdogan
QUICK ADD
Software Architecture: 10th…
by Bedir Tekinerdogan, Uwe Zdun, Ali Babar
#9839 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings, Author: Yu-Fang Chen
QUICK ADD
Automated Technology for…
by Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
#11781 in Series
Paperback $54.99
Title: Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers, Author: Huaikou Miao
QUICK ADD
Structured Object-Oriented…
by Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan
#12028 in Series
Paperback $54.99
Title: OpenSHMEM and Related Technologies. Enhancing OpenSHMEM for Hybrid Environments: Third Workshop, OpenSHMEM 2016, Baltimore, MD, USA, August 2 - 4, 2016, Revised Selected Papers, Author: Manjunath Gorentla Venkata
QUICK ADD
OpenSHMEM and Related…
by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale, Tiffany M. Mintz
#10007 in Series
Paperback $54.99
Title: Conceptual Modeling: 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018, Proceedings, Author: Juan C. Trujillo
QUICK ADD
Conceptual Modeling: 37th…
by Juan C. Trujillo, Karen C. Davis, Xiaoyong Du, Zhanhuai Li, Tok Wang Ling
#11157 in Series
Paperback $54.99
Title: Re-Engineering Legacy Software / Edition 1, Author: Chris Birchall
QUICK ADD
Re-Engineering Legacy Software…
by Chris Birchall
Paperback $64.99
Title: Verified Software. Theories, Tools, and Experiments: 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Author: Ruzica Piskac
QUICK ADD
Verified Software. Theories,…
by Ruzica Piskac, Philipp Rümmer
#11294 in Series
Paperback $54.99

Pagination Links