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: E-Book

+

Subject: Computer programming.

Author

SpringerLink (Online service)

(30)

Abelson, Harold.

(1)

Abreu, Jorge. editor.

(1)

Abásolo, María José. editor. (orcid)0000-0003-4441-3264

(1)

Aiello, Marco. author.

(1)

Almeida, Pedro. editor.

(1)

Angeline, Peter J.

(1)

Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280

(1)

Bjørner, Nikolaj. editor.

(1)

Bojańczyk, Mikołaj. editor.

(1)

Caires, Luís. editor. (orcid)0000-0002-3215-6734

(1)

Cao, Jian-nong. editor.

(1)

Cariani, Fabrizio. editor.

(1)

Chatterjee, Mainak. editor.

(1)

Chelliah, Pethuru Raj. author.

(1)

Codish, Michael. editor.

(1)

Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822

(1)

Dalziel, Henry, editor.

(1)

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781

(1)

Fernández, Maribel. author.

(1)

Fiadeiro, José Luiz. editor.

(1)

Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X

(1)

García Rodríguez de Guzmán, Ignacio. editor. (orcid)0000-0002-0038-0942

(1)

Ghatak, Abhijit. author.

(1)

Gil-Costa, Veronica. editor.

(1)

Grossi, Davide. editor.

(1)

Guerra, Esther. editor. (orcid)0000-0002-2818-2278

(1)

Gupta, Gopal. editor.

(1)

Horváth, Zoltán. editor.

(1)

Hughes, John. editor. (orcid)0000-0001-8042-0969

(1)

Iope, Rogério. editor.

(1)

Kinnear, Kenneth E.

(1)

Knight, William. author.

(1)

Kothapalli, Kishore. editor.

(1)

Lacey, Nichola, author.

(1)

Lima, Fernanda. editor. (orcid)0000-0001-6300-818X

(1)

Liu, Zhiming. editor.

(1)

Marques, Osni. editor.

(1)

McCarthy, Jay. editor.

(1)

Meheus, Joke. editor.

(1)

Myreen, Magnus. editor.

(1)

Orejas, Fernando. editor.

(1)

O’Regan, Gerard. author.

(1)

Parent, Xavier. editor.

(1)

Pałka, Michał. editor.

(1)

Peña, Ricardo. editor.

(1)

Piattini, Mario. editor. (orcid)0000-0002-7212-8279

(1)

Pinheiro de Brito, Tatiana. editor.

(1)

Porkoláb, Zoltán. editor.

(1)

Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184

(1)

Rajsbaum, Sergio. editor.

(1)

Rupino da Cunha, Paulo. editor. (orcid)0000-0003-2701-5248

(1)

Sage, Kingsley. author.

(1)

Schipp, Jon, author.

(1)

Senger, Hermes. editor. (orcid)0000-0003-1273-9809

(1)

Shao, Zhong. editor.

(1)

Silva, Josep. editor.

(1)

Silva, Telmo. editor. (orcid)0000-0001-9383-7659

(1)

Simpson, Alex. editor.

(1)

Sobolev, Sergey. editor. (orcid)0000-0002-3474-8696

(1)

Soma, Takako. author.

(1)

Stanzani, Silvio. editor.

(1)

Streib, James T. author.

(1)

Sumii, Eijiro. editor.

(1)

Surianarayanan, Chellammal. author.

(1)

Sussman, Gerald Jay.

(1)

Sussman, Julie.

(1)

Van Horn, David. editor.

(1)

Virbitskaite, Irina. editor.

(1)

Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106

(1)

Vohra, Deepak. author.

(1)

Voronkov, Andrei. editor.

(1)

Vrajitoru, Dana. author.

(1)

Xue, Jinyun. editor.

(1)

Zsók, Viktória. editor.

(1)

Language

(34)

Publication Date

-

(15)

(13)

(3)

(2)

(1)

Subject

Programming languages (Electronic computers).

(13)

Computer logic.

(11)

Software engineering.

(10)

Artificial intelligence.

(8)

Mathematical logic.

(6)

Computer science—Mathematics.

(5)

Computer science.

(4)

(3)

Application software.

(3)

Computer communication systems.

(3)

Computer system failures.

(3)

Computer hardware.

(2)

(2)

Operating systems (Computers).

(2)

Special purpose computers.

(2)

(1)

Computer network architectures.

(1)

Computer organization.

(1)

Computer security.

(1)

Computer vision.

(1)

Data structures (Computer science).

(1)

Database management.

(1)

(1)

Genetic programming (Computer science)

(1)

Information systems.

(1)

LISP (Computer program language)

(1)

(1)

Management information systems.

(1)

Microprocessors.

(1)

Object-oriented programming (Computer science)

(1)

Optical data processing.

(1)

Programmeren (computers)

(1)

Programmierung.

(1)

Python (Computer program language)

(1)

calculateur electronique.

(1)

(1)

programmation génétique.

(1)

Shelf Location

Electronic Library

Library

{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

34 Results Found

Subscribe to search results

1 2 3

000000000000DEFAULT

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.

13.

Cover image for Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Trends in Functional Programming 19th International Symposium, TFP 2018, Gothenburg, Sweden, June 11–13, 2018, Revised Selected Papers

Author

Pałka, Michał. editor. Myreen, Magnus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-18506-0

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

Concise Guide to Object-Oriented Programming An Accessible Approach Using Java

Author

Sage, Kingsley. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-13304-7

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20–24, 2017, Revised Selected Papers

Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20–24, 2017, Revised Selected Papers

Higher Education for All. From Challenges to Novel Technology-Enhanced Solutions First International Workshop on Social, Semantic, Adaptive and Gamification Techniques and Technologies for Distance Learning, HEFA 2017, Maceió, Brazil, March 20–24, 2017, Revised Selected Papers

Author

Cristea, Alexandra I. editor. (orcid)0000-0002-1454-8822 Bittencourt, Ig Ibert. editor. (orcid)0000-0001-5676-2280 Lima, Fernanda. editor. (orcid)0000-0001-6300-818X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

Applications and Usability of Interactive Television 6th Iberoamerican Conference, jAUTI 2017, Aveiro, Portugal, October 12-13, 2017, Revised Selected Papers

Author

Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Abreu, Jorge. editor. Almeida, Pedro. editor. Silva, Telmo. editor. (orcid)0000-0001-9383-7659 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

17.

Cover image for Guide to Java A Concise Introduction to Programming

Guide to Java A Concise Introduction to Programming

Guide to Java A Concise Introduction to Programming

Author

Streib, James T. author. Soma, Takako. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6317-6

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Programming Languages and Operational Semantics A Concise Overview

Programming Languages and Operational Semantics A Concise Overview

Programming Languages and Operational Semantics A Concise Overview

Author

Fernández, Maribel. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-6368-8

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Author

Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Introduction to Software Quality

Introduction to Software Quality

Introduction to Software Quality

Author

O’Regan, Gerard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings

Author

Chatterjee, Mainak. editor. Cao, Jian-nong. editor. Kothapalli, Kishore. editor. Rajsbaum, Sergio. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-45249-9

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Practical Analysis of Algorithms

Practical Analysis of Algorithms

Practical Analysis of Algorithms

Author

Vrajitoru, Dana. author. Knight, William. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Functional and Logic Programming 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings

Author

Codish, Michael. editor. Sumii, Eijiro. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

Author

Shao, Zhong. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-642-54833-8

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11