Your search returned 74 results. Subscribe to this search

|
51. 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).
52. 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).
53. Congrès Model checking software [Texte imprimé] : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : proceedings / Dragan Bošnački, Stefan Leue [eds.]Publication : Berlin, Heidelberg, New York : Springer, cop. 2002Description : X-257 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
54. Congrès Model checking software [ [Texte imprimé]] : 19th international workshop, SPIN 2012 Oxford, UK, July 23-24, 2012 : proceedings ; Alastair Donaldson, David Parker (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2012Description : 1 vol. (X-261 p.) : fig., graph., tabl. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[OXF 12] (1).
55.  Monographies, textes Optimal interprocedural program optimization : a new framwork and its application / Jens KnoopPublication : New York : Springer, 1998Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[KNO] (1).
56. Congrès Partial Evaluation International Seminar, Dagstuhl Castle, Germany, February 1996 : selected papers / O. Danvy, R. Glück, P. Thiemann (eds.)Publication : Berlin, New York : Springer, 1996Description : p. cm.Availability: Copies available for reference: Centre de recherche en informatique[EM AI CI200-2052] (1).
57.  Monographies, textes Program Analysis and Compilation, Theory and Practice [] : Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday / Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.)Publication : Berlin, Heidelberg, New York [etc.] : Springer, 2007Description : X-361 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[REP] (1).
58. Congrès Static analysis [ [Texte imprimé]] : 15th International symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings ; María Alpuente, Germán Vidal (Eds.)Publication : Berlin, New York : Springer, 2008Description : 1 vol. (X-377 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[VAL 08] (1).
59. 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).
60. 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).
61. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.)Publication : New York, heidelberg : Springer, cop. 2002Description : 1 vol. (XIII-482 p.) ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[GRE 02] (1).
62. Congrès Tools and algorithms for the construction and analysis of systems [Texte imprimé] : 9th international conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.)Publication : Berlin, New York : Springer, cop. 2003Description : XVI-604 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[WAR 03] (1).
63. Congrès VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 proceedings / D. Bjørner, C.A.R. Hoare, H. Langmaack (eds.)Publication : Berlin, New York : Springer-Verlag, c1990Description : xvii, 579 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[EM AI CI6954] (1).
64.  Monographies, textes Verification [] : theory and practice : essays dedicaced to Zohar Manna on the occasion of his 64th birthday / Nachum Dershowitz (ed.)Publication : Berlin, Heidelberg, New York : Springer, cop.2003Description : XV-782 p. : couv. ill. en coul., 1 portr. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[DER] (1).
65. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds)Publication : Berlin, New York : Springer, cop. 2004Description : XI-324 p. ; 24 cmAvailability: Copies available for loan: Centre de recherche en informatique[VEN 04] (1).
66. Congrès Verification, model checking, and abstract interpretation [Texte imprimé] : 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005 : Proceedings / Radhia Cousot (Ed.)Publication : Berlin, Heidelberg : Springer, cop. 2005Description : XI-481 p. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[PAR 05] (1).
67. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 12th international conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings ; Ranjit Jhala, David Schmidt (eds.)Publication : Berlin, Heidelberg : Springer, cop. 2011Description : 1 vol. (XI-418 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[AUS 11] (1).
68.  Monographies, textes Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings ; Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni (Eds.)Publication : Heidelberg, Dordrecht, London, New York : Springer, cop. 2013Description : 1 vol. (XI-556 p.) ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[ROM 13] (1).
69. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 : proceedings ; Neil D. Jones, Markus Müller-Olm (eds.)Publication : Berlin : Springer, cop. 2009Description : 1 vol. (XI-381 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[SAV 09] (1).
70. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings / Viktor Kuncak, Andrey Rybalchenko (eds.)Publication : Berlin : Springer, cop. 2012Description : 1 vol. (XI-461 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[PHI 12] (1).
71. Congrès Verification, model checking, and abstract interpretation [ [Texte imprimé]] : 15th international conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings ; Kenneth L. McMillan, Xavier Rival (eds.)Publication : Berlin : Springer, cop. 2014Description : 1 vol. (XVII-491 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[DIE 14] (1).
72. Congrès Verification, Model Checking, and Abstract Interpretation [ [Texte imprimé]] : 11th International Conference, VMCAI 2010, Madrid, Spain, USA, January 17-19, 2010 : proceedings ; Gilles Barthe, Manuel Hermenegildo (eds.)Publication : Berlin : Springer, cop. 2010Description : 1 vol. (X-397 p.) : ill. ; 24 cmAvailability: Copies available for reference: Bib. Fontainebleau[MAD 10] (1).
73. Congrès Verification, Model Checking, and Abstract Interpretation [] : 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : Proceedings / Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen (eds.)Publication : Berlin : Springer, cop. 2015Description : 1 vol. (XVIII-467 p.) : ill. ; 24 cmAvailability: Copies available for reference: Centre de recherche en informatique[MUM 15] (1).
74. 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