Search Results for Science -- Computer programs

Limit Search Results

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

5 Results Found

Subscribe to search results

1

00000MAIN

Print

1.

Cover image for F# for C# developers

F# for C# developers

by

Liu, Tao

Author

Liu, Tao

Format:

Call Number

QA76.73.F163 L58 2013

Publisher

Microsoft Press,

Publication Date

2013

ISBN

9780735670266

Available:
Holds:
Copies:

2.

Cover image for Computational semantics with functional programming

Computational semantics with functional programming

by

Eijck, J. van (Jan)

Author

Eijck, J. van (Jan), Unger, Christina

Format:

Call Number

QA76.7 E43 2010

Publisher

Cambridge University Press,

Publication Date

2010

ISBN

9780521760300 9780521757607

Available:
Holds:
Copies:

3.

Cover image for Adapting proofs-as-programs : the curry - howard protocol

Adapting proofs-as-programs : the curry - howard protocol

by

Poernomo, Iman Hafiz

Author

Poernomo, Iman Hafiz, Crossley, John N., Wirsing, M. (Martin)

Format:

Call Number

QA9.54 P64 2005

Publisher

Springer,

Publication Date

2005

ISBN

9780387237596

Available:
Holds:
Copies:

4.

Cover image for Functional C

by

Hartel, Pieter

Author

Hartel, Pieter, Muller, Henk

Format:

Call Number

QA76.73.C15 H373 1997

Publisher

Addison-Wesley,

Publication Date

1997

ISBN

9780201419504

Available:
Holds:
Copies:

5.

Cover image for Multiparadigm programming in Leda

Multiparadigm programming in Leda

by

Budd, Timothy

Author

Budd, Timothy

Format:

Call Number

QA76.73.L16 B82 1995

Publisher

Addison-Wesley,

Publication Date

1995

ISBN

9780201820805

Available:
Holds:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1