Showing
1 - 3
results of
3
Skip to content
Institutional Login
Language
English
Te reo Māori
Books & media
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Applied Filters:
Suggested Topics:
Remove Filter
B method (Computer science)
AND
Remove Filter
Machine theory
Page will reload when a filter is removed.
Show filters (2)
Suggested Topics:
Remove Filter
B method (Computer science)
AND
Remove Filter
Machine theory
Search Results - "Machine theory"
Suggested Topics within your search.
Suggested Topics within your search.
B method (Computer science)
Machine theory
Z (Computer program language)
3
Computer simulation
1
Formal methods (Computer science)
1
Landing gear
1
Programming languages (Electronic computers)
1
Showing
1 - 3
results of
3
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings /
by
Frappier, Marc, 1965-
Published 2010
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings /
by
Börger, E. (Egon), 1946-
Published 2008
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 3
3
ABZ 2014 : the landing gear case study : Case study track, held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-...
Published 2014
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Location
Online
3 results
3
Item type
Ebook
3 results
3
Year of Publication
From:
To:
Items from Articles & more search
Research and Application of Security Compliance Analysis Technology of Transmission Protocol Based on Finite-state machine Theory
by
Fu, Jie
, et al.
Probabilistic Electric Vehicle Charging Demand Forecast Based on Deep Learning and Machine Theory of Mind
by
Hu, Tianyu
, et al.
Understanding Intention for Machine Theory of Mind: a Position Paper
by
Kennington, Casey
Self-Attention-Based Machine Theory of Mind for Electric Vehicle Charging Demand Forecast
by
Hu, T.
, et al.
Analytical Validation of Dual-Pole Permanent Magnet Machine Theory
by
Ghoroghchian, F.
, et al.
More results…