Jump to main content

yr 〜
yr

Search results 27

Coordination models and languages : 12th international conference, COORDINATION 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : DisCoTec : IFIP federated event on distributed computing techniques : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6116)

Coordination models and languages : 12th international conference, COORDINATION 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : DisCoTec : IFIP federated event on distributed computing techniques : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6116)
Paper図書
Springerc2010.<M17-10-3358>
National Diet Library
  • Author HeadingCentrum voor Wiskunde en Informatica. Clarke, Dave. Gul, Āg̲ẖā. COO...

Network control and optimization : third Euro-NF conference, NET-COOP 2009 : Eindhoven, the Netherlands, November 23-25, 2009 : proceedings. : international conference on network control and optimization : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5894)

Network control and optimization : third Euro-NF conference, NET-COOP 2009 : Eindhoven, the Netherlands, November 23-25, 2009 : proceedings. : international conference on network control and optimization : Nov 2009, Eindhoven, the Netherlands. (Lecture Notes in Computer Science ; 5894)
Paper図書
Springerc2009.<M17-10-1653>
National Diet Library
  • Author Heading...sing, Jacques. Centrum voor Wiskunde en Informatica. NET-COOP 2009 (2009 : Eindhov...

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010 : Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. : 12th formal methods for open object-based distributed systems : 30th formal techniques for networked and distributed systems : federated conference event DisCoTec (distributed computing techniques) : Jun 2010, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 6117)
Paper図書
Springerc2010.<M17-10-3359>
National Diet Library
  • Author HeadingCentrum voor Wiskunde en Informatica. Hatcliff, John, 1966- Zucca, ...

Theory of cryptography : 4th theory of cryptography conference, TCC 2007 : Amsterdam, the Netherlands, February 21-24, 2007 : proceedings. : Feb 2007, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 4392)

Theory of cryptography : 4th theory of cryptography conference, TCC 2007 : Amsterdam, the Netherlands, February 21-24, 2007 : proceedings. : Feb 2007, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 4392)
Paper図書
Springerc2007.<M17-08-101>
National Diet Library
  • Author HeadingCentrum voor Wiskunde en Informatica. Vadhan, Salil. Universiteit L...

Interactive TV: a shared experience : 5th European conference, EuroITV 2007 : Amsterdam, the Netherlands, May 24-25, 2007 : proceedings. : European conference on interactive television : May 2007, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 4471)

Interactive TV: a shared experience : 5th European conference, EuroITV 2007 : Amsterdam, the Netherlands, May 24-25, 2007 : proceedings. : European conference on interactive television : May 2007, Amsterdam, the Netherlands. (Lecture Notes in Computer Science ; 4471)
Paper図書
Springerc2007.<M17-07-1680>
National Diet Library
  • Author HeadingCentrum voor Wiskunde en Informatica. Cesar, Pablo. Chorianopoulos,...

Intelligent CAD systems I : theoretical and methodological aspects : 1st Eurographics workshop : Apr 1987, Noordwijkerhout, Netherlands.

Intelligent CAD systems I : theoretical and methodological aspects : 1st Eurographics workshop : Apr 1987, Noordwijkerhout, Netherlands.
Paper図書
Springer-Verlagc1987.<M17-88-0574>
National Diet Library
  • Author HeadingCentrum voor Wiskunde en Informatica.

Characterizations of Banach spaces not containing l¹ / D. van Dulst. (CWI tract ; 59)

Characterizations of Banach spaces not containing l¹ / D. van Dulst. (CWI tract ; 59)
Paper図書
Centrum voor Wiskunde en Informaticac1989.<MA152-A79>
National Diet Library

Analysis of means in some non-standard situations / J.B. Dijkstra. (CWI tract ; 47)

Analysis of means in some non-standard situations / J.B. Dijkstra. (CWI tract ; 47)
Paper図書
Centrum voor Wiskunde en Informaticac1988.<MA211-A92>
National Diet Library

Multigrid solution of the steady Euler equations / S.P. Spekreijse. (CWI tract ; 46)

Multigrid solution of the steady Euler equations / S.P. Spekreijse. (CWI tract ; 46)
Paper図書
Centrum voor Wiskunde en Informaticac1988.<MA117-A83>
National Diet Library

Quarterly

Quarterly
Paper雑誌雑誌タイトル
Centrum voor Wiskunde en InformaticaCentrum voor Wiskunde en Informatica[1988]
Other Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

ANALYSIS OF THE INCOMPRESSIBLE NAVIER-STOKES EQUATIONS WITH A QUASI FREE-SURFACE CONDITION. MODELLING, ANALYSIS AND SIMULATION (PB ; PB2001-103195; MAS-R9922)

ANALYSIS OF THE INCOMPRESSIBLE NAVIER-STOKES EQUATIONS WITH A QUASI FREE-SURFACE CONDITION. MODELLING, ANALYSIS AND SIMULATION (PB ; PB2001-103195; MAS-R9922)
Paper図書
E. H. BRUMMELEN (CENTRUM VOOR WISKUNDE EN INFORMATICA, AMSTERDAM (NETHERLANDS))1999.
Other Libraries in Japan

SEQUENTIAL BUCKLING: A VARIATIONAL ANALYSIS. MODELING, ANALYSIS AND SIMULATION (PB ; PB2001-103182; MAS-R9920)

SEQUENTIAL BUCKLING: A VARIATIONAL ANALYSIS. MODELING, ANALYSIS AND SIMULATION (PB ; PB2001-103182; MAS-R9920)
Paper図書
M. A. PELETIER (CENTRUM VOOR WISKUNDE EN INFORMATICA, AMSTERDAM (NETHERLANDS))1999.
Other Libraries in Japan

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)

CONCUR '90 : theories of concurrency--unification and extension, Amsterdam, the Netherlands, August 27-30, 1990 : proceedings / J.C.M. Baeten, J.W. Klop, eds. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1990.<M15-A7513>
National Diet Library

Stochastic geometry models in image analysis and spatial statistics

Stochastic geometry models in image analysis and spatial statistics
Paper図書
M.N.M. van LieshoutCentrum voor Wiskunde en Informaticac1995
Other Libraries in Japan

CWI quarterly

CWI quarterly
Paper雑誌雑誌タイトル
Centrum voor Wiskunde en Informatica1989-
Other Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

CWI newsletter

CWI newsletter
Paper雑誌雑誌タイトル
Centrum voor Wiskunde en Informatica, Centre for Mathematics and Computer ScienceCentre for Mathematics and Computer Science, Centrum voor Wiskunde en Informatica1983-1987
Other Libraries in Japan
  •  
  •  
  •  
  •  
  •  
    •  

Advances in object-oriented graphics 1 : Germany 1 : U.S.

Advances in object-oriented graphics 1 : Germany 1 : U.S.
Paper図書
E.H. Blake, P. Wisskirchen (eds.)Springer-Verlagc1991
Other Libraries in Japan

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

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings : gw : us

CONCUR '90 : theories of concurrency: unification and extension : Amsterdam, the Netherlands, August 27-30, 1990 : proceedings : gw : us
Paper図書
J.C.M. Baeten, J.W. Klop (eds.)Springer-Verlagc1990
Other Libraries in Japan

Intelligent CAD systems II : implementational issues : us : gw

Intelligent CAD systems II : implementational issues : us : gw
Paper図書
V. Akman, P.J.W. ten Hagen, P.J. Veerkamp (eds.)Springer-Verlagc1989
Other Libraries in Japan
RSS