skip to main content
Results 1 2 3 4 5 next page
Refined by: subject: Engineering remove subject: Science remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings
Material Type:
Book
Add to e-Shelf

Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings

Yoshida, Nobuko Yoshida, Nobuko

Netherlands: Springer Nature 2021

Full text available

2
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Material Type:
Book
Add to e-Shelf

Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings

Caires, Luís Caires, Luís

Netherlands: Springer Nature 2019

Full text available

3
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings
Material Type:
Book
Add to e-Shelf

Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings

Rauber Du Bois, Andre ; Trinder, Phil

Berlin, Heidelberg: Springer Berlin / Heidelberg 2013

Full text available

4
Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml
Material Type:
Book
Add to e-Shelf

Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml

Wang, Liang ; Zhao, Jianxin

Berkeley, CA: Springer Nature 2023

Full text available

5
Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings
Material Type:
Book
Add to e-Shelf

Programming Languages and Systems: 11th International Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013, Proceedings

Shan, Chung-chien Shan, Chung-chien

Netherlands: Springer Nature 2013

Full text available

6
Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings
Material Type:
Book
Add to e-Shelf

Generative Programming and Component Engineering: Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings

Pfenning, Frank ; Smaragdakis, Yannis Smaragdakis, Yannis ; Pfenning, Frank

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

7
Chemometrics with R: Multivariate Data Analysis in the Natural Sciences and Life Sciences
Material Type:
Book
Add to e-Shelf

Chemometrics with R: Multivariate Data Analysis in the Natural Sciences and Life Sciences

Wehrens, Ron

Berlin, Heidelberg: Springer Nature 2011

Full text available

8
Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers
Material Type:
Book
Add to e-Shelf

Implementation and Application of Functional Languages: 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers

Hinze, Ralf Hinze, Ralf

Netherlands: Springer Nature 2013

Full text available

9
Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers
Material Type:
Book
Add to e-Shelf

Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

Gill, Andy ; Hage, Jurriaan Hage, Jurriaan ; Gill, Andy

Berlin, Heidelberg: Springer Nature 2012

Full text available

10
Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings
Material Type:
Book
Add to e-Shelf

Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings

Cousot, Radhia Cousot, Radhia

Berlin, Heidelberg: Springer Berlin / Heidelberg 2003

Full text available

Results 1 2 3 4 5 next page

Personalize your results

  1. Edit

Refine Search Results

Expand My Results

  1.   

Refine My Results

Resource Type 

  1. Articles  (528)
  2. Books  (195)
  3. magazinearticle  (47)
  4. Newsletter Articles  (7)
  5. Conference Proceedings  (5)
  6. Reviews  (5)
  7. Datasets  (3)
  8. Reference Entries  (3)
  9. More options open sub menu

Creation Date 

From To
  1. Before1987  (17)
  2. 1987To1995  (37)
  3. 1996To2004  (61)
  4. 2005To2014  (293)
  5. After 2014  (462)
  6. More options open sub menu

Language 

  1. Japanese  (13)
  2. German  (8)
  3. Spanish  (1)
  4. More options open sub menu

Suggested New Searches

Ignore my query and look for everything

by this author/creator:

  1. Billo, E

Searching Remote Databases, Please Wait

  • Searching for
  • inscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Show me what you have so far