Skip to main content
SpringerLink
Log in
Book cover

Computing and Software Science

State of the Art and Perspectives

  • Book
  • © 2019

Overview

Editors:
  1. Bernhard Steffen

    1. Technical University of Dortmund, Dortmund, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerhard Woeginger

    1. RWTH Aachen, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Anniversary edition
  • With contributions of international experts
  • State-of-the-art contents

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10000)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 24.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 32.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (26 chapters)

  1. Front Matter

    Pages I-XIX
    Download chapter PDF

  2. Computation and Complexity

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Computation and Complexity

      • Gerhard J. Woeginger
      Pages 3-8

    3. Some Estimated Likelihoods for Computational Complexity

      • R. Ryan Williams
      Pages 9-26

    4. Computing in Combinatorial Optimization

      • William Cook
      Pages 27-47Open Access

    5. Computational Social Choice: The First Ten Years and Beyond

      • Haris Aziz, Felix Brandt, Edith Elkind, Piotr Skowron
      Pages 48-65

    6. Geometric Optimization Revisited

      • Pankaj K. Agarwal, Esther Ezra, Kyle Fox
      Pages 66-84

    7. 10 Reasons to Get Interested in Graph Drawing

      • Carla Binucci, Ulrik Brandes, Tim Dwyer, Martin Gronemann, Reinhard von Hanxleden, Marc van Kreveld et al.
      Pages 85-104

    8. Sublinear-Time Algorithms for Approximating Graph Parameters

      • Dana Ron
      Pages 105-122

    9. Dynamic Erdős-Rényi Graphs

      • Michel Mandjes, Nicos Starreveld, René Bekker, Peter Spreij
      Pages 123-140

    10. Wireless Network Algorithmics

      • Magnús M. Halldórsson, Roger Wattenhofer
      Pages 141-160

    11. Green Computing Algorithmics

      • Kirk Pruhs
      Pages 161-183

    12. Brain Computation: A Computer Science Perspective

      • Wolfgang Maass, Christos H. Papadimitriou, Santosh Vempala, Robert Legenstein
      Pages 184-199

    13. Rating Computer Science via Chess

      • Kenneth W. Regan
      Pages 200-216

    14. Knowledge Harvesting: Achievements and Challenges

      • Gerhard Weikum, Johannes Hoffart, Fabian Suchanek
      Pages 217-235

  3. Methods, Languages and Tools for Future System Development

    1. Front Matter

      Pages 237-237
      Download chapter PDF

    2. Methods, Languages and Tools for Future System Development

      • Bernhard Steffen
      Pages 239-249

    3. The Next 7000 Programming Languages

      • Robert Chatley, Alastair Donaldson, Alan Mycroft
      Pages 250-282

    4. Multi-Mode DAE Models - Challenges, Theory and Implementation

      • Albert Benveniste, Benoît Caillaud, Hilding Elmqvist, Khalil Ghorbal, Martin Otter, Marc Pouzet
      Pages 283-310

    5. Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages

      • Bernhard Steffen, Frederik Gossen, Stefan Naujokat, Tiziana Margaria
      Pages 311-344
Back to top

Keywords

About this book

The papers of this volume focus on the foundational aspects of computer science, the thematic origin and stronghold of LNCS, under the title “Computing and Software Science: State of the Art and Perspectives”.
They are organized in two parts:
The first part, Computation and Complexity, presents a collection of expository papers on fashionable themes in algorithmics, optimization, and complexity.
The second part, Methods, Languages and Tools for Future System Development, aims at sketching the methodological evolution that helps guaranteeing that future systems meet their increasingly critical requirements.

Chapter 3 is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • Technical University of Dortmund, Dortmund, Germany

    Bernhard Steffen

  • RWTH Aachen, Aachen, Germany

    Gerhard Woeginger

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation