martin wirsing

Grid   List

  1. Unter Bauern - Retter in der Nacht
    Unter Bauern - Retter in der Nacht
    Veronica Ferres
    3L Film
    Blu-ray
    Sofort lieferbar
    1943 flüchten Marga Spiegel und ihr Mann Menne gemeinsam mit ihrer Tochter Karin vor der Verfolgung durch die Nazis. Frau und Tochter kommen auf dem Bauernhof eines Freundes unter und leben dort un...
    14,94 €
    Alle Preise inkl. MwSt |ggf. zzgl. Versand
    In den Warenkorb Zum Merkzettel
  2. Adapting Proofs-as-Programs
    Adapting Proofs-as-Programs
    Iman Poernomo
    Springer New York
    Ebook
    Sofort lieferbar
    This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructi...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Rigorous Software Engineering for Service-Oriented Systems
    Rigorous Software Engineering for Service-Oriented Systems
    Martin Wirsing
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Service-Oriented Computing is a paradigm for developing and providing software that can address many IT challenges, ranging from integrating legacy systems to building new, massively distributed, i...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Java kompakt
    Java kompakt
    Matthias Hölzl
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Das Buch bietet eine knappe, praxisorientierte Einfu¿hrung in die Programmierung mit Java, die den Stoff einer Erstsemestervorlesung oder einer Java-Umschulung abdeckt ohne u¿berflu¿ssiges Material...
    20,67 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. 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
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 6th European Conference on Massive Open Online Courses, EMOOCs 2019, held in Naples, Italy, in May 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Software Engineering for Collective Autonomic Systems
    Software Engineering for Collective Autonomic Systems
    Martin Wirsing
    Springer International Publishing
    Ebook
    Sofort lieferbar
    A collective autonomic system consists of collaborating autonomic entities which are able to adapt at runtime, adjusting to the state of the environment and incorporating new knowledge into their b...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Software-Intensive Systems and New Computing Paradigms
    Software-Intensive Systems and New Computing Paradigms
    Martin Wirsing
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commissio...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Trustworthy Global Computing
    Trustworthy Global Computing
    Martin Wirsing
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    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 communicatio...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Marsha Chechik
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering, FASE 2009, held in York, UK, in March 2009, as part of ETAPS 2...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Theoretical Aspects of Computing - ICTAC 2005
    Theoretical Aspects of Computing - ICTAC 2005
    Dang Van Hung
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICT...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. Knowledge Science, Engineering and Management
    Knowledge Science, Engineering and Management
    Songmao Zhang
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 rev...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Elementare Aussagenlogik
    Elementare Aussagenlogik
    Friedrich L. Bauer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Dieses Buch über elementare Aussagenlogik (wie auch seine geplante Fortsetzung über Elementare Prädikatenlogik und Universelle Algebra) ist aus Vorlesungen an der Technischen Universität München en...
    38,66 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>