Jump to main content

yr 〜
yr

Search results 12

Formal methods for components and objects : 7th international symposium, FMCO 2008 : Sophia Antipolis, France, October 21-23, 2008 : revised lectures. : 5th Grids@Work event : Oct 2008, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 5751. State-of-the-Art Survey)

Formal methods for components and objects : 7th international symposium, FMCO 2008 : Sophia Antipolis, France, October 21-23, 2008 : revised lectures. : 5th Grids@Work event : Oct 2008, Sophia Antipolis, France. (Lecture Notes in Computer Science ; 5751. State-of-the-Art Survey)
Paper図書
Springerc2009.<M17-10-1643>
National Diet Library
  • Author HeadingEuropean Research Consortium for Informatics and Mathematics. Boer, Frank S. de. Bonsangue...

Unconventional programming paradigms : international workshop UPP 2004 : Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers. : Sep 2004, Le Mont Saint Michel, France. (Lecture Notes in Computer Science ; 3566. Hot Topics)

Unconventional programming paradigms : international workshop UPP 2004 : Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers. : Sep 2004, Le Mont Saint Michel, France. (Lecture Notes in Computer Science ; 3566. Hot Topics)
Paper図書
Springerc2005.<M17-06-991>
National Diet Library
  • Author HeadingEuropean Research Consortium for Informatics and Mathematics. Banâtre, Jean-Pierre. Intern...

Recent advances in constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint [i.e. Constraint] Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers

Recent advances in constraints : 11th Annual ERCIM International Workshop on Constraint Solving and Contraint [i.e. Constraint] Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 : revised selected and invited papers
Paper図書
Francisco Azevedo ... [et al.] (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingCSCLP European Research Consortium for Informatics and Mathematics Azevedo, Francisco

Recent advances in Constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers

Recent advances in Constraints : joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005 : revised selected and invited papers
Paper図書
Brahim Hnich ... [et al.] (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingCSCLP European Research Consortium for Informatics and Mathematics International Workshop on Con...

Recent advances in constraints : joint ERCIM/CoLognet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers

Recent advances in constraints : joint ERCIM/CoLognet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
Paper図書
Boi Faltings ... [et al.] (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...ic Programming European Research Consortium for Informatics and Mathematics Faltings, Boi

Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers

Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
Paper図書
Barry O'Sullivan (ed.)Springerc2003
Other Libraries in Japan
  • Author Heading...ic Programming European Research Consortium for Informatics and Mathematics O'Sullivan, Barry

Research and advanced technology for digital libraries -- : Research and advanced technology for digital libraries : European conference : 3rd : Sep 1999, Paris, France. (Lecture Notes in Computer Science ; 1696)

Research and advanced technology for digital libraries -- : Research and advanced technology for digital libraries : European conference : 3rd : Sep 1999, Paris, France. (Lecture Notes in Computer Science ; 1696)
Paper図書
Springer1999.<M17-01-0614>
National Diet Library
  • Author Heading...ontrol (INRIA) European Research Consortium for Informatics and Mathematics (ERCIM) French National Libra...

New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers

New trends in constraints : joint ERCIM/Compulog Net Workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers
Paper図書
Krzysztof R. Apt ... [et al.]Springerc2000
Other Libraries in Japan
  • Author HeadingApt, Krzysztof R. European Research Consortium for Informatics and Mathematics Compulog-Net

Proceedings : IEEE joint International Conference on Requirements Engineering, 9-13 September 2002, Essen, Germany : case : microfiche

Proceedings : IEEE joint International Conference on Requirements Engineering, 9-13 September 2002, Essen, Germany : case : microfiche
Paper図書
corporate sponsors by IEEE Computer Society Technical Council on Software Engineering (TCSE)..[et al.] ; cooperating societies, ACM Sigsoft...[et al.] ; supporters, ERCIM...[et al.]IEEE Computer Societyc2000
Other Libraries in Japan
  • Author Heading...ng ACM Sigsoft European Research Consortium for Informatics and Mathematics

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings : gw : us

CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, the Netherlands, August 26-29, 1991 : proceedings : gw : us
Paper図書
J.C.M. Baeten, J.F. Groote, (eds.)Springer-Verlagc1991
Other Libraries in Japan
  • Note (General)...and ERCIM, the European Research Consortium for Informatics and Mathematics Includes bibliographical refe...
  • Author Heading... van Amsterdam European Research Consortium for Informatics and Mathematics

New trends in constraints : joint ERCIM Compulog Net workshop, Paphos, Cyprus, October 1999 : Oct 1999, Paphos, Cyprus. (Lecture Notes in Computer Science ; 1865)

New trends in constraints : joint ERCIM Compulog Net workshop, Paphos, Cyprus, October 1999 : Oct 1999, Paphos, Cyprus. (Lecture Notes in Computer Science ; 1865)
Paper図書
<M17-01-1117>
National Diet Library
  • Author HeadingEuropean Research Consortium for Informatics and Mathematics. Compulog Net.

ERCIM news

ERCIM news
Paper雑誌雑誌タイトル
European Research Consortium for Informatics and Mathematics
Other Libraries in Japan
  • Alternative TitleEuropean Research Consortium for Informatics and Mathematics news
  • Alternative TitleEuropean Research Consortium for Informatics and Mathematics news
  • Author HeadingEuropean Research Consortium for Informatics and Mathematics
  •  
  •  
  •  
  •  
  •  
    •  

Reached to the end of result.

RSS