Lecture Notes in Computer Science 3839 Types for Proofs and Programs International Workshop
TYPES 2004 Jouy-en-Josas2222 年出版0 页ISBN：
Lecture Notes in Computer Science 1018 Network and Operating Systems Support for Digital Audio and V
1995 年出版360 页ISBN：3540606475
WEALTH MANGEMENT IN THE NEW ECONOMY:INVESTOR STRATEGIES FOR GROWING PROTECTING AND TRANSFERRING WEAL
NORBERT M.MINDEL2009 年出版320 页ISBN：9780470482698
THE NEW KNOWLEDGE ECONOMY IN EUROPE:A STRATEGY FOR INTERNATIONAL COMPETITIVENESS AND SOCIAL COHESION
MARIA JOAO RODRIGUES2001 年出版337 页ISBN：1840647191
PROCESS ALGEBRA FOR PARALLEL AND DISTRIBUTED PROCESSING
2009 年出版415 页ISBN：9781420064865
Partitioning and Scheduling Parallel Programs for Multiprocessors
1989 年出版201 页ISBN：0262691302
Lecture Notes in Computer Science 4747 Advanced Parallel Processing Technologies 7th International S
APPT 20072007 年出版767 页ISBN：9783540768364
Lecture Notes in Computer Scoence 3756 Advanced Parallel Processing Technologies 6th International W
APPT 20052005 年出版526 页ISBN：3540296395
Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
