Search Results for Brazil.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer programming.

Author

SpringerLink (Online service)

(9)

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

(1)

Botterweck, Goetz. editor.

(1)

Braga, Christiano. editor.

(1)

Castor, Fernando. editor.

(1)

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

(1)

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

(1)

Gil-Costa, Veronica. editor.

(1)

Iope, Rogério. editor.

(1)

Le Goues, Claire. editor.

(1)

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

(1)

Liu, Yu David. editor.

(1)

Marques, Osni. editor.

(1)

Nalon, Cláudia. editor.

(1)

Paes, Aline. editor.

(1)

Pinheiro de Brito, Tatiana. editor.

(1)

Quintao Pereira, Fernando Magno. editor.

(1)

Santos Costa, Vítor. editor.

(1)

Schmidt, Renate A. editor.

(1)

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

(1)

Stanzani, Silvio. editor.

(1)

Werner, Claudia. editor.

(1)

Yoo, Shin. editor.

(1)

Zaverucha, Gerson. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(9)

Publication Date

-

(3)

(2)

(2)

(1)

(1)

Subject

Software engineering.

(6)

Compilers (Computer programs).

(4)

Compilers and Interpreters.

(4)

Programming Techniques.

(4)

Artificial intelligence.

(3)

Computer Science Logic and Foundations of Programming.

(3)

Computer science.

(3)

Formal Languages and Automata Theory.

(3)

Machine theory.

(3)

Application software.

(2)

(2)

Programming languages (Electronic computers).

(2)

(1)

(1)

Computer and Information Systems Applications.

(1)

Computer hardware.

(1)

Computer organization.

(1)

(1)

Electronic data processing -- Management.

(1)

Electronic digital computers -- Evaluation.

(1)

(1)

Mathematical logic.

(1)

Pattern recognition.

(1)

(1)

System Performance and Evaluation.

(1)

The Computing Profession.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

9 Results Found

Subscribe to search results

1

000000000DEFAULT

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 High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

High Performance Computing for Computational Science – VECPAR 2018 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers

Author

Senger, Hermes. editor. (orcid)0000-0003-1273-9809 Marques, Osni. editor. Garcia, Rogerio. editor. (orcid)0000-0003-1248-528X Pinheiro de Brito, Tatiana. editor. Iope, Rogério. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-15996-2

Format:

Availability

Online Library~1

Available:
Copies:

2.

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:

3.

Cover image for Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings

Author

Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings

Author

Botterweck, Goetz. editor. Werner, Claudia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers

Author

Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings

Author

Castor, Fernando. editor. Liu, Yu David. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

Author

Zaverucha, Gerson. editor. Santos Costa, Vítor. editor. Paes, Aline. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44923-3

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings

Author

Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Search-Based Software Engineering 6th International Symposium, SSBSE 2014, Fortaleza, Brazil, August 26-29, 2014, Proceedings

Author

Le Goues, Claire. editor. Yoo, Shin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-09940-8

Format:

Availability

Online Library~1

Available:
Copies:

1

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11