Filter By
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings by Freek Wiedijk 9783540009139
Booksplease Price: £91.68This volume contains the proceedings of the Sixth Workshop on Hybrid Systems: Computation and Control (HSCC 2003), which was held in Prague, during April 3-5, 2003. The Hybrid Systems workshops attract researchers interested in the modeling, analysis,... -
Icfp 12 Proceedings of the 2012 ACM Sigplan International Conference on Functional Programming by Icfp 12 Conference Committee 9781450310543
Booksplease Price: £77.58Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450310543Author Icfp 12 Conference CommitteeFormat PaperbackPage Count 394Imprint ACMPublisher ACMWeight(grams) 912g -
Cf 12 Proceedings of the ACM Computing Frontiers Conference by Cf 12 Proceedings Committee 9781450317283
Booksplease Price: £63.19Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317283Author Cf 12 Proceedings CommitteeFormat PaperbackPage Count 320Imprint ACMPublisher ACMWeight(grams) 744g -
Simulation and Detection of Self-Propagating Worms and Viruses by Ajay Gupta 9783639028300
RRP: £40.67Booksplease Price: £37.03Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639028300Author Ajay GuptaFormat PaperbackPage Count 108Imprint VDM VerlagPublisher VDM VerlagWeight(grams) 154g -
Algorithmic Learning Theory: 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings by Michael M. Richter 9783540650133
Booksplease Price: £46.58This volume contains all the papers presented at the Ninth International Con- rence on Algorithmic Learning Theory (ALT'98), held at the European education centre Europaisches Bildungszentrum (ebz) Otzenhausen, Germany, October 8{ 10, 1998. The... -
Network and Parallel Computing: IFIP International Conference, NPC 2004, Wuhan, China, October 18-20, 2004. Proceedings by Hai Jin 9783540233886
Booksplease Price: £92.18This proceedings contains the papers presented at the 2004 IFIP International Conference on Network and Parallel Computing (NPC 2004), held at Wuhan, China, from October 18 to 20, 2004. The goal of the conference was to establish an international forum... -
Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings by Eerke A. Boiten 9783540213772
Booksplease Price: £46.58The fourth conference in the series of international meetings on Integrated F- mal Methods, IFM, was held in Canterbury, UK, 4-7 April 2004. The conference was organized by the Computing Laboratory at the University of Kent, whose main campus is just... -
Sustained Simulation Performance 2016: Proceedings of the Joint Workshop on Sustained Simulation Performance, University of Stuttgart (HLRS) and Tohoku University, 2016 by Michael M. Resch 9783319835747
Booksplease Price: £91.35The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It explores general trends in hardware and software development, and then focuses specifically on the future of high-performance... -
Unconventional Models of Computation: Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings by Cristian Calude 9783540443117
Booksplease Price: £46.28The Third International Conference onUnconventional Models of C- putation,UMC2002 was organized by the Center for Discrete Mathematics andTheoreticalComputerScienceandtheKansaiAdvancedResearchCenterof the Communications Research Laboratory, Kansai, Japan... -
Adaptive Multilevel Solution of Nonlinear Parabolic PDE Systems: Theory, Algorithm, and Applications by Jens Lang 9783540679004
Booksplease Price: £90.56Nowadays there is an increasing emphasis on all aspects of adaptively gener ating a grid that evolves with the solution of a PDE. Another challenge is to develop efficient higher-order one-step integration methods which can handle very stiff equations... -
Graph Drawing: 5th International Symposium, GD '97, Rome, Italy, September 18-20, 1997. Proceedings by G. DiBattista 9783540639381
Booksplease Price: £46.58This book constitutes the strictly refereed post-conference proceedings of the 5th International Symposium on Graph Drawing, GD'97, held in Rome, Italy, in September 1997. The 33 revised full papers and 10 systems demonstrations presented were selected... -
Computing and Combinatorics: Third Annual International Conference, COCOON '97, Shanghai, China, August 20-22, 1997. Proceedings. by Tao Jiang 9783540633570
Booksplease Price: £46.58This book constitutes the refereed proceedings of the Third Annual International Computing and Combinatorics Conference, COCOON'97, held in Shanghai, China, in August 1997. The volume presents 53 revised full papers selected from a total of 106... -
Distributed Algorithms: 10th International Workshop, WDAG '96, Bologna, Italy, October 9 - 11, 1996. Proceedings by Ozalp Babaoglu 9783540617693
Booksplease Price: £46.58This book constitutes the refereed proceedings of the 10th International Workshop on Distributed Algorithms, WDAG '96, held in Bologna, Italy, in October 1996. The volume presents 21 revised full papers selected from 75 submissions together with invited... -
CONCUR '96: Concurrency Theory: 7th International Conference, Pisa, Italy, August 26 - 29, 1996. Proceedings by Ugo Montanari 9783540616047
Booksplease Price: £91.36This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included... -
Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings by Martin Wirsing 9783540614630
Booksplease Price: £91.68This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996. The book presents 25 revised full papers selected from a total of 67... -
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings by Jeffrey J. Joyce 9783540578260
Booksplease Price: £46.58This volume constitutes the refereed proceedings of the 1993 Higher-Order Logic User's Group Workshop, held at the University of British Columbia in August 1993. The workshop was sponsored by the Centre for Integrated Computer System Research. It was the... -
Performance Evaluation of Computer and Communication Systems: Joint Tutorial Papers of Performance '93 and Sigmetrics '93 by Lorenzo Donatiello 9783540572978
Booksplease Price: £91.68This volume contains the complete set of tutorial papers presented at the 16th IFIP (International Federation for Information Processing) Working Group 7.3 International Symposium on Computer Performance Modelling, Measurement and Evaluation, and a... -
Programming Language Implementation and Logic Programming: International Workshop PLILP `90, Linkoeping, Sweden, August 20-22, 1990. Proceedings by Pierre Deransart 9783540530107
Booksplease Price: £46.58This volume consists of the papers accepted for presentation at the second international workshop on Programming Language Implementation and Logic Programming (PLILP '90) held in Linkoeping, Sweden, August 20-22, 1990. The aim of the workshop was to... -
Context-Based Access Control for Software Applications by Verhanneman Tine 9783639018905
RRP: £48.97Booksplease Price: £44.18Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783639018905Author Verhanneman TineFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 200g -
Local Colour Features for Image Retrieval by Julian Stottinger 9783836483568
RRP: £40.67Booksplease Price: £37.03Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836483568Author Julian StottingerFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 122g -
Vision-Based Image Retrieval (Vbir) by Kai Essig 9783836492416
RRP: £65.57Booksplease Price: £58.47Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836492416Author Kai EssigFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 336g -
Sarna-Predict: An Algorithm for RNA Folding by Herbert H Tsang 9783836490016
RRP: £48.97Booksplease Price: £44.18Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836490016Author Herbert H TsangFormat PaperbackPage Count 160Imprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 222g -
An Approach to Ontology Construction by Anna V Zhdanova 9783836481717
RRP: £56.44Booksplease Price: £50.61Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783836481717Author Anna V ZhdanovaFormat PaperbackImprint VDM Verlag Dr. Mueller E.K.Publisher VDM Verlag Dr. Mueller E.K.Weight(grams) 227g -
Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers by Michael G. Hinchey 9783540244226
Booksplease Price: £46.74The 3rd Workshop on Formal Approaches to Agent-Based Systems (FAABS-III) was held at the Greenbelt Marriott Hotel (near NASA Goddard Space Flight Center) in April 2004 in conjunction with the IEEE Computer Society. The first FAABS workshop was help in... -
IT Revolution: First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers by Mihaela Ulieru 9783642039775
Booksplease Price: £46.74"Mitigating Paradox at the eSociety Tipping Point" In the first two decades of the past Century, having as driving factor the automobile and its mass production, the command economy has radically changed our lifestyles, enabling the creation of... -
New Horizons in Web Search, Web Data Mining, and Web-Based Applications by Jing Zhang 9783725800711
RRP: £60.61Booksplease Price: £46.75Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725800711Author Jing ZhangFormat HardbackPage Count 174Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 576g -
NOSSDAV 12 Proceedings of the 2012 ACM Workshop on Network and Operating System Support for Digital Audio and Video by Nossdav Proceedings Committee 9781450317306
Booksplease Price: £24.14Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450317306Author Nossdav Proceedings CommitteeFormat PaperbackPage Count 116Imprint ACMPublisher ACMWeight(grams) 286g -
Bioinformatics: Problem Solving Paradigms by Volker Sperschneider 9783642097263
Booksplease Price: £42.34What is this book good for? Imagine you are a computer scientist working in the bioinformatics area. P- bably you will be a member of a highly interdisciplinary team consisting of biologists, chemists, mathematicians, computer scientists ranging from p-... -
Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems by Howard Bowman 9781849969512
RRP: £129.99Booksplease Price: £102.50Intheworldweliveinconcurrencyisthenorm.Forexample,thehumanbody isamassivelyconcurrentsystem,comprisingahugenumberofcells,allsim- taneously evolving and independently engaging in their individual biological processing... -
Smart Graphics: 4th International Symposium, SG 2004, Banff, Canada, May 23-25, 2004, Proceedings by Andreas Butz 9783540219774
Booksplease Price: £46.28The International Symposium on Smart Graphics 2004 was held on May 23-25, 2004 in Ban?, Canada. It was the ?fth event in a series which originally started in 2000 as a AAAI Spring Symposium. In response to the overwhelming success of the 2000 symposium,... -
Smart Technologies for Sustainable Urban and Regional Development by Rashid Mehmood 9783725803521
RRP: £76.67Booksplease Price: £58.89Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783725803521Author Rashid MehmoodFormat HardbackPage Count 296Imprint Mdpi AGPublisher Mdpi AGWeight(grams) 835g -
Multiobjective Heuristic Search: An Introduction to intelligent Search Methods for Multicriteria Optimization by Wolfgang Bibel 9783528057084
Booksplease Price: £46.74A large number of problems require the optimization of multiple criteria. These crite ria are often non-commensurate and sometimes conflicting in nature making the task of optimization more difficult. In such problems, the task of creating a combined... -
Asia CCS 14 9th ACM Symposium on Information, Computer and Communications Security by Asia Ccs 14 Conference Committee 9781450330817
Booksplease Price: £110.94Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781450330817Author Asia Ccs 14 Conference CommitteeFormat PaperbackPage Count 558Imprint ACMPublisher ACMWeight(grams) 1275g -
Infinite Dimensional Linear Systems Theory by R.F. Curtain 9783540089612
Booksplease Price: £46.28Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9783540089612Author R.F. CurtainFormat PaperbackPage Count 298Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. KPublisher Springer-Verlag Berlin... -
Decision Making in Uncertain Situations: An Extension to the Mathematical Theory of Evidence by Fabio Campos 9781581123357
RRP: £19.95Booksplease Price: £18.89Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9781581123357Author Fabio CamposFormat PaperbackPage Count 124Imprint Dissertation.comPublisher Dissertation.comWeight(grams) 236gDimensions(mm) 246mm *... -
Gate 2022 Computer Science and Information Technology - 30 Years Chapter Wise Solved Papers (1992-2021). by G K Publications (P) Ltd 9789390820641
Booksplease Price: £48.49Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9789390820641Author G K Publications (P) LtdFormat PaperbackPage Count 492Imprint G. K. PublicationsPublisher G. K. Publications -
Passive and Active Measurement: 25th International Conference, PAM 2024, Virtual Event, March 11–13, 2024, Proceedings, Part I by Philipp Richter 9783031562488
RRP: £109.99Booksplease Price: £88.10This book constitutes the proceedings of the 25th International Conference on Passive and Active Measurement, PAM 2024, held as a virtual event from March 11-13, 2024.The 14 full papers and 13 short papers presented in this volume were carefully reviewed... -
Introduction to Artificial Intelligence by Eric Frick 9798869119032
RRP: £11.99Booksplease Price: £9.24Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798869119032Author Eric FrickFormat PaperbackPage Count 154Imprint Frick Industries LLCPublisher Frick Industries LLCWeight(grams) 213g -
The Science of Medicines Exploring Drug Discovery and Development by Derek Otto 9798869038609
RRP: £18.99Booksplease Price: £17.81Apologies but we at Booksplease don't have a full description for this book.Book InformationISBN 9798869038609Author Derek OttoFormat PaperbackPage Count 78Imprint SelfPublisher SelfWeight(grams) 118g -
Representation Theorems in Computer Science: A Treatment in Logic Engineering by OEzgur Lutfu OEzcep 9783030257842
Booksplease Price: £91.35Formal specifications are an important tool for the construction, verification and analysis of systems, since without it is hardly possible to explain whether a system worked correctly or showed an expected behavior. This book proposes the use of...