Martin Wirsing

20 books found

Books by Martin Wirsing

Formal Description of Programming Concepts IIIMartin Wirsing

⏱ 7h 34m

Formal Description of Programming Concepts III

Martin Wirsing

1988454 pp.

Rigorous Software Engineering for Service-Oriented SystemsMartin Wirsing

⏱ 12h 27m

Rigorous Software Engineering for Service-Oriented Systems

Martin Wirsing

2011747 pp.

Java Kompakt eXamenPressMartin Wirsing

Java Kompakt eXamenPress

Martin Wirsing

2013No page data

Trustworthly Global ComputingMartin Wirsing

Trustworthly Global Computing

Martin Wirsing

2010No page data

Fundamental Approaches to Software EngineeringMarsha Chechik

⏱ 8h 24m

Fundamental Approaches to Software Engineering

Marsha Chechik

2009504 pp.

Knowledge Science, Engineering and ManagementSongmao Zhang

⏱ 12h 13m

Knowledge Science, Engineering and Management

Songmao Zhang

2007733 pp.

Forest vegetation in southeastern WyomingJohn Martin Wirsing

⏱ 2h 50m

Forest vegetation in southeastern Wyoming

John Martin Wirsing

1973170 pp.

Programming Language Implementation and Logic ProgrammingJan Maluszynski

⏱ 7h 28m

Programming Language Implementation and Logic Programming

Jan Maluszynski

2014448 pp.

Recent trends in algebraic development techniquesMartin Wirsing

⏱ 7h 37m

Recent trends in algebraic development techniques

Martin Wirsing

2003457 pp.

Algebraic MethodsMartin Wirsing

⏱ 9h 18m

Algebraic Methods

Martin Wirsing

1989558 pp.

Theoretical Aspects of Computing - ICTAC 2005Dang Van Hung

Theoretical Aspects of Computing - ICTAC 2005

Dang Van Hung

2005No page data

Elementare AussagenlogikFriedrich L. Bauer

Elementare Aussagenlogik

Friedrich L. Bauer

1991No page data

Adapting proofs-as-programsIman Hafiz Poernomo

⏱ 7h 0m

Adapting proofs-as-programs

Iman Hafiz Poernomo

2005420 pp.

Theoretical aspects of computingDang Van Hung

⏱ 10h 14m

Theoretical aspects of computing

Dang Van Hung

2005614 pp.

Adapting Proofs-as-ProgramsIman Hafiz Poernomo

⏱ 7h 14m

Adapting Proofs-as-Programs

Iman Hafiz Poernomo

2005434 pp.

Java KompaktMatthias Hölzl

Java Kompakt

Matthias Hölzl

2013No page data

Software Engineering for Collective Autonomic SystemsMartin Wirsing

⏱ 8h 55m

Software Engineering for Collective Autonomic Systems

Martin Wirsing

2015535 pp.

STACS 87Franz J. Brandenburg

⏱ 8h 20m

STACS 87

Franz J. Brandenburg

1987500 pp.

Software-Intensive Systems and New Computing ParadigmsMartin Wirsing

Software-Intensive Systems and New Computing Paradigms

Martin Wirsing

2008No page data

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

⏱ 3h 19m

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

Mauro Calise

2019199 pp.