Showing
1 - 1
results of
1
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
Search Results - 9783642133206*
Suggested Topics within your search.
Suggested Topics within your search.
Computer programming
1
Computer programs
1
Mathematics
1
Software
1
Showing
1 - 1
results of
1
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
Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010 ; proceedings /
by
Bolduc, Claude
,
Desharnais, Jules
,
Ktari, Béchir
Published 2010
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
1 results
1
Item type
Ebook
1 results
1
Year of Publication
From:
To:
Items from Articles & more search
The Algorithmics of Solitaire-Like Games.
by
Backhouse, Roland
, et al.
On Automated Program Construction and Verification.
by
Berghammer, Rudolf
, et al.
The Logic of Large Enough.
by
Boiten, Eerke
, et al.
Dependently Typed Grammars.
by
Brink, Kasper
, et al.
Abstraction of Object Graphs in Program Verification.
by
Chen, Yifeng
, et al.
More results…