981- 1000 of 2302 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors, Author: R. Kurki-Suonio
QUICK ADD
A Practical Theory of Reactive…
by R. Kurki-Suonio
Explore Series
Paperback $54.99
Title: Formal Methods and Software Engineering: 15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings, Author: Lindsay Groves
QUICK ADD
Formal Methods and Software…
by Lindsay Groves (Editor), Jing Sun (Editor)
#8144 in Series
Paperback $54.99
Title: Pro JSF and HTML5: Building Rich Internet Components, Author: Zubin Wadia
QUICK ADD
Pro JSF and HTML5: Building…
by Zubin Wadia, Hazem Saleh, Allan Christensen
Explore Series
Paperback $54.99
Title: Agile Methods: 9th Brazilian Workshop, WBMA 2018, Campinas, Brazil, October 4, 2018, Revised Selected Papers, Author: Graziela Simone Tonin
QUICK ADD
Agile Methods: 9th Brazilian…
by Graziela Simone Tonin (Editor), Bernardo Estïcio (Editor), Alfredo Goldman (Editor), Eduardo Guerra (Editor)
#981 in Series
Paperback $54.99
Title: Innovations for Requirement Analysis. From Stakeholders' Needs to Formal Designs: 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers, Author: Barbara Paech
QUICK ADD
Innovations for Requirement…
by Barbara Paech (Editor), Craig Martell (Editor)
#5320 in Series
Paperback $54.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
Paperback $54.99
Title: Software Engineering - ESEC '93: 4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings, Author: Ian Sommerville
QUICK ADD
Software Engineering - ESEC…
by Ian Sommerville (Editor), Manfred Paul (Editor)
#717 in Series
Paperback $54.99
Title: Pro (IBM) WebSphere Application Server 7 Internals, Author: Colin Renouf
QUICK ADD
Pro (IBM) WebSphere…
by Colin Renouf
Explore Series
Paperback $54.99
Title: Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers, Author: Jürgen Großmann
QUICK ADD
Risk Assessment and…
by Jürgen Großmann (Editor), Michael Felderer (Editor), Fredrik Seehusen (Editor)
#10224 in Series
Paperback $54.99
Title: Agile Methods: 8th Brazilian Workshop, WBMA 2017, Bel�m, Brazil, September 13-14, 2017, Revised Selected Papers, Author: Viviane Almeida dos Santos
QUICK ADD
Agile Methods: 8th Brazilian…
by Viviane Almeida dos Santos (Editor), Gustavo Henrique Lima Pinto (Editor), Adolfo Gustavo Serra Seca Neto (Editor)
#802 in Series
Paperback $54.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
Paperback $54.99
Title: Software Measurement: 25th International Workshop on Software Measurement and 10th International Conference on Software Process and Product Measurement, IWSM-Mensura 2015, Krak�w, Poland, October 5-7, 2015, Proceedings, Author: Andrzej Kobylinski
QUICK ADD
Software Measurement: 25th…
by Andrzej Kobylinski (Editor), Beata Czarnacka-Chrobot (Editor), Jaroslaw Swierczek (Editor)
#230 in Series
Paperback $54.99
Title: Universal Access in Health Telematics: A Design Code of Practice, Author: Constantine Stephanidis
QUICK ADD
Universal Access in Health…
by Constantine Stephanidis (Editor)
#3041 in Series
Paperback $54.99
Title: Risks and Security of Internet and Systems: 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers, Author: Akka Zemmari
QUICK ADD
Risks and Security of Internet…
by Akka Zemmari (Editor), Mohamed Mosbah (Editor), Nora Cuppens-Boulahia (Editor), Frïdïric Cuppens (Editor)
#11391 in Series
Paperback $54.99
Title: Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings, Author: Sebastian Gabmeyer
QUICK ADD
Tests and Proofs: 11th…
by Sebastian Gabmeyer (Editor), Einar Broch Johnsen (Editor)
#10375 in Series
Paperback $54.99
Title: Algebraic Methodology and Software Technology (AMAST'93): Proceedings of the Third International Conference on Algebraic Methodology and Software Technology, University of Twente, Enschede, The Netherlands 21-25 June 1993, Author: Maurice Nivat
QUICK ADD
Algebraic Methodology and…
by Maurice Nivat (Editor), Charles Rattray (Editor), Teodor Rus (Editor), Giuseppe Scollo (Editor)
Explore Series
Paperback $54.99
Title: Analysis and Design of Advice, Author: Ivan Jureta
QUICK ADD
Analysis and Design of Advice
by Ivan Jureta
Paperback $54.99
Title: Testing Software and Systems: 30th IFIP WG 6.1 International Conference, ICTSS 2018, C�diz, Spain, October 1-3, 2018, Proceedings, Author: Inmaculada Medina-Bulo
QUICK ADD
Testing Software and Systems:…
by Inmaculada Medina-Bulo (Editor), Mercedes G. Merayo (Editor), Robert Hierons (Editor)
#11146 in Series
Paperback $54.99
Title: Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings, Author: M. Joseph
QUICK ADD
Foundations of Software…
by M. Joseph (Editor), R. Shyamasundar (Editor)
#181 in Series
Paperback $54.99
Title: Tools and Methods of Program Analysis: 4th International Conference, TMPA 2017, Moscow, Russia, March 3-4, 2017, Revised Selected Papers, Author: Vladimir Itsykson
QUICK ADD
Tools and Methods of Program…
by Vladimir Itsykson (Editor), Andre Scedrov (Editor), Victor Zakharov (Editor)
#779 in Series
Paperback $54.99

Pagination Links