Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Java kompakt Java kompakt

    Java kompakt

    Matthias Hölzl
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.03.2013

    Das Buch bietet eine knappe, praxisorientierte Einführung in die Programmierung mit Java, die den...

    Taschenbuch
    49,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Adapting Proofs-as-Programs Adapting Proofs-as-Programs

    Adapting Proofs-as-Programs

    Iman Poernomo
    Springer New York, Springer New York
    19.11.2010

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Algebraic Methodology and Software Technology Algebraic Methodology and Software Technology

    Algebraic Methodology and Software Technology

    Maurice Nivat
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.06.1996

    This book constitutes the refereed proceedings of the 5th International Conference on Algebraic M...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Knowledge Science, Engineering and Management Knowledge Science, Engineering and Management

    Knowledge Science, Engineering and Management

    Songmao Zhang
    Springer International Publishing, Springer International Publishing
    02.10.2015

    This book constitutes the refereed proceedings of the 8th International Conference on Knowledge S...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Software-Intensive Systems and New Computing Paradigms Software-Intensive Systems and New Computing Paradigms

    Software-Intensive Systems and New Computing Paradigms

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    06.11.2008

    To identify the emergent trends in software-intensive and distributed and decentralized computer ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Rigorous Software Engineering for Service-Oriented Systems Rigorous Software Engineering for Service-Oriented Systems

    Rigorous Software Engineering for Service-Oriented Systems

    Matthias Hölzl
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.05.2011

    Service-Oriented Computing is a paradigm for developing and providing software that can address m...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Recent Trends in Algebraic Development Techniques Recent Trends in Algebraic Development Techniques

    Recent Trends in Algebraic Development Techniques

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    24.11.2003

    This volume contains selected papers from WADT 2002, the 16th International Workshop on Algebraic...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Programming Language Implementation and Logic Programming Programming Language Implementation and Logic Programming

    Programming Language Implementation and Logic Programming

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    12.08.1992

    This volume contains the papers accepted for presentation atthe Fourth International Symposium on...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. STACS 88 STACS 88

    STACS 88

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    27.01.1988

    This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Methods of Programming Methods of Programming

    Methods of Programming

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    23.10.1991

    The systematic development of software systems is a centraltask of computing science. A software ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Theoretical Aspects of Computing - ICTAC 2005 Theoretical Aspects of Computing - ICTAC 2005

    Theoretical Aspects of Computing - ICTAC 2005

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    04.10.2005

    This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Radical Innovations of Software and Systems Engineering in the Future Radical Innovations of Software and Systems Engineering in the Future

    Radical Innovations of Software and Systems Engineering in the Future

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    18.03.2004

    This volume contains the papers from the workshop 'Radical Innovations of Software and Systems En...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  13. STACS 87 STACS 87

    STACS 87

    Franz J. Brandenburg
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    11.02.1987

    Towards a theory of relativizations: Positive relativizations.- Natural semantics.- On local rout...

    Taschenbuch
    50,28 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  14. Fundamental Approaches to Software Engineering Fundamental Approaches to Software Engineering

    Fundamental Approaches to Software Engineering

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.03.2009

    This book constitutes the refereed proceedings of the 12th International Conference on Fundamenta...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  15. Software Engineering for Collective Autonomic Systems Software Engineering for Collective Autonomic Systems

    Software Engineering for Collective Autonomic Systems

    Martin Wirsing
    Springer International Publishing, Springer International Publishing
    18.03.2015

    A collective autonomic system consists of collaborating autonomic entities which are able to adap...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  16. Elementare Aussagenlogik Elementare Aussagenlogik

    Elementare Aussagenlogik

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    28.03.1991

    Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Pr...

    Taschenbuch
    54,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  17. Web Engineering Web Engineering

    Web Engineering

    Nora Koch
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.07.2004

    Web engineering is a new discipline that addresses the pressing need for syst- atic and tool-supp...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  18. Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge

    Digital Education: At the MOOC Crossroads Where the Interests of Academia and Business Converge

    Mauro Calise
    Springer International Publishing, Springer Nature Switzerland
    08.05.2019

    This book constitutes the proceedings of the 6th European Conference on Massive Open Online Cour...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  19. Programming Language Implementation and Logic Programming Programming Language Implementation and Logic Programming

    Programming Language Implementation and Logic Programming

    Martin Wirsing
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    14.08.1991

    This volume contains the papers which have been accepted forpresentation atthe Third Internationa...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  20. Algebraic Methods: Theory, Tools and Applications Algebraic Methods: Theory, Tools and Applications

    Algebraic Methods: Theory, Tools and Applications

    Jan A. Bergstra
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    20.09.1989

    Algebraic specification a step towards future software engineering.- How to make algebraic specif...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  21. Adapting Proofs-As-Programs Adapting Proofs-As-Programs

    Adapting Proofs-As-Programs

    Iman Poernomo
    Springer New York
    21.06.2005

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 167,50 €

    Jetzt 160,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  22. Trustworthy Global Computing Trustworthy Global Computing

    Trustworthy Global Computing

    Martin Wirsing
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    Global computing refers to computation over 'global computers,' i.e., com- tational infrastructur...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  23. Unter Bauern - Retter in der Nacht Unter Bauern - Retter in der Nacht

    Unter Bauern - Retter in der Nacht

    Veronica Ferres
    3L Film
    19.05.2011

    UNTER BAUERN - RETTER IN DER NACHT basiert auf dem Leben der Jüdin Marga Spiegel, die mit Mann un...

    DVD Video

    Unser bisheriger Preis:ORGPRICE: 14,99 €

    Jetzt 12,99 €
    Zur Zeit nicht lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1