登入選單
Google圖書搜尋
Building The Classic Physique
作者
Steve Reeves / Bob Wolff
出版Little Wolff Publishing Group, 1995-12-01
ISBN
1885096100 / 9781885096104
主題
Bodybuilders
Restored! Our Story
作者
Steve Reeves
出版2018-05-16
ISBN
089900556X / 9780899005560
Dynamic Muscle Building
作者
Steve Reeves / George Helmer
出版2003
ISBN
OCLC:56900648
主題
Bodybuilders
Healthy Leaders, Healthy Churches
作者
Steve W. Reeves
出版2008
ISBN
OCLC:894683680
主題
Christian leadership
Classic Anatomy Bodybuilding
作者
Steve Speyrer
出版Greg Sushinsky, 2015-07-04
主題
Sports & Recreation
The Magic of Symmetry
作者
Steve Davis
出版Createspace Independent Publishing Platform, 2014-11-07
ISBN
1502797739 / 9781502797735
Behind the Crimson Cape
作者
Jan Alan Henderson / Steve Randisi
出版2005-01-01
ISBN
0961959665 / 9780961959661
Building the Classic Physique -The Natural Way Har...
作者
Steve Reeves / John Little / George Helmer / Bob Woff
出版2003-12-01
ISBN
1495185079 / 9781495185076
Logic for Computer Science
作者
Steve Reeves / Michael Clarke
出版Addison Wesley Publishing Company, 1990
ISBN
UOM:39015018522071
主題
Computers
A Robust Semantics Hides Fewer Errors
出版2009
ISBN
OCLC:405600506
主題
Computer simulation
Some Extensions to Semantic Tableaux
作者
S. Reeves
出版1989
ISBN
OCLC:897665581
Experiences Using Z Animation Tools
作者
Greg Reeve / Steve Reeves / University of Waikato. Department of Computer Science
出版2001
ISBN
OCLC:155289499
主題
Computer simulation
Μ-Charts and Z
作者
Gregory R. Reeve / Steve Reeves
ISBN
OCLC:1273416388
主題
Statecharts (Computer science)
Μ-Charts and Z
作者
Gregory R. Reeve / Steve Reeves
ISBN
OCLC:1273414604
主題
Statecharts (Computer science)
Eliciting Usage Contexts of Safety-critical Medica...
作者
Judith Alyson Bowen / Sally Jo Cunningham / Annika Hinze / Doris Jung / Steve Reeves
出版2014
ISBN
OCLC:946800820
主題
Medical care
Mu -charts and Z
作者
Greg Reeve / Steve Reeves / University of Waikato. Department of Computer Science
出版2000
ISBN
OCLC:154680065
主題
Statecharts (Computer science)
A Teaching and Support Tool for Building Formal Mo...
作者
Steve Reeves / University of Waikato. Department of Computer Science
出版1995
ISBN
OCLC:152361694
主題
Computer software
The Syntax and Semantics of [mu]-charts
作者
Greg Reeve
出版2004
ISBN
OCLC:155911881
主題
Statecharts (Computer science)
The Syntax and Semantics of [mu]-charts
作者
Greg Reeve / Steve Reeves / University of Waikato. Department of Computer Science
出版2004
ISBN
OCLC:155911881
主題
Statecharts (Computer science)
A Logic for Specifying and Reasoning about Coopera...
作者
Steve Reeves / University of Waikato. Department of Computer Science
出版1995
ISBN
OCLC:154159088
主題
Computer programming
Considering Reachability when Comparing Data Refin...
作者
Steve Reeves
出版2008
ISBN
OCLC:271370471
主題
Abstract data types (Computer science)
Flexible Refinement
出版2007
ISBN
OCLC:243861499
主題
Data structures (Computer science)
Mu -charts and Z
作者
Greg Reeve / Steve Reeves / University of Waikato. Department of Computer Science
出版2000
ISBN
OCLC:154434355
主題
Statecharts (Computer science)
A Survey of Software Requirements Specification Pr...
作者
Lindsay J. Groves / University of Waikato. Department of Computer Science
出版1999
ISBN
OCLC:154806907
主題
Computer software
Necessary and Possible Set Reconciliation and Unif...
作者
Robert Johnson / Steve Reeves / Queen Mary and Westfield College (University of London). Department of Computer Science
出版1992
ISBN
OCLC:606171852
State- and Event-based Refinement
作者
Steve Reeves / David Streader / University of Waikato. Department of Computer Science
出版2006
ISBN
OCLC:174059749
主題
Computer programs
Sucking Cleopatra
作者
Steve Reeves
出版1996
ISBN
0646299549 / 9780646299549
主題
Voyages and travels
Liberalising Event B Without Changing it
作者
Steve Reeves / David Streader / University of Waikato. Department of Computer Science
出版2006
ISBN
OCLC:156765931
主題
B method (Computer science)
Guarded Operations, Refinement and Simulation
出版2009
ISBN
OCLC:405600495
主題
Abstract data types (Computer science)
Formal Framework for Task Oriented Modelling of De...
作者
S. Gikas / P. Johnson / S. Reeves
出版1989
ISBN
OCLC:897664647