語系: 繁體中文
說明(常見問題)
登入

LNCS sublibrary.

Titles

relations and kleene algebra in comp...
relations and kleene algebra in computer science
formal methods and testing
formal methods and testing
advances in cryptology -- eurocrypt 2008
advances in cryptology -- eurocrypt 2008
modeling communication with robots a...
modeling communication with robots and virtual humans
tests and proofs
tests and proofs
discrete geometry for computer imagery
discrete geometry for computer imagery
web services and formal methods
web services and formal methods
passive and active network measurement
passive and active network measurement
topics in cryptology :
topics in cryptology :
advances in grid and pervasive computing
advances in grid and pervasive computing
service availability
service availability
heterogeneous objects modelling and ...
heterogeneous objects modelling and applications
experimental algorithms
experimental algorithms
openmp shared memory parallel progra...
openmp shared memory parallel programming
wired/wireless internet communications
wired/wireless internet communications
advances in artificial intelligence
advances in artificial intelligence
computational intelligence
computational intelligence
integer programming and combinatoria...
integer programming and combinatorial optimization
formal methods for computational sys...
formal methods for computational systems biology
dependability metrics
dependability metrics
algorithmic number theory
algorithmic number theory
computer vision systems
computer vision systems
networking 2008
networking 2008
openmp in a new era of parallelism
openmp in a new era of parallelism
pervasive computing
pervasive computing
formal methods for industrial critic...
formal methods for industrial critical systems
computer science - theory and applic...
computer science - theory and applications
rough sets and knowledge technology
rough sets and knowledge technology
parameterized and exact computation
parameterized and exact computation
information security theory and prac...
information security theory and practices
service-oriented computing
service-oriented computing
managing large-scale service deployment
managing large-scale service deployment
ip operations and management
ip operations and management
algorithms in bioinformatics
algorithms in bioinformatics
transactions on computational science ii
transactions on computational science ii
spatial cognition.
spatial cognition.
challenge of anticipation
challenge of anticipation
diagrammatic representation and infe...
diagrammatic representation and inference
cooperative design, visualization an...
cooperative design, visualization and engineering
advances in data and web management :
advances in data and web management :
advances in information retrieval :
advances in information retrieval :
algorithms for sensor systems :
algorithms for sensor systems :
artificial neural networks in patter...
artificial neural networks in pattern recognition :
camera-based document analysis and r...
camera-based document analysis and recognition :
advances in multimedia modeling :
advances in multimedia modeling :
medical imaging and augmented reality :
medical imaging and augmented reality :
virtual and mixed reality - new trends :
virtual and mixed reality - new trends :
optical supercomputing :
optical supercomputing :
digital-forensics and watermarking :
digital-forensics and watermarking :
virtual reality and augmented reality :
virtual reality and augmented reality :
 
 
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入