Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers by Farhad Arbab 9783642357428
Booksplease Price: $90.25This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers... -
Software Engineering and Formal Methods: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings by George Eleftherakis 9783642338250
Booksplease Price: $90.83This book constitutes the refereed proceedings of the 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, held in Thessaloniki, Greece, in October 2012. The 19... -
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings by Rohit Gheyi 9783642332951
Booksplease Price: $84.49This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian... -
Computer Vision -- ECCV 2012. Workshops and Demonstrations: Florence, Italy, October 7-13, 2012, Proceedings, Part I by Andrea Fusiello 9783642338625
Booksplease Price: $90.83The three volume set LNCS 7583, 7584 and 7585 comprises the Workshops and Demonstrations which took place in connection with the European Conference on Computer Vision, ECCV 2012, held in Firenze,... -
Image Analysis and Recognition: 8th International Conference, ICIAR 2011, Burnaby, BC, Canada, June 22-24, 2011. Proceedings, Part I by Mohamed Kamel 9783642215926
Booksplease Price: $90.83The two-volume set LNCS 6753/6754 constitutes the refereed proceedings of the 8th International Conference on Image and Recognition, ICIAR 2011, held in Burnaby, Canada, in June 2011. The 84 revised... -
Computational Color Imaging: Third International Workshop, CCIW 2011, Milan, Italy, April 20-21, 2011, Proceedings by Raimondo Schettini 9783642204036
Booksplease Price: $91.14This book constitutes the refereed proceedings of the Third Computational Color Imaging Workshop, CCIW 2010, held in Milan, Italy, in April 2010. The 16 revised full papers, presented together with... -
Testing of Communicating Systems: 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings by Ferhat Khendek 9783540260547
Booksplease Price: $90.25This volume contains the proceedings of the 17th IFIP TC6/WG6. 1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2005). The conference was held at Concordia University, Montr'... -
Agile Processes in Software Engineering and Extreme Programming: 23rd International Conference on Agile Software Development, XP 2022, Copenhagen, Denmark, June 13-17, 2022, Proceedings by Viktoria Stray 9783031081682
Booksplease Price: $71.06This open access book constitutes the proceedings of the 23rd International Conference on Agile Software Development, XP 2022, which was held in Copenhagen, Denmark, in June 2022. XP is the premier... -
Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings by Martin Davis 9783662488980
Booksplease Price: $90.83This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43... -
Interpretability of Machine Intelligence in Medical Image Computing: 5th International Workshop, iMIMIC 2022, Held in Conjunction with MICCAI 2022, Singapore, Singapore, September 22, 2022, Proceedings by Mauricio Reyes 9783031179754
Booksplease Price: $99.33This book constitutes the refereed joint proceedings of the 5th International Workshop on Interpretability of Machine Intelligence in Medical Image Computing, iMIMIC 2022, held in September 2022, in... -
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings by Eran Yahav 9783642237010
Booksplease Price: $90.25This book constitutes the refereed proceedings of the 18th International Symposium on Static Analysis, SAS 2011, held in Venice, Italy, in September 2011. The 22 revised full papers were selected... -
CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language by Peter D. Mosses 9783540213017
Booksplease Price: $178.78CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language... -
Data Visualisation with R: 111 Examples by Thomas Rahlf 9783030284466
Booksplease Price: $108.30This book introduces readers to the fundamentals of creating presentation graphics using R, based on 111 detailed and complete scripts. It shows how bar and column charts, population pyramids, Lorenz... -
Software Architecture: Third European Workshop, EWSA 2006, Nantes, France, September 4-5, 2006, Revised Selected Papers by Volker Gruhn 9783540692713
Booksplease Price: $90.83This book constitutes the refereed post-proceedings of the Third European Workshop on Software Architecture, EWSA 2006, held in France in September 2006. The 13 revised full research papers and five... -
Computer Graphics in Medical Research and Hospital Administration by R. Parslow 9781461586500
Booksplease Price: $90.25The graphics terminal makes it possible for people who are not computer specialists to communicate with computers on an inter active basis, without the delay or inconvenience of working constantly... -
Business Process Management: Models, Techniques, and Empirical Studies by Wil van der Aalst 9783540674542
Booksplease Price: $90.25Business processes are among today's hottest topics in the science and practice of information systems. Business processes and workflow management systems attract a lot of attention from R&D... -
Computing in Object-Oriented Parallel Environments: Third International Symposium, ISCOPE 99, San Francisco, CA, USA, December 8-10, 1999 Proceedings by Satoshi Matsuoka 9783540668183
Booksplease Price: $91.14This volume contains the proceedings of the International Symposium on C- puting in Object-Oriented Parallel Environments (ISCOPE 99), held in San Francisco, California, USA on December 8-10, 1999... -
Recent Trends in Algebraic Development Techniques: 13th International Workshop, WADT'98 Lisbon, Portugal, April 2-4, 1998 Selected Papers by Jose Luiz Fiadeiro 9783540662464
Booksplease Price: $90.25The European conference situationin the general area of software science has longbeen considered unsatisfactory. A fairlylarge number of small and medi- sized conferences and workshops take place on... -
Algebraic Methodology and Software Technology: 6th International Conference, AMAST '97, Sydney, Australia, Dezember 13-17, 1997. Proceedings by Michael Johnson 9783540638889
Booksplease Price: $177.18This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, AMAST'97, held in Sydney, Australia, in December 1997. The volume... -
Image Analysis and Processing: 9th International Conference, ICIAP'97, Florence, Italy, September 17-19, 1997, Proceedings, Volume 1 by Alberto Del Bimbo 9783540635079
Booksplease Price: $178.15This book is part of the refereed 2-volume proceedings of the 9th International Conference on Image Analysis and Processing, ICIAP'97, held in Florence, Italy, September 1997. Both volumes together... -
FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings by Maurice Naftalin 9783540585558
Booksplease Price: $181.27This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage... -
Computer Vision - ECCV '94: Third European Conference on Computer Vision, Stockholm, Sweden, May 2 - 6, 1994. Proceedings, Volume 2 by Jan-Olof Eklundh 9783540579571
Booksplease Price: $93.37The European Conference on Computer Vision (ECCV) has established itself as a major event in this exciting and very active field of research. This two-volume proceedings collects the 115 papers... -
Programming Languages and Systems - ESOP '94: 5th European Symposium on Programming, Edinburgh, U.K., April 11 - 13, 1994. Proceedings by Donald Sannella 9783540578802
Booksplease Price: $90.83This volume contains the papers selected for presentation at the fifth European Symposium on Programming (ESOP '94), which was held jointly with the 19th Colloquium on Trees in Algebra and... -
Experimental Software Engineering Issues:: Critical Assessment and Future Directions. International Workshop, Dagstuhl Castle, Germany, September 14-18, 1992. Proceedings by Dieter Rombach 9783540570929
Booksplease Price: $90.83We have only begun to understand the experimental nature of software engineering, the role of empirical studies and measurement within software engineering, and the mechanisms needed to apply them... -
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings by Richard Bird 9783540566250
Booksplease Price: $90.25Not very long ago, the uninhibited use of mathematics in the development of software was regarded as something for academics alone. Today, there is moreand more interest from industry in formal... -
Computer Analysis of Images and Patterns: 9th International Conference, CAIP 2001 Warsaw, Poland, September 5-7, 2001 Proceedings by Wladyslaw Skarbek 9783540425137
Booksplease Price: $178.15Computer analysis of images and patterns is a scienti c eld of longstanding tradition, with roots in the early years of the computer era when electronic brains inspired scientists. Moreover, the... -
Agent-Oriented Software Engineering: First International Workshop, AOSE 2000 Limerick, Ireland, June 10, 2000 Revised Papers by Paolo Ciancarini 9783540415947
Booksplease Price: $90.83One of the most important reasons for the current intensity of interest in agent technology is that the concept of an agent, as an autonomous system capable of interacting with other agents in order... -
Generative and Component-Based Software Engineering: First International Symposium, GCSE'99, Erfurt, Germany, September 28-30, 1999. Revised Papers by Krzysztof Czarnecki 9783540411727
Booksplease Price: $91.14In the past two years, the Smalltalk and Java in Industry and Education C- ference (STJA) featured a special track on generative programming, which was organized by the working group /Generative and... -
Experiences with Distributed Systems: International Workshop, Kaiserslautern, FRG, September 28-30, 1987. Proceedings by Jurgen Nehmer 9783540193333
Booksplease Price: $90.83This volume contains the proceedings of an international workshop on "Experiences with Distributed Systems" held September 28-30, 1987, at the University of Kaiserslautern. The workshop was jointly... -
Software Configuration Management: ICSE Workshops SCM 2001 and SCM 2003, Toronto, Canada, May 14-15, 2001, and Portland, OR, USA, May 9-10, 2003. Selected Papers by Bernhard Westfechtel 9783540140368
Booksplease Price: $91.14Thedisciplineofsoftwarecon?gurationmanagement(SCM)providesoneofthe bestsuccessstoriesinthe?eldofsoftwareengineering. Withtheavailabilityof... -
Agent-Oriented Software Engineering IV: 4th International Workshop, AOSE 2003, Melbourne, Australia, July 15, 2003, Revised Papers by Paolo Giorgini 9783540208266
Booksplease Price: $91.14The explosive growth of application areas such as electronic commerce, ent- prise resource planning and mobile computing has profoundly and irreversibly changed our views on software systems... -
Computer Vision - ACCV 2007: 8th Asian Conference on Computer Vision, Tokyo, Japan, November 18-22, 2007, Proceedings, Part II by Yasushi Yagi 9783540763895
Booksplease Price: $178.15This title is part of a two volume set that constitutes the refereed proceedings of the 8th Asian Conference on Computer Vision, ACCV 2007. Coverage includes shape and texture, image and video... -
Programming Languages and Systems: Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings by Yi Kwangkeun 9783540297352
Booksplease Price: $90.83APLAS 2005 was the Asian Symposium on Programming Languages and S- tems, held in Tsukuba, Japan in November 2-5, 2005. It was the latest event in the series of annual meetings started in 2000 by... -
Functional Imaging and Modeling of the Heart: Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings by Alejandro F. Frangi 9783540261612
Booksplease Price: $177.18The1stand2ndInternationalConferencesonFunctionalImagingandModelling of the Heart (FIMH) were held in Helsinki, Finland, in November 2001, and in Lyon, France, in June 2003. These meetings were born... -
Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems by Heinrich Rust 9783540255765
Booksplease Price: $91.14This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents a time model which allows for both the description of discrete time steps and... -
Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3–6, 2023, Proceedings by Panagiotis Katsaros 9783031442667
Booksplease Price: $119.61This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3–6, 2023. The 13 full papers and 7... -
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday by Pedro Lopez-Garcia 9783031314759
Booksplease Price: $218.63This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer... -
Computer Vision – ACCV 2022 Workshops: 16th Asian Conference on Computer Vision, Macao, China, December 4–8, 2022, Revised Selected Papers by Yinqiang Zheng 9783031270659
RRP: $126.73Booksplease Price: $113.04This book constitutes the refereed post-conference proceedings of the workshops held at the 16th Asian Conference on Computer Vision, ACCV 2022, which took place in Macao, China, in December 2022... -
Service-Oriented and Cloud Computing: 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017, Proceedings by Flavio De Paoli 9783319672618
Booksplease Price: $90.25This book constitutes the refereed proceedings of the 6th IFIP WG 2.14 European Conference on Service-Oriented and Cloud Computing, ESOCC 2017, held in Oslo, Norway, in September 2017. The 6 short... -
Engineering Self-Organising Systems: 4th International Workshop, ESOA 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers by Sven A. Brueckner 9783540698678
Booksplease Price: $90.83This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Engineering Self-Organising Applications, ESOA 2006, held in Hakodate, Japan in May 2006. This was...