Sciweavers

14379 search results - page 307 / 2876
» is 2000
Sort
View
TACAS
2000
Springer
109views Algorithms» more  TACAS 2000»
15 years 11 months ago
An Extensible Type System for Component-Based Design
Yuhong Xiong, Edward A. Lee
TES
2000
Springer
15 years 11 months ago
Designing components for e-services
Barbara Pernici, Massimo Mecella
UMC
2000
15 years 11 months ago
Inaccessibility in Decision Procedures
Asaki Saiton, Kunihiko Kaneko
UMC
2000
15 years 11 months ago
Solving NP-Complete Problems Using P Systems with Active Membranes
Claudio Zandron, Claudio Ferretti, Giancarlo Mauri