Your search returned 45 results. Subscribe to this search

|
1.  Monographies, textes ADA software tools interfaces : proceedings : workshop on..., Bath, July 13-15, 1983 ; ed / by Peter J.L. WallisPublication :Berlin, New York, Tokyo : Springer, 1984Description : 163 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI2691] (1).
2. Congrès Compiler compilers and high speed compilationPublication :Berlin, Heidelberg : Springer, 1989Description : 01 VOL.,248 P. : X RF ; 25 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6428] (1).
3. 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).
4. 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).
5. Congrès Compiler construction [Texte imprimé] : 11th International Conference, CC 2002 held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : Proceedings / R. Nigel Horspool (ed.)Publication :Berlin, New York : Springer, cop. 2002Description : XI-341 p. : fig. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
6. Congrès Compiler construction [Texte imprimé] : 12th international conference, CC 2003 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Görel Hedin (ed.)Publication :Berlin, New York : Springer, cop. 2003Description : XII-334 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
7. Congrès Compiler construction [Texte imprimé] : 15th international conference, CC 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006 : proceedings / Alan Mycroft, Andreas Zeller (eds.)Publication :Berlin, New York : Springer, cop. 2006Description : 1 vol. (XIII-276 p.) : ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VIE 06] (1).
8. Congrès Compiler Construction [ [Texte imprimé]] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 4-8, 2005. Proceedings ; edited by: Rastislav BodikPublication :Berlin, Heidelberg : Springer-Verlag GmbH. : Springer e-books, 2005Description : 1 vol. (XI-305 p.) : Ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[EDI 05] (1).
9. Congrès Compiler construction [] : 23th international conference, CC 2014, held as part of the joint european conferences on Theory and practice of software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings / Albert Cohen (ed.)Publication :Berlin : Springer, cop. 2014Description : 1 vol. (XII-249 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[GRE 14] (1).
10. Computer aided verification [] : 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings / P. Madhusudan, Sanjit A. Seshia (eds.)Publication :Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (XVI-789 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[BER 12] (1).
11. Articles Effective enhancement of loop versioning in Java [[Texte imprimé]] / {N. Lipsky, S. Fedoseev, V. Mikheev, V. Sukharev}Publication :Berlin, Heidelberg : Springer, 2002Description : P. 293-306 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
12. Congrès Euro-Par 2002 parallel processing [Texte imprimé] : 8th International Euro-Par Conference, Paderborn, Germany, August 27-30, 2002 : proceedings / Burkhard Monien, Rainer Feldmann (eds.)Publication :Berlin, Heidelberg, New York : Springer, cop. 2002Description : XXIX-993 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAD 02] (1).
13. Congrès EURO-PAR '95--parallel processing [Texte imprimé] : First International EURO PAR Conference, Stockholm, Sweden, August 1995 : proceedings / Seif Haridi, Khayri Ali, Peter Magnusson, edsPublication :Berlin, New York : Springer, c1995Description : 1 vol. (xv, 734 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2130] (1).
14. Congrès Euro-Par'98 parallel processing [Texte imprimé] : 4th International Euro-Par Conference, Southampton, UK, September 1998 : proceedings / David Pritchard, Jeff Reeve (eds.)Publication :New York : Springer, 1998Description : 1 vol. (XXII-1157 p.) ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[SOU 98] (1).
15. Congrès Euro-Par'99 parallel processing [Texte imprimé] : 5th International Euro-Par Conference, Toulouse, France, August 31-September 3, 1999 : proceedings / Patrick Amestoy, Phililppe Berger, Michel Daydé ... [et al.] (eds.)Publication :New York : Springer, cop. 1999Description : 1 vol. (XXXII-1503 p.) : ill. ; 24 cm.Availability: Copies available for loan: Centre de recherche en informatique[TOU 99] (3).
16.  Monographies, textes Exploitation of fine-grain parallelism / Günther BöcklePublication :Berlin, New York : Springer-Verlag, c1995Description : ix, 188 p. ; 24 cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1724] (2).
17. Articles Influence of loop optimizations on energy consumption of multi-bank memory systems [[Texte imprimé]] / {I. Kolcu, M. Kandemir, I. Kadayif}Publication :Berlin, Heidelberg : Springer, 2002Description : P. 276-292 : Ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
18.  Monographies, textes Interacting code motion transformations : their impact and their complexity / Oliver RüthingPublication :Berlin, New York : Springer, c1998Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[RUT] (1).
19. Congrès International Joint Conference on theory and practice of Software Development, 2, Advances in distributed computing (ADC) and Colloquium paradigms for software developmentPublication :Berlin, Heidelberg : Springer, 1991Description : 01 VOL.,500 P. : X RF ; 24 CMAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-643] (1).
20.  Monographies, textes International symposium on programming : proceedings : 5th colloquium, Turin, April 6-8, 1982 ; ed / by M. Denazi-Ciancaglini and U. MontanariPublication :Berlin, New York : Springer, 1982Description : VI-406 p. ; 25 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI1549] (1).
21. Congrès Language, compilers, and run-time systems for scalable computers : 4th International Workshop, LCR'98, Pittsburgh, PA, USA, May 1998 : selected papers / David O'Hallaron, (ed.)Publication :New York : Springer, 1998Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[PIT 98] (1).
22. Congrès Languages and compilers for high performance computing : 17th International workshop, LCPC 2004 / editors Rudolf Eigenmann, Zhiyuan Li, Samuel P. MidkiffPublication :Springer, Berlin, Heidelberg, 2005Description : IX-486 p. : Ill. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WES 04] (1).
23. Congrès Languages and compilers for parallel computing : fourth international workshop, Santa Clara, California, USA, August 7-9, 1991 : proceedings / U. Banerjee ... [et al.], edsPublication :Berlin, New York : Springer-Verlag, c1992Description : ix, 419 p. : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1033] (1).
24. Congrès Languages and compilers for parallel computing : 5th international workshop, New Haven, Connecticut, USA, August 3-5, 1992 : proceedings / U. Banerjee ... [et al.], (eds)Publication :Berlin, New York : Springer-Ver;ag, 1993Description : x, 576 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1430] (1).
25. Congrès Languages and compilers for parallel computingPublication :Berlin, Heidelberg : Springer, 1994Description : 655 P., X RF ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-1491] (1).

Powered by Koha