Your search returned 10 results. Subscribe to this search

|
1. Congrès Compiler construction : 6th International Conference, CC'96, Linköping, Sweden, April, 1996 : proceedings / Tibor Gyimóthy, edPublication :Berlin, New York : Springer, c1996Description : X-355 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1801] (1).
2. Congrès Compiler construction : 10th International Conference, CC 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy,April 2-6, 2001 : proceedings / Reinhard Wilhelm (ed.)Publication :New York : Springer, 2001Description : xi, 370 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GEN 01] (1).
3. Congrès Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, (CA), USA, July 18-24, 2015 : Proceedings, Part I ; Daniel Kroening, Corina S. Păsăreanu (eds.)Publication :Berlin, Heidelberg : Springer, cop. 2015Description : 1 vol. (XXIII-477 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[SAN FRA 15] (1).
4. Congrès Computer Aided Verification : 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014. Vienna, Austria, July 18-22, 2014 : Proceedings ; Armin Biere, Roderick Bloem (eds.)Publication :Berlin, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-877 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[VIE 14] (1).
5. Congrès Languages and Compilers for Parallel Computing : 27th International Workshop, LCPC 2014, Hillsboro, OR,USA, September 15-17, 2014 : Revised Selected Papers / James Brodman, Peng Tu (eds.)Publication :Berlin : Springer, cop. 2015Description : 1 vol. (IX-398 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[HIL 14] (1).
6. Congrès Languages and Compilers for Parallel Computing : 28th International Workshop, LCPC 2015, Raleigh, NC,USA, September 9-11, 2015 : Revised Selected Papers / Xipeng Shen, Frank Mueller, James Tuck (eds.)Publication :Berlin : Springer, cop. 2016Description : 1 vol. (X-319 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[RAL 15] (1).
7. Congrès Languages and Compilers for Parallel Computing : 26th International Workshop, LCPC 2013, San Jose, CA, USA, September 25-27, 2013 : Revised Selected Papers / Călin Cașcaval, Pablo Montesinos (eds.)Publication :Berlin : Springer, cop. 2014Description : 1 vol. (XXIV-356 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[San JOS 13] (1).
8. Congrès Static Analysis [] : 21th International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014 : Proceedings / Markus Müller-Olm, Helmut Seidl (eds.)Publication :Cham, Heidelberg : Springer, cop. 2014Description : 1 vol. (XVIII-337 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUN 14] (1).
9. Congrès Static Analysis : 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : Proceedings ; Sandrine Blazy, Thomas Jensenl (eds.)Publication :Berlin, Heidelberg : Springer-Verlag, cop. 2015Description : 1 vol. (331 p.) : fig., tabl. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[Saint-MAL 15] (1).
10. Congrès Verification, Model Checking, and Abstract Interpretation : 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA. January 17-19, 2016 : Proceedings ; Barbara Jobstmann, K. Rustan M. Leino (eds.)Publication :Berlin : Springer, cop. 2016Description : 1 vol. (XIII-558 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[St. PET 16] (1).

Powered by Koha