Language:
English
繁體中文
Help
Login
LNCS sublibrary.
Titles
service-oriented computing
service-oriented computing
algorithms in bioinformatics
algorithms in bioinformatics
making globally distributed software...
making globally distributed software development a success story
managing large-scale service deployment
managing large-scale service deployment
pervasive computing
pervasive computing
tools and algorithms for the constru...
tools and algorithms for the construction and analysis of systems
integer programming and combinatoria...
integer programming and combinatorial optimization
camera-based document analysis and r...
camera-based document analysis and recognition :
medical imaging and augmented reality :
medical imaging and augmented reality :
ip operations and management
ip operations and management
approximation, randomization, and co...
approximation, randomization, and combinatorial optimization :
evolutionary computation, machine le...
evolutionary computation, machine learning and data mining in bioinformatics :
networking 2008
networking 2008
computer science - theory and applic...
computer science - theory and applications
rough sets and knowledge technology
rough sets and knowledge technology
virtual and mixed reality - new trends :
virtual and mixed reality - new trends :
advances in cryptology -- eurocrypt 2008
advances in cryptology -- eurocrypt 2008
advances in multilingual and multimo...
advances in multilingual and multimodal information retrieval
advances in information retrieval :
advances in information retrieval :
advances in artificial intelligence
advances in artificial intelligence
computer vision systems
computer vision systems
modeling communication with robots a...
modeling communication with robots and virtual humans
advances in grid and pervasive computing
advances in grid and pervasive computing
service availability
service availability
formal methods for industrial critic...
formal methods for industrial critical systems
algorithmic number theory
algorithmic number theory
transactions on computational science ii
transactions on computational science ii
challenge of anticipation
challenge of anticipation
heterogeneous objects modelling and ...
heterogeneous objects modelling and applications
digital-forensics and watermarking :
digital-forensics and watermarking :
spatial cognition.
spatial cognition.
tests and proofs
tests and proofs
openmp shared memory parallel progra...
openmp shared memory parallel programming
topics in cryptology :
topics in cryptology :
integration of ai and or techniques ...
integration of ai and or techniques in constraint programming for combinatorial optimization problems
passive and active network measurement
passive and active network measurement
cooperative design, visualization an...
cooperative design, visualization and engineering
diagrammatic representation and infe...
diagrammatic representation and inference
web services and formal methods
web services and formal methods
parameterized and exact computation
parameterized and exact computation
computational intelligence
computational intelligence
openmp in a new era of parallelism
openmp in a new era of parallelism
wired/wireless internet communications
wired/wireless internet communications
linked open data - creating knowledg...
linked open data - creating knowledge out of interlinked data :
optical supercomputing :
optical supercomputing :
dependability metrics
dependability metrics
theory and applications of satisfiab...
theory and applications of satisfiability testing--sat 2008
formal methods for computational sys...
formal methods for computational systems biology
advances in multimedia modeling :
advances in multimedia modeling :
relations and kleene algebra in comp...
relations and kleene algebra in computer science
algorithms for sensor systems :
algorithms for sensor systems :
virtual reality and augmented reality :
virtual reality and augmented reality :
advances in data and web management :
advances in data and web management :
artificial neural networks in patter...
artificial neural networks in pattern recognition :
experimental algorithms
experimental algorithms
information security theory and prac...
information security theory and practices
formal methods and testing
formal methods and testing
discrete geometry for computer imagery
discrete geometry for computer imagery
Processing
...
Change password
Login