981- 1000 of 2877 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings, Author: Karin Breitman
QUICK ADD
Formal Methods and Software…
by Karin Breitman (Editor), Ana Cavalcanti (Editor)
#5885 in Series
Paperback $109.99
Title: Data Visualization '99: Proceedings of the Joint EUROGRAPHICS and IEEE TCVG Symposium on Visualization in Vienna, Austria, May 26-28, 1999, Author: Eduard Gröller
QUICK ADD
Data Visualization '99:…
by Eduard Gröller (Editor), Helwig Löffelmann (Editor), William Ribarsky (Editor)
Explore Series
Paperback $54.99
Title: Dependable Software Engineering. Theories, Tools, and Applications: 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings, Author: Timothy Bourke
QUICK ADD
Dependable Software…
by Timothy Bourke (Editor), Liqian Chen (Editor), Amir Goharshady (Editor)
#15469 in Series
Paperback $79.99
Title: NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings, Author: Clark Barrett
QUICK ADD
NASA Formal Methods: 9th…
by Clark Barrett (Editor), Misty Davies (Editor), Temesghen Kahsai (Editor)
#10227 in Series
Paperback $54.99
Title: TAPSOFT '89: Proceedings of the International Joint Conference on Theory and Practice of Software Development Barcelona, Spain, March 13-17, 1989: Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Current Is, Author: Josep Diaz
QUICK ADD
TAPSOFT '89: Proceedings of…
by Josep Diaz (Editor), Fernando Orejas (Editor)
#352 in Series
Paperback $54.99
Title: Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, Author: Deepak D'Souza
QUICK ADD
Automated Technology for…
by Deepak D'Souza (Editor), K. Narayan Kumar (Editor)
#10482 in Series
Paperback $54.99
Title: Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday, Author: Theo Härder
QUICK ADD
Data Management in a Connected…
by Theo Härder (Editor), Wolfgang Lehner (Editor)
#3551 in Series
Paperback $54.99
Title: Modellbildung, Simulation und Identifikation dynamischer Systeme, Author: Dietmar P.F. Mïller
QUICK ADD
Modellbildung, Simulation und…
by Dietmar P.F. Mïller
Explore Series
Paperback $59.99
Title: Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings, Author: Hüsnü Yenigün
QUICK ADD
Testing Software and Systems:…
by Hüsnü Yenigün (Editor), Cemal Yilmaz (Editor), Andreas Ulrich (Editor)
#8254 in Series
Paperback $54.99
Title: Objektorientierte Architektur f�r grafische Benutzungsoberfl�chen: Realisierung der portablen Fenstersystemschnittstelle von ET++, Author: Andre Weinand
QUICK ADD
Objektorientierte Architektur…
by Andre Weinand
Paperback $59.99
Title: Earthquake Processes: Physical Modelling, Numerical Simulation and Data Analysis Part I, Author: Mitsuhiro Matsu'ura
QUICK ADD
Earthquake Processes: Physical…
by Mitsuhiro Matsu'ura (Editor), Peter Mora (Editor), Andrea Donnellan (Editor), Xiang-chu Yin (Editor)
Explore Series
Paperback $54.99
Title: Contemporary Empirical Methods in Software Engineering, Author: Michael Felderer
QUICK ADD
Contemporary Empirical Methods…
by Michael Felderer (Editor), Guilherme Horta Travassos (Editor)
Paperback $169.00
Title: Evaluation of Novel Approaches to Software Engineering: 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers, Author: Hermann Kaindl
QUICK ADD
Evaluation of Novel Approaches…
by Hermann Kaindl (Editor), Mike Mannion (Editor), Leszek A. Maciaszek (Editor)
#2028 in Series
Paperback $119.99
Title: Solid Modeling by Computers: From Theory to Applications, Author: Mary S. Pickett
QUICK ADD
Solid Modeling by Computers:…
by Mary S. Pickett (Editor), John W. Boyse (Editor)
Paperback $54.99
Title: Search-Based Software Engineering: 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019, Proceedings, Author: Shiva Nejati
QUICK ADD
Search-Based Software…
by Shiva Nejati (Editor), Gregory Gay (Editor)
#11664 in Series
Paperback $54.99
Title: Pro Perl, Author: Peter Wainwright
QUICK ADD
Pro Perl
by Peter Wainwright
Explore Series
Paperback $54.99
Title: Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings, Author: Paul Pettersson
QUICK ADD
Formal Modeling and Analysis…
by Paul Pettersson (Editor), Wang Yi (Editor)
#3829 in Series
Paperback $54.99
Title: The Unified Modeling Language: Technical Aspects and Applications, Author: Martin Schader
QUICK ADD
The Unified Modeling Language:…
by Martin Schader (Editor), Axel Korthaus (Editor)
Paperback $109.99
Title: Information and Software Technologies: 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014, Proceedings, Author: Giedre Dregvaite
QUICK ADD
Information and Software…
by Giedre Dregvaite (Editor), Robertas Damasevicius (Editor)
#465 in Series
Paperback $54.99
Title: Modeling and Retrieval of Context: Second International Workshop, MRC 2005, Edinburgh, UK, July 31-August 1, 2005, Revised Selected Papers, Author: Thomas R. Roth-Berghofer
QUICK ADD
Modeling and Retrieval of…
by Thomas R. Roth-Berghofer (Editor), Stefan Schulz (Editor), David B. Leake (Editor)
#3946 in Series
Paperback $54.99

Pagination Links