Suggested Topics within your search.
Suggested Topics within your search.
- Computer programming 57
- Programming languages (Electronic computers) 24
- Computer science 20
- Computer programs 14
- Machine theory 12
- Software engineering 11
- Compilers (Computer programs) 10
- Logic design 9
- Mathematics 9
- Data structures (Computer science) 7
- Functional programming (Computer science) 7
- Algorithms 6
- Computer logic 6
- Artificial intelligence 5
- Verification 5
- Automatic theorem proving 3
- Computable functions 3
- Computer algorithms 3
- Computer architecture 3
- Logic programming 3
- Parallel processing (Electronic computers) 3
- Program transformation (Computer programming) 3
- Rewriting systems (Computer science) 3
- Systems engineering 3
- Computer simulation 2
- Embedded computer systems 2
- Formal methods (Computer science) 2
- Logic, Symbolic and mathematical 2
- Machine learning 2
- B method (Computer science) 1
-
1
Verification, model checking, and abstract interpretation 8th international conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
Published 2007Subjects: “…Computer programs Verification Congresses.…”
Electronic Conference Proceeding eBook -
2
Verification, model checking, and abstract interpretation 9th international conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008 : proceedings /
Published 2008Subjects: “…Computer programs Verification Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
3
Compiler construction : 23rd International Conference, CC 2014, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, Apr...
Published 2014Subjects: Full Text (via Springer)
Conference Proceeding eBook -
4
From programs to systems - the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014, proceedings /
Published 2014Subjects: “…Computer programs Congresses.…”
Full Text (via Springer)
Conference Proceeding eBook -
5
Compiler construction 19th International Conference, CC 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 2...
Published 2010Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
6
Compiler construction 18th International Conference, CC 2009, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29,...
Published 2009Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
7
Compiler construction 22nd International Conference, CC 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-2...
Published 2013Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
8
Compiler construction 17th international conference, CC 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, Marc...
Published 2008Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
9
Compiler construction : 24th International Conference, CC 2015, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-...
Published 2015Subjects: Full Text (via Springer)
Conference Proceeding eBook -
10
Trends in functional programming : 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised selected papers /
Published 2016Subjects: Full Text (via Springer)
Conference Proceeding eBook -
11
Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised selected papers /
Published 2013Subjects: Full Text (via Springer)
Conference Proceeding eBook -
12
Trends in functional programming : 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised selected papers /
Published 2015Subjects: Full Text (via Springer)
Conference Proceeding eBook -
13
Trends in functional programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
Published 2012Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
14
High performance embedded architectures and compilers third international conference, HiPEAC 2008, Göteborg, Sweden, January 27-29, 2008 : proceedings /
Published 2008Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
15
High performance embedded architectures and compilers 5th international conference, HiPEAC 2010, Pisa, Italy, January 25-27, 2010 : proceedings /
Published 2010Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
16
Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Published 2014Subjects: Full Text (via Springer)
Conference Proceeding eBook -
17
Languages and compilers for parallel computing 22nd international workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, revised selected papers /
Published 2010Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
18
Languages and compilers for parallel computing 19th international workshop, LCPC 2006, New Orleans, LA, USA, November 2-4, 2006 : revised papers /
Published 2007Subjects: Full Text (via Springer)
Electronic Conference Proceeding eBook -
19
Mathematics of program construction 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings /
Published 2012Subjects: “…Computer programming Mathematics Congresses.…”
Full Text (via Springer)
Electronic Conference Proceeding eBook -
20
Trends in functional programming : 17th International Conference, TFP 2016, College Park, MD, USA, June 8-10, 2016, Revised selected papers /
Published 2019Subjects: Full Text (via Springer)
Conference Proceeding eBook