Search Results for Computer science

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Material Type: Open Access Book

+

Subject: Functional programming (Computer science)

Author

(1)

Crossley, John N.

(1)

Eijck, J. van (Jan)

(1)

(1)

(1)

(1)

(1)

Poernomo, Iman Hafiz

(1)

(1)

Unger, Christina

(1)

Wirsing, M. (Martin)

(1)

Language

(7)

Format

(7)

Subject

Abstract data types (Computer science)

(1)

C (Computer program language)

(1)

Curry-Howard isomorphism

(1)

F# (Computer program language)

(1)

Haskell (Computer program language)

(1)

Lambda calculus

(1)

Leda (Computer program language)

(1)

Logic, Symbolic and mathematical

(1)

Multiparadigm programming (Computer science)

(1)

Multiprocessors

(1)

Object-oriented methods (Computer science)

(1)

Object-oriented programming (Computer science)

(1)

Programming languages (Electronic computers) -- Semantics.

(1)

(1)

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

7 Results Found

Subscribe to search results

1

0000000MAIN

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

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:

SD_ILS:384300

2.

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:

SD_ILS:814680

3.

Cover image for Computational semantics with functional programming

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:

SD_ILS:755626

4.

Cover image for Functional and object oriented analysis and design : an integrated methodology

Functional and object oriented analysis and design : an integrated methodology

Functional and object oriented analysis and design : an integrated methodology

by

Shoval, Peretz

Author

Shoval, Peretz

Format:

Call Number

QA76.9.O35 S56 2007

Publisher

Idea Group Publishing,

Publication Date

2007

ISBN

9781599042015

Available:
Holds:
Copies:

SD_ILS:107590

5.

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:

SD_ILS:480686

6.

Cover image for Multiparadigm programming in Leda

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:

SD_ILS:410380

7.

Cover image for Functional programming for loosely-coupled multiprocessors

Functional programming for loosely-coupled multiprocessors

Functional programming for loosely-coupled multiprocessors

by

Kelly, Paul

Author

Kelly, Paul

Format:

Call Number

QA76.6 K34 1989

Publisher

Pitman Pub.,

Publication Date

1989

ISBN

9780262610575

Available:
Holds:
Copies:

SD_ILS:139957

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1

© Universiti Teknologi Malaysia Libraries, 81310 UTM Johor Bahru, Johor Darul Takzim , Malaysia.

Phone: +607-5533333, Fax: +607-5572555, e-mail : PSZ-ENQUIRY@GROUPS.UTM.MY

Disclaimer : Universiti Teknologi Malaysia and UTM Libraries shall not be liable for any loss or damage caused by the usage of any information obtained from this website.
Best viewed using Google Chrome (1024 x 768).

Copyright 2017 Sirsi Corporation - Enterprise Version 5.0.0.1