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:

+

Author: SpringerLink (Online service)

+

Library: Online Library

+

Subject: Computer programming.

Author

Abreu, Jorge. editor.

(1)

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

(1)

Aiello, Marco. author.

(1)

Almeida, Pedro. editor.

(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)

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)

Knight, William. author.

(1)

Kothapalli, Kishore. editor.

(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)

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)

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

(30)

Publication Date

-

(14)

(13)

(3)

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)

Information systems.

(1)

Management information systems.

(1)

Microprocessors.

(1)

Optical data processing.

(1)

Material Type

Shelf Location

Electronic 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

30 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 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Trends in Functional Programming 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised Selected Papers

Author

Van Horn, David. editor. Hughes, John. editor. (orcid)0000-0001-8042-0969 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-14805-8

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

18.

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:

19.

Cover image for Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Author

Gupta, Gopal. editor. Peña, Ricardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

20.

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:

21.

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:

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