Denna webbshop är stängd för köp.
Klicka här för mer information

Sökresultat - Theoretical Computer Science and General Issues

Sök »
Din sökning gav 1298 träffar. Klicka på titeln för mer information eller lägg den i din kundvagn direkt. Om Du inte hittar titeln vid sökning se Söktips

Fördjupa min sökning

  • Genetic Programming

    Genetic Programming

    Häftad - 2009 - Engelska - ISBN: 9783642011801

    This book constitutes the refereed proceedings of the 11th European Conference on Genetic Programming, EuroGP 2009, held in Tübingen, Germany, in April 2009 colocated with the Evo* 2009 events. The 21 revised plenary papers and 9 revised poster pape…

  • Quantum Interaction

    Quantum Interaction

    Häftad - 2019 - Engelska - ISBN: 9783030358945

    This book constitutes the thoroughly refereed post-conference proceedings of the 10th International Conference on Quantum Interaction, QI 2018, held in Nice, France, in September 2018. The 12 papers presented in this book were carefully reviewed and…

  • Computer Aided Verification

    Computer Aided Verification

    Häftad - 2017 - Engelska - ISBN: 9783319633893

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presen…

  • Neural Information Processing

    Neural Information Processing

    Häftad - 2015 - Engelska - ISBN: 9783319265605

    The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presen…

  • Interactive Theorem Proving

    Interactive Theorem Proving

    Häftad - 2014 - Engelska - ISBN: 9783319089690

    This book constitutes the proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were c…

  • WALCOM: Algorithm and Computation

    WALCOM: Algorithm and Computation

    Häftad - 2012 - Engelska - ISBN: 9783642280757

    This book constitutes the refereed proceedings of the 6th International Workshop on Algorithms and Computation, WALCOM 2012, held in Dhaka, Bangladesh, in February 2012. The 20 full papers presented together with 3 invited papers were carefully revi…

  • Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics

    Learning and Intelligent Optimization: Designing, Implementing and Analyzing Effective Heuristics

    Häftad - 2009 - Engelska - ISBN: 9783642111686

    LION 3, the Third International Conference on Learning and Intelligent Op- mizatioN, was held during January 14–18 in Trento, Italy. The LION series of conferences provides a platform for researchers who are interested in the int- section of e…

  • Coordination, Organizations, Intitutions, and Norms in Agent Systems VIII

    Coordination, Organizations, Intitutions, and Norms in Agent Systems VIII

    Häftad - 2013 - Engelska - ISBN: 9783642377556

    This book constitutes the thoroughly reviewed post-proceeding of International Workshops on Coordination, Organization, Institutions and Norms in Agent Systems, COIN@AAMAS 2012, held in Valencia, Spain in June 2012. The 13 revised full papers presen…

  • Compiler Construction

    Compiler Construction

    Häftad - 2008 - Engelska - ISBN: 9783540787907

    ETAPS2008wasthe11thinstanceoftheEuropeanJointConferencesonTheory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This yearit comprised?ve conferenc…

  • Cellular Automata

    Cellular Automata

    Häftad - 2018 - Engelska - ISBN: 9783319998121

    This book constitutes the proceedings of the 13th International Conference on Cellular Automata for Research and Industry, ACRI 2018, held in Como, Italy, in September 2018. The 47 full papers presented in this volume were carefully reviewed and sel…

  • Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Häftad - 2015 - Engelska - ISBN: 9783319281131

    This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Workshop on Algebraic Development Techniques, WADT 2014, held in September 2014 in Sinaia, Romania. The 8 revised papers presented were carefully rev…

  • Informatics in Schools. Rethinking Computing Education

    Informatics in Schools. Rethinking Computing Education

    Häftad - 2021 - Engelska - ISBN: 9783030902278

    This book constitutes the proceedings of the 14th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2021, held in Nijmegen, The Netherlands, in November 2020. Due to COVID-19 related travelling restrict…

  • Evolutionary Computation in Combinatorial Optimization

    Evolutionary Computation in Combinatorial Optimization

    Häftad - 2005 - Engelska - ISBN: 9783540253372

    Evolutionary computation (EC) involves the study of problem-solving and op- mization techniques inspired by principles of natural evolution and genetics. EC has been able to draw the attention of an increasing number of researchers and practitioners…

  • Algorithms and Data Structures

    Algorithms and Data Structures

    Häftad - 2021 - Engelska - ISBN: 9783030835071

    This book constitutes the refereed proceedings of the 17th International Symposium on Algorithms and Data Structures, WADS 2021, held in virtually in August 2021. The 47 full papers, presented together with two invited lectures, were carefully revie…

  • SOFSEM 2019: Theory and Practice of Computer Science

    SOFSEM 2019: Theory and Practice of Computer Science

    Häftad - 2019 - Engelska - ISBN: 9783030108007

    This book constitutes the refereed proceedings of the 45th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2019, held in Nový Smokovec, Slovakia, in January 2019. The 34 full papers presented together wi…

  • Coalgebraic Methods in Computer Science

    Coalgebraic Methods in Computer Science

    Häftad - 2016 - Engelska - ISBN: 9783319403694

    This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2016, colocated with ETAPS 2016, held in Eindhoven, The Netherlands, in April 2016. The 10…

  • Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Häftad - 2019 - Engelska - ISBN: 9783030175016

    This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague,…

  • Theoretical Computer Science

    Theoretical Computer Science

    Häftad - 2012 - Engelska - ISBN: 9783642334740

    This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full papers presented, together with one invited talk, were carefully revi…

  • Typed Lambda Calculi and Applications

    Typed Lambda Calculi and Applications

    Häftad - 2011 - Engelska - ISBN: 9783642216909

    This book constitutes the refereed proceedings of the 10th International Conference on Typed Lambda Calculi and Applications, TLCA 2011, held in Novi Sad, Serbia, in June 2011 as part of RDP 2011, the 6th Federated Conference on Rewriting, Deduction…

  • Structural Information and Communication Complexity

    Structural Information and Communication Complexity

    Häftad - 2021 - Engelska - ISBN: 9783030795269

    This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wroclaw, Poland, in June 2021. Due to COVID-19, the conference will be held…

  • Computer Aided Verification

    Computer Aided Verification

    Häftad - 2005 - Engelska - ISBN: 9783540272311

    This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 was the seventeenth in a series of conferences dedicated to the advancement of the…

  • Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Leveraging Applications of Formal Methods, Verification and Validation. Verification

    Häftad - 2018 - Engelska - ISBN: 9783030034207

    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in Octob…

  • Evolvable Systems: From Biology to Hardware

    Evolvable Systems: From Biology to Hardware

    Häftad - 2010 - Engelska - ISBN: 9783642153228

    Biology has inspired electronics from the very beginning: the machines that we now call computers are deeply rooted in biological metaphors. Pioneers such as Alan Turing and John von Neumann openly declared their aim of creating arti?cial machines t…

  • Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Häftad - 2007 - Engelska - ISBN: 9783540712886

    This book constitutes the refereed proceedings of the 10th International Conference on Fundamental Approaches to Software Engineering, FASE 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the Joint European Conferences on Th…

  • Computational Science and Its Applications ? ICCSA 2018

    Computational Science and Its Applications ? ICCSA 2018

    Häftad - 2018 - Engelska - ISBN: 9783319951737

    The five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks…

  • Combinatorial Optimization

    Combinatorial Optimization

    Häftad - 2014 - Engelska - ISBN: 9783319091730

    This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Combinatorial Optimization, ISCO 2014, held in Lisbon, Portugal, in March 2014. The 37 revised full papers presented together with 64 s…

  • Graph-Theoretic Concepts in Computer Science

    Graph-Theoretic Concepts in Computer Science

    Häftad - 2016 - Engelska - ISBN: 9783662535356

    This book constitutes revised selected papers from the 42nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2016, held in Istanbul, Turkey, in June 2016. The 25 papers presented in this volume were carefully reviewed and s…

  • Computer Aided Verification

    Computer Aided Verification

    Häftad - 2019 - Engelska - ISBN: 9783030255398

    This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019.  The 52 full papers presented together…

  • Systems Aspects in Organic and Pervasive Computing - ARCS 2005

    Systems Aspects in Organic and Pervasive Computing - ARCS 2005

    Häftad - 2005 - Engelska - ISBN: 9783540252733

    The keychallengeforfuture computersystemis dealingwithcomplexity.Onone hand this involves internal system complexity which has increased exponentially over recent years. Here the main objectives are to maintain system reliability and to keep the des…

  • Integer Programming and Combinatorial Optimization

    Integer Programming and Combinatorial Optimization

    Häftad - 2017 - Engelska - ISBN: 9783319592497

    This book constitutes the refereed proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2017, held in Waterloo, IN, Canada, in June 2017. The 36 full papers presented were carefully reviewed an…

  • Unconventional Computation

    Unconventional Computation

    Häftad - 2008 - Engelska - ISBN: 9783540851936

    This book constitutes the refereed proceedings of the 7th International Conference on Unconventional Computation, UC 2008, held in Vienna, Austria, in August 2008. The 16 revised full papers presented together with 4 invited papers were carefully re…

  • Space-Efficient Data Structures, Streams, and Algorithms

    Space-Efficient Data Structures, Streams, and Algorithms

    Häftad - 2013 - Engelska - ISBN: 9783642402722

    This Festschrift volume, published in honour of J. Ian Munro, contains contributions written by some of his colleagues, former students, and friends. In celebration of his 66th birthday the colloquium "Conference on Space Efficient Data Structures,…

  • Theory and Applications of Satisfiability Testing ? SAT 2021

    Theory and Applications of Satisfiability Testing ? SAT 2021

    Häftad - 2021 - Engelska - ISBN: 9783030802226

    This book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully…

  • Distributed Computing

    Distributed Computing

    Häftad - 2015 - Engelska - ISBN: 9783662486528

    This book constitutes the proceedings of the 29th International Symposium on Distributed Computing, DISC 2015, held in Tokyo, Japan, in October 2015. The 42 full papers and 14 short papers presented in this volume were carefully reviewed and selecte…

  • Computation, Physics and Beyond

    Computation, Physics and Beyond

    Häftad - 2012 - Engelska - ISBN: 9783642276538

    This Festschrift volume has been published in honor of Cristian Calude on the occasion of his 60th birthday and contains contributions from invited speakers and regular papers presented at the International Workshop on Theoretical Computer Science,…

  • Computational Science ? ICCS 2019

    Computational Science ? ICCS 2019

    Häftad - 2019 - Engelska - ISBN: 9783030227432

    The five-volume set LNCS 11536, 11537, 11538, 11539 and 11540 constitutes the proceedings of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June 2019.The total of 65 full papers and 168 workshop pap…

  • Graph-Theoretic Concepts in Computer Science

    Graph-Theoretic Concepts in Computer Science

    Häftad - 2012 - Engelska - ISBN: 9783642346101

    This book constitutes the thoroughly refereed proceedings of the 38th International Workshop on Graph Theoretic Concepts in Computer Science (WG 2012) held in Jerusalem, Israel on June 26-28, 2012. The 29 revised full papers presented were carefully…

  • Information Theory, Combinatorics, and Search Theory

    Information Theory, Combinatorics, and Search Theory

    Häftad - 2013 - Engelska - ISBN: 9783642368981

    This volume is dedicated to the memory of Rudolf Ahlswede, who passed away in December 2010. The Festschrift contains 36 thoroughly refereed research papers from a memorial symposium, which took place in July 2011. The four macro-topics of this work…

  • Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation

    Integrated Circuit and System Design: Power and Timing Modeling, Optimization and Simulation

    Häftad - 2010 - Engelska - ISBN: 9783642118012

    This book constitutes the thoroughly refereed post-conference proceedings of 19th International Workshop on Power and Timing Modeling, Optimization and Simulation, PATMOS 2009, featuring Integrated Circuit and System Design, held in Delft, The Nethe…

  • Trustworthy Global Computing

    Trustworthy Global Computing

    Häftad - 2010 - Engelska - ISBN: 9783642156397

    Global computing refers to computation over “global computers,” i.e., com- tational infrastructures available globally and able to provide uniform services with variable guarantees for communication, cooperation and mobility, resource us…

  • Fundamentals of Computation Theory

    Fundamentals of Computation Theory

    Häftad - 2011 - Engelska - ISBN: 9783642229527

    This book constitutes the refereed proceedings of the 18th International Symposium Fundamentals of Computation Theory, FCT 2011, held in Oslo, Norway, in August 2011. The 28 revised full papers presented were carefully reviewed and selected from 78…

  • Advances in Grid and Pervasive Computing

    Advances in Grid and Pervasive Computing

    Häftad - 2010 - Engelska - ISBN: 9783642130663

    Grid and Pervasive Computing (GPC) is an annual international conference on the emerging areas of grid computing and pervasive computing, aimed at p- viding an exciting platform and paradigm for all-the-time, everywhere services. GPC 2010 provided a…

  • Membrane Computing

    Membrane Computing

    Häftad - 2006 - Engelska - ISBN: 9783540690887

    This book constitutes the thoroughly refereed extended post-proceedings of the 7th International Workshop on Membrane Computing, WMC 2006, held in Leiden, Netherlands in July 2006. The papers in this volume cover all the main directions of research…

  • Algorithms ? ESA 2005

    Algorithms ? ESA 2005

    Häftad - 2005 - Engelska - ISBN: 9783540291183

    This volume contains the 75 contributed papers and the abstracts of the three invited lectures presented at the 13th Annual European Symposium on Al- rithms (ESA 2005), held in Palma de Mallorca, Spain, October 3-6, 2005. The threedistinguishedinvit…

  • Computer Algebra in Scientific Computing

    Computer Algebra in Scientific Computing

    Häftad - 2012 - Engelska - ISBN: 9783642329722

    This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012. The 28 full papers presented were carefully reviewed and selected for incl…

  • Pursuit of the Universal

    Pursuit of the Universal

    Häftad - 2016 - Engelska - ISBN: 9783319401881

    This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully revi…

  • Computational Linguistics and Intelligent Text Processing

    Computational Linguistics and Intelligent Text Processing

    Häftad - 2008 - Engelska - ISBN: 9783540781349

    CICLing 2008 (www. CICLing. org) was the 9th Annual Conference on Intel- gent Text Processing and Computational Linguistics. The CICLing conferences are intended to provide a wide-scope forum for the discussion of both the art and craft of natural l…

  • New Challenges on Bioinspired Applications

    New Challenges on Bioinspired Applications

    Häftad - 2011 - Engelska - ISBN: 9783642213250

    The two volumes, LNCS 6686 resp. LNCS 6687, constitute the refereed proceedings of the 4th International Work-Conference on the Interplay between Natural and Artificial Computation, IWINAC 2011, held in La Palma, Canary Islands, Spain, in May/June 2…

  • Computational Science ? ICCS 2008

    Computational Science ? ICCS 2008

    Häftad - 2008 - Engelska - ISBN: 9783540693864

    The three-volume set LNCS 5101-5103 constitutes the refereed proceedings of the 8th International Conference on Computational Science, ICCS 2008, held in Krakow, Poland in June 2008. The 167 revised papers of the main conference track presented toge…

  • Wireless Algorithms, Systems, and Applications

    Wireless Algorithms, Systems, and Applications

    Häftad - 2020 - Engelska - ISBN: 9783030590185

    The two-volume set LNCS 12385 + 12386 constitutes the proceedings of the 15th International Conference on Wireless Algorithms, Systems, and Applications, WASA 2020, which was held during September 13-15, 2020. The conference was planned to take plac…