Udsalget slutter om
Udvidet returret til d. 31. januar 2025

Bøger i Theoretical Computer Science and General Issues serien

Filter
Filter
Sorter efterSorter Serie rækkefølge
  • - 8th International Conference, Lion 8, Gainesville, FL, USA, February 16-21, 2014. Revised Selected Papers
     
    909,95 kr.

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Learning and Optimization, LION 8, which was held in Gainesville, FL, USA, in February 2014. The 33 contributions presented were carefully reviewed and selected for inclusion in this book. multiobjective optimization;

  • - 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings
     
    865,95 kr.

    The papers address all aspects of static analysis, including abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, program transformation, program verification, security analysis, and type checking.

  • - 5th International Conference, ICSI 2014, Hefei, China, October 17-20, 2014, Proceedings, Part II
     
    981,95 kr.

    The papers are organized in 18 cohesive sections, 3 special sessions and one competitive session covering all major topics of swarm intelligence research and development such as novel swarm-based search methods;

  • - COST Action Euro-TM IC1001
     
    974,95 kr.

    The advent of multi-core architectures and cloud-computing has brought parallel programming into the mainstream of software development. Unfortunately, writing scalable parallel programs using traditional lock-based synchronization primitives is well known to be a hard, time consuming and error-prone task, mastered by only a minority of specialized programmers. Building on the familiar abstraction of atomic transactions, Transactional Memory (TM) promises to free programmers from the complexity of conventional synchronization schemes, simplifying the development and verification of concurrent programs, enhancing code reliability, and boosting productivity. Over the last decade TM has been subject to intense research on a broad range of aspects including hardware and operating systems support, language integration, as well as algorithms and theoretical foundations. On the industrial side, the major players of the software and hardware markets have been up-front in the research and development of prototypal products providing support for TM systems. This has recently led to the introduction of hardware TM implementations on mainstream commercial microprocessors and to the integration of TM support for the world¿s leading open source compiler. In such a vast inter-disciplinary domain, the Euro-TM COST Action (IC1001) has served as a catalyzer and a bridge for the various research communities looking at disparate, yet subtly interconnected, aspects of TM. This book emerged from the idea having Euro-TM experts compile recent results in the TM area in a single and consistent volume. Contributions have been carefully selected and revised to provide a broad coverage of several fundamental issues associated with the design and implementation of TM systems, including their theoretical underpinnings and algorithmic foundations, programming language integration and verification tools, hardware supports, distributed TM systems, self-tuning mechanisms, as well as lessonslearnt from building complex TM-based applications.

  • - 8th International Conference, NMA 2014, Borovets, Bulgaria, August 20-24, 2014, Revised Selected Papers
     
    841,95 kr.

    This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Numerical Methods and Applications, NMA 2014, held in Borovets, Bulgaria, in August 2014. advanced numerical methods for scientific computing; advanced numerical techniques for PDEs and applications;

  • - 8th International Conference, EMO 2015, Guimaraes, Portugal, March 29 --April 1, 2015. Proceedings, Part I
     
    592,95 kr.

    This book constitutes the refereed proceedings of the 8th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2015 held in Guimaraes, Portugal in March/April 2015.

  • - State of the Art in Scientific Computing. 8th International Workshop, PARA 2006, Umea, Sweden, June 18-21, 2006, Revised Selected Papers
     
    1.546,95 kr.

    It covers partial differential equations, parallel scientific computing algorithms, linear algebra, simulation environments, algorithms and applications for blue gene/L, scientific computing tools and applications, parallel search algorithms, peer-to-peer computing, mobility and security, algorithms for single-chip multiprocessors.

  • - 27th International Workshop, LCPC 2014, Hillsboro, OR, USA, September 15-17, 2014, Revised Selected Papers
     
    909,95 kr.

    This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions.

  • - International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2015, Elche, Spain, June 1-5, 2015, Proceedings, Part I
     
    601,95 kr.

  • - 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings
     
    885,95 kr.

    This book constitutes the refereed proceedings of the 11th Conference on Computability in Europe, CiE 2015, held in Bucharest, Romania, in June/July 2015. The 26 revised papers presented were carefully reviewed and selected from 64 submissions and included together with 10 invited papers in this proceedings.

  • - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II
     
    988,95 kr.

    The two-volume set LNCS 9134 and LNCS 9135 constitutes the refereed proceedings of the 42nd International Colloquium on Automata, Languages and Programming, ICALP 2015, held in Kyoto, Japan, in July 2015. The papers are organized in the following three tracks: algorithms, complexity, and games;

  • - 4th International Conference, CSoNet 2015, Beijing, China, August 4-6, 2015, Proceedings
     
    834,95 kr.

  • - 13th International Conference, PaCT 2015, Petrozavodsk, Russia, August 31-September 4, 2015, Proceedings
     
    1.042,95 kr.

    This book constitutes the proceedings of the 13th International Conference on Parallel Computing Technologies, PaCT 2015, held in Petrozavodsk, Russia, during August / September 2015. The 37 full papers and 14 short papers presented were carefully reviewed and selected from 87 submissions.

  • - 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings
     
    759,95 kr.

    This book constitutes the refereed proceedings of the 6th International Conference on Algebraic Informatics, CAI 2015, held in Stuttgart, Germany, in September 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers cover topics such as data models and coding theory;

  • - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday
     
    608,95 kr.

    This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion of his 65th birthday.

  • - 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings
     
    1.115,95 kr.

    This book constitutes the refereed proceedings of the 23rd Annual European Symposium on Algorithms, ESA 2015, held in Patras, Greece, in September 2015, as part of ALGO 2015.

  • - 6th International Conference, ICCL 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings
     
    988,95 kr.

    This book constitutes the refereed proceedings of the 6th International Conference on Computational Logistics, ICCL 2015, held in Delft, The Netherlands, in September 2015.

  • - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings
     
    1.096,95 kr.

  • - 14th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2015, Delft, The Netherlands, October 13-15, 2015, Proceedings
     
    1.011,95 kr.

    This book constitutes the refereed conference proceedings of the 14th IFIP WG 6.11 Conference on e-Business, e-Services and e-Society, I3E 2015, held in Delft, The Netherlands, in October 2015. The 40 revised full papers presented together with 1 keynote panel were carefully reviewed and selected from 65 submissions.

  • - Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday
     
    892,95 kr.

    This Festschrift volume is published in honor of Pierpaolo Degano on the occasion of his 65th birthday and is the outcome of a colloquium held in Pisa, Italy, in June 2015. Pierpaolo Degano has worked on a large variety of topics including formal program semantics, concurrency theory, systems biology and security. The volume contains 22 refereed papers and one extended abstract, including personal memoirs and regular research papers by close collaborators and friends and a laudatio illustrating his distinguished career and his main scientific contributions. The papers deal with the main research topics explored by Pierpaolo Degano and those still under his investigation. 

  • - 22nd International Conference, ICONIP 2015, Istanbul, Turkey, November 9-12, 2015, Proceedings Part III
     
    580,95 kr.

    The four volume set LNCS 9489, LNCS 9490, LNCS 9491, andLNCS 9492 constitutes the proceedings of the 22nd International Conference onNeural Information Processing, ICONIP 2015, held in Istanbul, Turkey, inNovember 2015. The 231 full papers presented were carefully reviewed andselected from 375 submissions.

  • - ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings
     
    1.100,95 kr.

  • - 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers
     
    844,95 kr.

    Thisbook constitutes the thoroughly refereed post-conference proceedings of the 28thInternational Workshop on Languages and Compilers for Parallel Computing, LCPC2015, held in Raleigh, NC, USA, in September 2015. The19 revised full papers were carefully reviewed and selected from 44 submissions.

  • - 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
     
    889,95 kr.

    This book constitutes the proceedings of the 10th International Workshop on Algorithms and Computation, WALCOM 2016, held in Kathmandu, Nepal, in March 2016. The 27 full papers presented together with 4 invited talks were carefully reviewed and selected from 68 submissions.

  • - 12th Latin American Symposium, Ensenada, Mexico, April 11-15, 2016, Proceedings
     
    825,95 kr.

  • - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday
     
    991,95 kr.

    This volume is published in Honor of PhilipWadler on the occasion of his 60th birthday, and the collection of papers forma Festschrift for him. The research papers included hererepresent some of the areas in which Phil has been active, and the editorsthank their colleagues for agreeing to contribute to this Festschrift.

  • - 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part II
     
    865,95 kr.

  • - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
     
    947,95 kr.

  • - 12th International Conference, Evolution Artificielle, EA 2015, Lyon, France, October 26-28, 2015. Revised Selected Papers
     
    786,95 kr.

  • - 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I
     
    608,95 kr.

    This two-volume set LNCS 9573 and LNCS 9574 constitutes the refereed proceedings of the 11th International Conference of Parallel Processing and Applied Mathematics, PPAM 2015, held in Krakow, Poland, in September 2015.The 111 revised full papers presented in both volumes were carefully reviewed and selected from 196 submissions.

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.