登入選單
Google圖書搜尋
Rigorous Software Engineering for Service-Oriented...
作者
Martin Wirsing / Matthias Hölzl
出版Springer, 2011-09-15
ISBN
9783642204012 / 3642204015
主題
Computers
Adapting Proofs-as-Programs
作者
Iman Poernomo / John N. Crossley / Martin Wirsing
出版Springer Science & Business Media, 2007-04-27
ISBN
9780387281834 / 0387281835
主題
Computers
Algebraic Methodology and Software Technology
作者
Martin Wirsing / Maurice Nivat
出版Springer Science & Business Media, 1996-06-19
ISBN
354061463X / 9783540614630
主題
Computers
Radical Innovations of Software and Systems Engine...
作者
Martin Wirsing
出版Springer Science & Business Media, 2004-03-18
ISBN
9783540211792 / 3540211799
主題
Computers
Ultra loose algebraic specification
作者
Manfred Broy / Martin Wirsing
出版1988
ISBN
OCLC:311165223
STACS 88
作者
Robert Cori / Martin Wirsing
出版Springer Science & Business Media, 1988-01-27
ISBN
3540188347 / 9783540188346
主題
Computers
Recent Trends in Algebraic Development Techniques
作者
Martin Wirsing / Dirk Pattinson
出版Springer Science & Business Media, 2003-11-24
ISBN
9783540205371 / 3540205373
主題
Computers
Software Engineering for Collective Autonomic Syst...
作者
Martin Wirsing / Matthias Hölzl / Nora Koch / Philip Mayer
出版2015
ISBN
3319163116 / 9783319163116
Programming Language Implementation and Logic Prog...
作者
Jan Małuszyński / Martin Wirsing
出版Springer Science & Business Media, 1991-08-14
ISBN
3540544445 / 9783540544449
主題
Computers
Algebraic Methods: Theory, Tools and Applications
作者
Martin Wirsing / J. A. Bergstra
出版1989
ISBN
0387516980 / 9780387516981
主題
Algebra
Trustworthy Global Computing
作者
Martin Wirsing / Martin Hofmann / Axel Rauschmayer
出版Springer, 2010-09-15
ISBN
9783642156403 / 3642156401
主題
Computers
Algebraic definition of a functional programming l...
作者
Manfred Broy / Martin Wirsing
出版1980
ISBN
OCLC:45938557
Initial versus terminal algebra semantics for part...
作者
Manfred Broy / Martin Wirsing
出版1980
ISBN
OCLC:45938496
Knowledge Science, Engineering and Management
作者
Songmao Zhang / Martin Wirsing / Zili Zhang
出版2015
ISBN
3319251600 / 9783319251608
STACS 87
作者
Gesellschaft für Informatik / Association française pour la cybernétique économique et technique
出版1987
ISBN
OCLC:20150417
主題
Computers
Fundamental Approaches to Software Engineering
作者
Marsha Chechik
出版2009
ISBN
OCLC:846874551
主題
Software architecture
Theoretical Aspects of Computing--ICTAC 2005
出版2005
ISBN
OCLC:1170805895
主題
Electronic data processing
Adapting Proofs-as-Programs
作者
Iman Poernomo / John N. Crossley / Martin Wirsing
出版Springer Science & Business Media, 2007-04-27
ISBN
9780387281834 / 0387281835
主題
Computers
Radical Innovations of Software and Systems Engine...
作者
Martin Wirsing
出版Springer Science & Business Media, 2004-03-18
ISBN
9783540211792 / 3540211799
主題
Computers
Algebraic Methodology and Software Technology
作者
Martin Wirsing / Maurice Nivat
出版Springer Science & Business Media, 1996-06-19
ISBN
354061463X / 9783540614630
主題
Computers
Mozart's Operas and National Politics
作者
Martin Nedbal
出版Cambridge University Press, 2023-08-10
ISBN
9781009257596 / 1009257595
主題
Music
Recent Trends in Algebraic Development Techniques
作者
Martin Wirsing / Dirk Pattinson
出版Springer Science & Business Media, 2003-11-24
ISBN
9783540205371 / 3540205373
主題
Computers
Programming Language Implementation and Logic Prog...
作者
Jan Małuszyński / Martin Wirsing
出版Springer Science & Business Media, 1991-08-14
ISBN
3540544445 / 9783540544449
主題
Computers
The Media, European Integration and the Rise of Eu...
作者
Martin Herzer
出版Springer Nature, 2019-12-11
ISBN
9783030287788 / 3030287785
主題
History
Reports of Cases Determined in the Appellate Court...
作者
Illinois. Appellate Court / Martin L. Newell / Mason Harder Newell / Walter Clyde Jones / Keene Harwood Addington / James Christopher Cahill / Basil Jones / James Max Henderson / Ray Smith
出版1916
ISBN
CORNELL:31924111470419
主題
Courts
Beiträge zur stammkunde der deutschen sprache
作者
Martin May
出版1893
ISBN
BSB:BSB11503888
主題
Celtic languages, Continental
The literary presentation of "youth" in GDR fictio...
作者
Martin Norman Watson
出版1987
ISBN
UVA:X001334898
主題
German fiction
Toward Explaining Human Culture
作者
David Levinson / Martin J. Malone
出版1980
ISBN
UOM:39015062936136
主題
Psychology
Green Delusions
作者
Martin W. Lewis
出版1992
ISBN
STANFORD:36105004095571
主題
Nature
Common-pool Resources and Collective Action
作者
Fenton S. Martin
出版1989
ISBN
STANFORD:36105008510104
主題
Cooperation