601- 620 of 3965 results
Grid View Grid
List View List
Grid View Grid
List View List
Title: Quality of Information and Communications Technology: 16th International Conference, QUATIC 2023, Aveiro, Portugal, September 11-13, 2023, Proceedings, Author: José Maria Fernandes
QUICK ADD
Quality of Information and…
by José Maria Fernandes (Editor), Guilherme H. Travassos (Editor), Valentina Lenarduzzi (Editor), Xiaozhou Li (Editor)
#1871 in Series
Paperback $119.99
Title: Applied Computer Sciences in Engineering: 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings, Author: Juan Carlos Figueroa-García
QUICK ADD
Applied Computer Sciences in…
by Juan Carlos Figueroa-García (Editor), German Hernández (Editor), Jose Luis Villa Ramirez (Editor), Elvis Eduardo Gaona García (Editor)
#1928 in Series
Paperback $99.99
Title: Conceptual Modeling: 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings, Author: João Paulo A. Almeida
QUICK ADD
Conceptual Modeling: 42nd…
by João Paulo A. Almeida (Editor), José Borbinha (Editor), Giancarlo Guizzardi (Editor), Sebastian Link (Editor), Jelena Zdravkovic (Editor)
#14320 in Series
Paperback $89.99
Title: Computer Aided Verification: 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24-27, 2024, Proceedings, Part III, Author: Arie Gurfinkel
QUICK ADD
Computer Aided Verification:…
by Arie Gurfinkel (Editor), Vijay Ganesh (Editor)
#14683 in Series
Paperback $49.99
Title: Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings, Author: Erika Ábrahám
QUICK ADD
Runtime Verification: 24th…
by Erika Ábrahám (Editor), Houssam Abbas (Editor)
#15191 in Series
Paperback $59.99
Title: Conceptual Modeling: 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings, Author: Wolfgang Maass
QUICK ADD
Conceptual Modeling: 43rd…
by Wolfgang Maass (Editor), Hyoil Han (Editor), Hasan Yasar (Editor), Nick Multari (Editor)
#15238 in Series
Paperback $79.99
Title: Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers: 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings, Author: Dietmar Pfahl
QUICK ADD
Product-Focused Software…
by Dietmar Pfahl (Editor), Javier Gonzalez Huerta (Editor), Jil Klünder (Editor), Hina Anwar (Editor)
#15453 in Series
Paperback $54.99
Title: Simulation Tools and Techniques: 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings, Author: Angel A. Juan
QUICK ADD
Simulation Tools and…
by Angel A. Juan (Editor), José-Luis Guisado-Lizar (Editor), María-José Morón-Fernández (Editor), Elena Perez-Bernabeu (Editor)
#603 in Series
Paperback $139.99
Title: Logic Programming: 20th International Conference, ICLP 2004, Saint-Malo, France, September 6-10, 2004, Proceedings, Author: Bart Demoen
QUICK ADD
Logic Programming: 20th…
by Bart Demoen (Editor), Vladimir Lifschitz (Editor)
#3132 in Series
Paperback $54.99
Title: Echtzeitsysteme im Alltag: Fachtagung der GI-Fachgruppe Echtzeitsysteme (RT), Boppard, 30. November/1. Dezember 2006, Author: Peter Holleczek
QUICK ADD
Echtzeitsysteme im Alltag:…
by Peter Holleczek (Editor), Birgit Vogel-Heuser (Editor)
Explore Series
Paperback $69.99
Title: Object-Oriented Programming in Oberon-2, Author: Hanspeter Mössenböck
QUICK ADD
Object-Oriented Programming in…
by Hanspeter Mössenböck, R. Bach (Translator), N. Wirth (Foreword by)
Paperback $54.99
Title: Partial Evaluation: International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers, Author: Olivier Danvy
QUICK ADD
Partial Evaluation:…
by Olivier Danvy (Editor), Robert Glïck (Editor), Peter Thiemann (Editor)
#1110 in Series
Paperback $54.99
Title: Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007 Proceeding, Author: Orna Grumberg
QUICK ADD
Tools and Algorithms for the…
by Orna Grumberg (Editor), Michael Huth (Editor)
#4424 in Series
Paperback $109.99
Title: Advances in Conceptual Modeling: ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Florence, Italy, October 15-18, 2012, Proceedings, Author: Silvana Castano
QUICK ADD
Advances in Conceptual…
by Silvana Castano (Editor), Panos Vassiliadis (Editor), Laks Lakshmanan (Editor), Mong Li Lee (Editor)
#7518 in Series
Paperback $54.99
Title: Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II, Author: Tiziana Margaria
QUICK ADD
Leveraging Applications of…
by Tiziana Margaria (Editor), Bernhard Steffen (Editor)
#7610 in Series
Paperback $54.99
Title: Job Scheduling Strategies for Parallel Processing: 16th International Workshop, JSSPP 2012, Shanghai, China, May 25, 2012. Revised Selected Papers, Author: Walfredo Cirne
QUICK ADD
Job Scheduling Strategies for…
by Walfredo Cirne (Editor), Narayan Desai (Editor), Eitan Frachtenberg (Editor), Uwe Schwiegelshohn (Editor)
#7698 in Series
Paperback $49.99
Title: Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings, Author: Matthias Felleisen
QUICK ADD
Programming Languages and…
by Matthias Felleisen (Editor), Philippa Gardner (Editor)
#7792 in Series
Paperback $54.99
Title: Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as a Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Firenze, Italy, June 3-5, 2013, Proceedings, Author: Rocco De Nicola
QUICK ADD
Coordination Models and…
by Rocco De Nicola (Editor), Christine Julien (Editor)
#7890 in Series
Paperback $54.99
Title: Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures, Author: Marco Bernardo
QUICK ADD
Formal Methods for Dynamical…
by Marco Bernardo (Editor), Erik de Vink (Editor), Alessandra Di Pierro (Editor), Herbert Wiklicky (Editor)
#7938 in Series
Paperback $49.99
Title: Information and Software Technologies: 19th International Conference, ICIST 2013, Kaunas, Lithuania, October 2013Proceedings, Author: Tomas Skersys
QUICK ADD
Information and Software…
by Tomas Skersys (Editor), Rimantas Butleris (Editor), Rita Butkiene (Editor)
#403 in Series
Paperback $54.99

Pagination Links