Showing
1 - 2
results of
2
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:
Location:
Remove Filter
Online
Suggested Topics:
Remove Filter
Computer science
AND
Remove Filter
Development
AND
Remove Filter
Mathematical Computing
Page will reload when a filter is removed.
Show filters (4)
Location:
Remove Filter
Online
Suggested Topics:
Remove Filter
Computer science
AND
Remove Filter
Development
AND
Remove Filter
Mathematical Computing
Search Results
Suggested Topics within your search.
Suggested Topics within your search.
Computer Systems
2
Computer science
Computer software
2
Development
Mathematical Computing
Mathematics
2
Software
2
trends
2
Formal methods (Computer science)
1
Showing
1 - 2
results of
2
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
Recent trends in algebraic development techniques : 19th international workshop ; revised selected papers, WADT 2008, Pisa, Italy, June 13-16, 2008 /
by
Corradini, Andrea, 1960-
,
Montanari, U. (Ugo)
Published 2009
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Recent trends in algebraic development techniques : 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by
Palomino, Miguel
Published 2013
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
Item type
Ebook
2 results
2
Year of Publication
From:
To: