年 〜
年

検索結果 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)
紙図書
Springerc2009.<M17-10-1643>
国立国会図書館
  • 著者標目European 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)
紙図書
Springerc2005.<M17-06-991>
国立国会図書館
  • 著者標目European 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
紙図書
Francisco Azevedo ... [et al.] (eds.)Springerc2007
全国の図書館
  • 著者標目CSCLP 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
紙図書
Brahim Hnich ... [et al.] (eds.)Springerc2006
全国の図書館
  • 著者標目CSCLP 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
紙図書
Boi Faltings ... [et al.] (eds.)Springerc2005
全国の図書館
  • 著者標目...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
紙図書
Barry O'Sullivan (ed.)Springerc2003
全国の図書館
  • 著者標目...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)
紙図書
Springer1999.<M17-01-0614>
国立国会図書館
  • 著者標目...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
紙図書
Krzysztof R. Apt ... [et al.]Springerc2000
全国の図書館
  • 著者標目Apt, 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
紙図書
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
全国の図書館
  • 著者標目...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
紙図書
J.C.M. Baeten, J.F. Groote, (eds.)Springer-Verlagc1991
全国の図書館
  • 一般注記...and ERCIM, the European Research Consortium for Informatics and Mathematics Includes bibliographical refe...
  • 著者標目... 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)
紙図書
<M17-01-1117>
国立国会図書館
  • 著者標目European Research Consortium for Informatics and Mathematics. Compulog Net.

ERCIM news

ERCIM news
紙雑誌
European Research Consortium for Informatics and Mathematics
全国の図書館
  • 並列タイトル等（連結）European Research Consortium for Informatics and Mathematics news
  • 並列タイトル等European Research Consortium for Informatics and Mathematics news
  • 著者標目European Research Consortium for Informatics and Mathematics
  •  
  •  
  •  
  •  
  •  
    •  

検索結果は以上です。