Search Results for Computer.

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

217 Results Found

1 2 3 4 5 .. 19

000000000000DEFAULT

25.

Theoretical Aspects of Computing - ICTAC 2017 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings

Author

Hung, Dang Van. editor. Kapur, Deepak. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67729-3

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

Author

Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-54580-5

Format:

Availability

Online Library~1

Available:
Copies:

27.

Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers

Author

James, Phillip. editor. Roggenbach, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-72044-9

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

High Performance Computing ISC High Performance 2017 International Workshops, DRBSD, ExaComm, HCPM, HPC-IODC, IWOPH, IXPUG, P^3MA, VHPC, Visualization at Scale, WOPSSS, Frankfurt, Germany, June 18-22, 2017, Revised Selected Papers

Author

Kunkel, Julian M. editor. Yokota, Rio. editor. Taufer, Michela. editor. Shalf, John. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67630-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Cover image for Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings

Author

Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52234-0

Format:

Availability

Online Library~1

Available:
Copies:

30.

Introduction to Compiler Design

Author

Mogensen, Torben Ægidius. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-66966-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Computational Science and Its Applications - ICCSA 2017 17th International Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part V

Author

Gervasi, Osvaldo. editor. Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Misra, Sanjay. editor. Borruso, Giuseppe. editor. Torre, Carmelo M. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62404-4

Format:

Availability

Online Library~1

Available:
Copies:

32.

Cover image for Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Author

Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-53946-1

Format:

Availability

Online Library~1

Available:
Copies:

33.

A Practical Approach to Compiler Construction

Author

Watson, Des. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-52789-5

Format:

Availability

Online Library~1

Available:
Copies:

34.

Programming Language Concepts

Author

Sestoft, Peter. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-60789-4

Format:

Availability

Online Library~1

Available:
Copies:

35.

Foundations of Programming Languages

Author

Lee, Kent D. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70790-7

Format:

Availability

Online Library~1

Available:
Copies:

36.

Guide to Scientific Computing in C++

Author

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73132-2

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 .. 19

	{displayName}	{count}
{error}