LNCS

/

25 Years of Model Checking(LNCS5000, Springer, 2008)(ISBN 9783540698494)(600dpi)(T)(C)(O)(237s)_CsLn_.djvu

A Concurrent Pascal Compiler for Minicomputers(LNCS0050, Springer, 1977)(ISBN 3540082409)(T)(O)(125s).djvu

A Connotational Theory of Program Structure(LNCS0273, Springer, 1987)(ISBN 3540182535)(T)(O)(190s)_CsLn_.djvu

A Decade of Concurrency(LNCS0803, Springer, 1994)(ISBN 3540580433)(T)(O)(693s)_CsLn_.djvu

A Methodology for Uncertainty in Knowledge-Based Systems(LNCS0419, Springer, 1990)(ISBN 3540523367)(T)(O)(134s)_CsLn_.djvu

A Relational Theory of Computing(LNCS0082, Springer, 1980)(ISBN 3540099875)(T)(152s).djvu

A Study in String Processing Languages(LNCS0205, Springer, 1985)(ISBN 3540160418)(T)(O)(173s).djvu

Abstract State Machines 2004.. Advances in Theory and Practice, 11 conf., ASM 2004(LNCS3052, Springer, 2004)(ISBN 3540220941)(251s).pdf

Abstract State Machines, Advances in Theory and Practice, 10 conf., ASM 2003(LNCS2589, Springer, 2003)(ISBN 3540006249).pdf

Abstract State Machines, B and Z, 1 conf., ABZ 2008(LNCS5238, Springer, 2008)(ISBN 9783540876021)(392s).pdf

Abstract State Machines, Theory and Applications, ASM 2000(LNCS1912, Springer, 2000)(ISBN 3540679596).pdf

Abstraction, Reformulation and Approximation 4 conf.(LNCS1864, Springer, 2000)(ISBN 3540678395).pdf

Abstraction, Reformulation and Approximation 6 conf.(LNCS3607, Springer, 2005)(ISBN 3540278729).pdf

Abstraction, Reformulation, and Approximation, 7 conf., SARA 2007(LNCS4612, Springer, 2007)(ISBN 9783540735793)(427s)_CsLn_.pdf

Accessing Multilingual Information Repositories, 6 conf., CLEF 2005(LNCS4022, Springer, 2006)(ISBN 354045697X).pdf

Active Conceptual Modeling of Learning 1 conf.(LNCS4512, Springer, 2008)(ISBN 9783540775027)(243s).pdf

Active Networks, IFIP TC6 6 conf., IWAN 2004(LNCS3912, Springer, 2007)(ISBN 9783540714996)(224s)_CsLn_.pdf

Active Visual Inference of Surface Shape(LNCS1016, Springer, 1996)(ISBN 3540606424)(T)(O)(203s)_CsLn_.djvu

Active, Real-Time, and Temporal Database Systems, 2 conf., ARTDB-97(LNCS1553, Springer, 1998)(ISBN 3540656499)(244s)_CsLn_.pdf

Ad-hoc, Mobile and Wireless Networks, 7 conf., ADHOC-NOW 2008(LNCS5198, Springer, 2008)(ISBN 9783540852087)(510s).pdf

Ad-Hoc, Mobile, and Wireless Networks.. 3 conf., ADHOC-NOW 2004(LNCS3158, Springer, 2004)(ISBN 3540225439)(351s)_CsLn_.pdf

Ada 2005 Reference Manual.. Language and Standard Libraries(LNCS4348, Springer, 2006)(ISBN 9783540693352)(755s)_CsLn_.pdf

Ada 95 Quality and Style(LNCS1344, Springer, 1997)(ISBN 3540638237)(304s).pdf

Ada 95 Rationale(LNCS1247, Springer, 1997)(ISBN 3540631437)(473s).pdf

Ada 95 Reference Manual, Language and Standard Libraries(LNCS1246, Springer, 1997)(ISBN 3540631445)(562s).pdf

Adaptive Agents and Multi-Agent Systems II.. Adaptation and Multi-Agent Learning(LNCS3394, Springer, 2005)(ISBN 3540252606)(320s).pdf

Adaptive Agents and Multi-Agent Systems III.. Adaptation and Multi-Agent Learning, 5, 6, 7 conf., ALAMAS 2005-2007(LNCS4865, Springer, 2008)(ISBN 9783540779476)(271s).pdf

Adaptive Agents and Multi-Agent Systems.. Adaptation and Multi-Agent Learning(LNCS2636, Springer, 2003)(ISBN 3540400680)(334s).pdf

Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 1(LNCS4431, Springer, 2007)(ISBN 9783540715894)(867s).pdf

Adaptive and Natural Computing Algorithms, 8 conf., ICANNGA 2007, part 2(LNCS4432, Springer, 2007)(ISBN 9783540715900)(777s).pdf

Adaptive Hypermedia and Adaptive Web-Based Systems, 3 conf., AH 2004(LNCS3137, Springer, 2004)(ISBN 3540228950)(457s)_CsLn_.pdf

Adaptive Hypermedia and Adaptive Web-Based Systems, 5 conf., AH 2008(LNCS5149, Springer, 2008)(ISBN 9783540709848)(454s).pdf

Adaptive Multimedia Retrieval.. 1 conf., AMR 2003(LNCS3094, Springer, 2004)(ISBN 3540221638)(241s).pdf

Adaptive Multimedia Retrieval.. User, Context, and Feedback, 4 conf., AMR 2006(LNCS4398, Springer, 2007)(ISBN 9783540715443)(278s)_CsLn_.pdf

Adaptive Multimedial Retrieval.. Retrieval, User, and Semantics, 5 conf., AMR 2007(LNCS4918, Springer, 2008)(ISBN 9783540798590)(275s).pdf

Advanced Database Systems(LNCS0759, Springer, 1993)(ISBN 3540575073)(T)(448s)_CsLn_.djvu

Advanced Distributed Systems 3 conf., ISSADS 2004(LNCS3061, Springer, 2004)(ISBN 3540221727)(297s).pdf

Advanced Encryption Standard, 4 conf., AES 2004(LNCS3373, Springer, 2005)(ISBN 3540265570)(178s).pdf

Advanced Functional Programming 1 conf.(LNCS0925, Springer, 1995)(ISBN 3540594515)(T)(O)(338s).djvu

Advanced Functional Programming 3 conf., AFP 1998 (LNCS1608, Springer, 1999)(ISBN 3540662413)(O)(301s).pdf

Advanced Functional Programming 4 conf., AFP 2002 (LNCS2638, Springer, 2003)(ISBN 3540401326)(O)(222s).pdf

Advanced Functional Programming 5 conf., AFP 2004 (LNCS3622, Springer, 2005)(ISBN 3540285407)(O)(365s).pdf

Advanced Functional Programming 6 conf., AFP 2008 (LNCS5832, Springer, 2009)(ISBN 9783642046513)(O)(344s)_CsLn_.pdf

Advanced Information Systems Engineering, 11 conf., CAiSE'99(LNCS1626, Springer, 1999)(ISBN 3540661573)(489s).pdf

Advanced Information Systems Engineering, 16 conf., CAiSE 2004(LNCS3084, Springer, 2004)(ISBN 3540221514)(613s).pdf

Advanced Information Systems Engineering, 20 conf., CAiSE 2008(LNCS5074, Springer, 2008)(ISBN 9783540695332)(603s).pdf

Advanced Intelligent Computing Theories and Applications, 3 conf., ICIC 2007(LNCS4682, Springer, 2007)(ISBN 9783540742012)(1396s)_CsLn_.pdf

Advanced Intelligent Computing Theories and Applications, 4 conf., ICIC 2008(LNCS5226, Springer, 2008)(ISBN 9783540874409)(1287s)_CsLn_.pdf

Advanced Lectures on Machine Learning 2003(LNCS3176, Springer, 2004)(ISBN 3540231226)(248s).pdf

Advanced Parallel Processing Technologies.. 8 conf., APPT 2009 (LNCS5737, Springer, 2009)(ISBN 3642036430)(O)(489s)_CsLn_.pdf

Advanced Studies in Biometrics 2003(LNCS3161, Springer, 2005)(ISBN 3540262040)(165s).pdf

Advances in Agent Communication, on Agent Communication Languages, ACL 2003(LNCS2922, Springer, 2004)(ISBN 3540207694)(412s).pdf

Advances in Artificial Intelligence - SBIA 2004, 17 conf.(LNCS3171, Springer, 2004)(ISBN 3540232370)(567s).pdf

Advances in Artificial Intelligence, 17 conf., Canadian AI 2004(LNCS3060, Springer, 2004)(ISBN 3540220046)(599s).pdf

Advances in Artificial Intelligence, 20 conf., Canadian AI 2007(LNCS4509, Springer, 2007)(ISBN 9783540726647)(562s)_CsLn_.pdf

Advances in Artificial Intelligence, 21 conf., Canadian AI 2008(LNCS5032, Springer, 2008)(ISBN 9783540688211)(390s).pdf

Advances in Artificial Intelligence, 22 conf., Canadian AI 2009(LNCS5549, Springer, 2009)(ISBN 9783642018176)(308s)_CsLn_.pdf

Advances in Bioinformatics and Computational Biology, 3 conf., BSB 2008(LNCS5167, Springer, 2008)(ISBN 9783540855569)(190s)_CsLn_.pdf

Advances in Biometrics, ICB 2006(LNCS3832, Springer, 2006)(ISBN 3540311114)(814s).pdf

Advances in Brain, Vision, and Artificial Intelligence, 2 conf., BVAI 2007(LNCS4729, Springer, 2007)(ISBN 9783540755548)(631s)_CsLn_.pdf

Advances in Computer Science - ASIAN 2006.. Secure Software and Related Issues, 11 conf.(LNCS4435, Springer, 2008)(ISBN 9783540775041)(391s).pdf

Advances in Computer Science - ASIAN 2007.. Computer and Network Security, 12 conf.(LNCS4846, Springer, 2007)(ISBN 9783540769279)(322s).pdf

Advances in Computer Systems Architecture, 10 conf., ACSAC 2005(LNCS3740, Springer, 2005)(ISBN 3540296433)(849s).pdf

Advances in Computer Systems Architecture, 11 conf., ACSAC 2006(LNCS4186, Springer, 2006)(ISBN 3540400567)(617s).pdf

Advances in Computer Systems Architecture, 12 conf., ACSAC 2007(LNCS4697, Springer, 2007)(ISBN 9783540743088)(410s).pdf

Advances in Computer Systems Architecture, 8 conf., ACSAC 2003(LNCS2823, Springer, 2003)(ISBN 354020122X)(419s).pdf

Advances in Computer Systems Architecture, 9 conf., ACSAC 2004(LNCS3189, Springer, 2004)(ISBN 3540230033)(625s).pdf

Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8 conf.(LNCS2896, Springer, 2003)(ISBN 3540206329)(311s).pdf

Advances in Conceptual Modeling - Foundations and Applications, ER 2007(LNCS4802, Springer, 2007)(ISBN 9783540762911)(440s)_CsLn_.pdf

Advances in Conceptual Modeling.. ER '99(LNCS1727, Springer, 1999)(ISBN 3540666532).pdf

Advances in Cryptology - ASIACRYPT #98(LNCS1514, Springer, 1998)(ISBN 3540651098)(434s).pdf

Advances in Cryptology - ASIACRYPT #99(LNCS1716, Springer, 1999)(ISBN 3540666664)(413s).pdf

Advances in Cryptology - ASIACRYPT 2001, 7 conf.(LNCS2248, Springer, 2001)(ISBN 3540429875)(601s).pdf

Advances in Cryptology - ASIACRYPT 2003, 9 conf.(LNCS2894, Springer, 2003)(ISBN 3540205926)(542s).pdf

Advances in Cryptology - ASIACRYPT 2006, 12 conf.(LNCS4284, Springer, 2006)(ISBN 3540494758)(480s).pdf

Advances in Cryptology - ASIACRYPT 2007, 13 conf.(LNCS4833, Springer, 2007)(ISBN 9783540768999)(593s).pdf

Advances in Cryptology - ASIACRYPT 2008, 14 conf.(LNCS5350, Springer, 2008)(ISBN 9783540892540).pdf

Advances in Cryptology - CRYPTO #85(LNCS0218, Springer, 1986)(ISBN 3540164634)(T)(542s).djvu

Advances in Cryptology - CRYPTO #89, 9 conf.(LNCS0435, Springer, 1990)(ISBN 3540973176)(T)(O)(627s).djvu

Advances in Cryptology - CRYPTO #97, 17 conf.(LNCS1294, Springer, 1997)(ISBN 3540633847)(T)(548s).djvu

Advances in Cryptology - CRYPTO #98, 18 conf.(LNCS1462, Springer, 1998)(ISBN 3540648925)(540s).pdf

Advances in Cryptology - CRYPTO #99, 19 conf.(LNCS1666, Springer, 1999)(ISBN 3540663479)(652s).pdf

Advances in Cryptology - CRYPTO 2000, 20 conf.(LNCS1880, Springer, 2000)(ISBN 3540679073)(555s).pdf

Advances in Cryptology - CRYPTO 2001, 21 conf.(LNCS2139, Springer, 2001)(ISBN 3540424563)(610s).pdf

Advances in Cryptology - CRYPTO 2002, 22 conf.(LNCS2442, Springer, 2002)(ISBN 354044050X)(642s).pdf

Advances in Cryptology - CRYPTO 2003, 23 conf.(LNCS2729, Springer, 2003)(ISBN 3540406743)(643s).pdf

Advances in Cryptology - CRYPTO 2004, 24 conf.(LNCS3152, Springer, 2004)(ISBN 3540226680)(595s).pdf

Advances in Cryptology - CRYPTO 2005, 25 conf.(LNCS3621, Springer, 2005)(ISBN 3540281142)(577s).pdf

Advances in Cryptology - CRYPTO 2006, 26 conf.(LNCS4117, Springer, 2006)(ISBN 3540374329)(630s)_CsLn_.pdf

Advances in Cryptology - CRYPTO 2007, 27 conf.(LNCS4622, Springer, 2007)(ISBN 9783540741428)(642s)_CsLn_.pdf

Advances in Cryptology - CRYPTO 2008, 28 conf.(LNCS5157, Springer, 2008)(ISBN 9783540851738)(604s)_CsLn_.pdf

Advances in Cryptology - EUROCRYPT #88(LNCS0330, Springer, 1988)(ISBN 3540502513)(T)(436s).djvu

Advances in Cryptology - EUROCRYPT #99(LNCS1592, Springer, 1999)(ISBN 3540658890)(486s).pdf

Advances in Cryptology - EUROCRYPT 2000(LNCS1807, Springer, 2000)(ISBN 3540675175)(620s).pdf

Advances in Cryptology - EUROCRYPT 2001(LNCS2045, Springer, 2001)(ISBN 3540420703)(556s).pdf

Advances in Cryptology - EUROCRYPT 2002(LNCS2332, Springer, 2002)(ISBN 3540435530)(557s).pdf

Advances in Cryptology - EUROCRYPT 2003(LNCS2656, Springer, 2003)(ISBN 3540140395)(662s).pdf

Advances in Cryptology - EUROCRYPT 2004(LNCS3027, Springer, 2004)(ISBN 3540219358)(640s).pdf

Advances in Cryptology - EUROCRYPT 2005, 24 conf.(LNCS3494, Springer, 2005)(ISBN 3540259104)(588s).pdf

Advances in Cryptology - EUROCRYPT 2006, 25 conf.(LNCS4004, Springer, 2006)(ISBN 3540345469)(623s).pdf

Advances in Cryptology - EUROCRYPT 2007, 26 conf.(LNCS4515, Springer, 2007)(ISBN 9783540725398)(602s).pdf

Advances in Cryptology - EUROCRYPT 2009, 28 conf.(LNCS5479, Springer, 2009)(ISBN 9783642010002)(622s).pdf

Advances in Cryptology AUSCRYPT #90 (LNCS0453, Springer, 1990)(ISBN 3540530002)(T)(O)(462s).djvu

Advances in Cryptology AUSCRYPT #92 (LNCS0718, Springer, 1993)(ISBN 3540572201)(T)(O)(549s).djvu

Advances in Cryptology CRYPTO #84 (LNCS0196, Springer, 1985)(ISBN 3540156585)(T)(O)(482s).djvu

Advances in Cryptology CRYPTO #86 (LNCS0263, Springer, 1987)(ISBN 3540180478)(T)(O)(477s).djvu

Advances in Cryptology CRYPTO #87 (LNCS0293, Springer, 1988)(ISBN 3540187960)(T)(O)(457s).djvu

Advances in Cryptology CRYPTO #88 8 conf.(LNCS0403, Springer, 1990)(ISBN 3540971963)(T)(O)(587s).djvu

Advances in Cryptology CRYPTO #90 10 conf.(LNCS0537, Springer, 1991)(ISBN 3540545085)(T)(O)(617s).djvu

Advances in Cryptology CRYPTO #91 11 conf.(LNCS0576, Springer, 1992)(ISBN 3540551883)(T)(O)(493s).djvu

Advances in Cryptology CRYPTO #92 12 conf.(LNCS0740, Springer, 1993)(ISBN 3540573403)(T)(601s).djvu

Advances in Cryptology CRYPTO #93 13 conf.(LNCS0773, Springer, 1994)(ISBN 3540577661)(T)(501s).djvu

Advances in Cryptology CRYPTO #94 14 conf.(LNCS0839, Springer, 1994)(ISBN 3540583335)(T)(O)(449s).djvu

Advances in Cryptology CRYPTO #95 15 conf.(LNCS0963, Springer, 1995)(ISBN 3540602216)(T)(O)(477s).djvu

Advances in Cryptology CRYPTO #96 16 conf.(LNCS1109, Springer, 1996)(ISBN 3540615121)(T)(O)(427s).djvu

Advances in Cryptology EUROCRYPT #85 (LNCS0219, Springer, 1986)(ISBN 3540164685)(T)(O)(279s).djvu

Advances in Cryptology EUROCRYPT #87 (LNCS0304, Springer, 1988)(ISBN 354019102X)(T)(O)(289s).djvu

Advances in Cryptology EUROCRYPT #89 (LNCS0434, Springer, 1990)(ISBN 3540534334)(T)(O)(709s).djvu

Advances in Cryptology EUROCRYPT #90 (LNCS0473, Springer, 1991)(ISBN 354053587X)(T)(508s).djvu

Advances in Cryptology EUROCRYPT #91 (LNCS0547, Springer, 1991)(ISBN 3540546200)(T)(O)(566s).djvu

Advances in Cryptology EUROCRYPT #92 (LNCS0658, Springer, 1993)(ISBN 3540564136)(T)(O)(501s).djvu

Advances in Cryptology EUROCRYPT #93 (LNCS0765, Springer, 1994)(ISBN 3540576002)(T)(O)(475s).djvu

Advances in Cryptology EUROCRYPT #94 (LNCS0950, Springer, 1995)(ISBN 3540601767)(T)(O)(483s).djvu

Advances in Cryptology EUROCRYPT #95 (LNCS0921, Springer, 1995)(ISBN 3540594094)(T)(O)(427s).djvu

Advances in Cryptology EUROCRYPT #96 (LNCS1070, Springer, 1996)(ISBN 354061186X)(T)(O)(428s).djvu

Advances in Cryptology EUROCRYPT #97 (LNCS1233, Springer, 1997)(ISBN 3540629750)(T)(O)(518s).djvu

Advances in Cryptology EUROCRYPT #98 (LNCS1403, Springer, 1998)(ISBN 3540645187)(T)(O)(618s).djvu

Advances in Data and Web Management, Joint 9 conf., APWeb 2007(LNCS4505, Springer, 2007)(ISBN 9783540724834)(916s).pdf

Advances in Data Mining(LNCS2394, Springer, 2002)(ISBN 3540441166)(114s).pdf

Advances in Data Mining, Applications in Image Mining, Medicine and Biotechnology, 4 conf., ICDM 2004(LNCS3275, Springer, 2004)(ISBN 3540240543)(183s).pdf

Advances in Data Mining.. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8 conf., ICDM 2008(LNCS5077, Springer, 2008)(ISBN 9783540707172)(437s).pdf

Advances in Databases and Information Systems, 12 conf., ADBIS 2008(LNCS5207, Springer, 2008)(ISBN 9783540857129)(331s)_CsLn_.pdf

Advances in Databases, 15 conf., BNCOD 15(LNCS1271, Springer, 1997)(ISBN 3540632638)(T)(244s)_CsLn_.djvu

Advances in Exception Handling Techniques 2000(LNCS2022, Springer, 2001)(ISBN 3540419527)(301s).pdf

Advances in Geometric Modeling and Processing, 5 conf., GMP 2008(LNCS4975, Springer, 2008)(ISBN 9783540792451)(611s).pdf

Advances in Grid and Pervasive Computing, 2 conf., GPC 2007(LNCS4459, Springer, 2007)(ISBN 9783540723592)(774s)_CsLn_.pdf

Advances in Grid and Pervasive Computing, 3 conf., GPC 2008(LNCS5036, Springer, 2008)(ISBN 9783540680819)(531s).pdf

Advances in Grid and Pervasive Computing, 4 conf., GPC 2009(LNCS5529, Springer, 2009)(ISBN 9783642016707)(496s)_CsLn_.pdf

Advances in Information and Computer Security, 1 conf., IWSEC 2006(LNCS4266, Springer, 2006)(ISBN 3540476997)(450s).pdf

Advances in Information and Computer Security, 2 conf., IWSEC 2007(LNCS4752, Springer, 2007)(ISBN 9783540756507)(471s)_CsLn_.pdf

Advances in Information and Computer Security, 3 conf., IWSEC 2008(LNCS5312, Springer, 2008)(ISBN 9783540895978)(308s).pdf

Advances in Information Retrieval, 26 conf., ECIR 2004(LNCS2997, Springer, 2004)(ISBN 3540213821)(436s).pdf

Advances in Information Retrieval, 29 conf., ECIR 2007(LNCS4425, Springer, 2007)(ISBN 9783540714941)(777s)_CsLn_.pdf

Advances in Information Retrieval, 30 conf., ECIR 2008(LNCS4956, Springer, 2008)(ISBN 9783540786450)(737s).pdf

Advances in Knowledge Discovery and Data Mining, 11 conf., PAKDD 2007(LNCS4426, Springer, 2007)(ISBN 9783540717003)(1184s).pdf

Advances in Learning Software Organizations, 6 conf., LSO 2004(LNCS3096, Springer, 2004)(ISBN 3540221921)(187s).pdf

Advances in Multilingual and Multimodal Information Retrieval, 8 conf., CLEF 2007(LNCS5152, Springer, 2008)(ISBN 9783540857594)(941s).pdf

Advances in Multimedia Information Processing - PCM 2007, 8 conf.(LNCS4810, Springer, 2007)(ISBN 9783540772545)(852s)_CsLn_.pdf

Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 1(LNCS4351, Springer, 2007)(ISBN 9783540694212)(814s).pdf

Advances in Multimedia Modeling, 13 conf., MMM 2007, Part 2(LNCS4352, Springer, 2007)(ISBN 9783540694281)(759s).pdf

Advances in Multimedia Modeling, 14 conf., MMM 2008(LNCS4903, Springer, 2008)(ISBN 9783540774075)(546s).pdf

Advances in Natural Computation, 1 conf., ICNC 2005(LNCS3610, Springer, 2005)(ISBN 3540283234)(1359s)_CsLn_.pdf

Advances in Natural Computation, 2 conf., ICNC 2006(LNCS4221, Springer, 2006)(ISBN 3540459014)(1029s).pdf

Advances in Natural Computation, 2 conf., ICNC 2006(LNCS4222, Springer, 2006)(ISBN 3540459073)(1037s).pdf

Advances in Natural Language Processing, 5 conf., FinTAL 2006(LNCS4139, Springer, 2006)(ISBN 3540373349)(783s)_CsLn_.pdf

Advances in Neural Networks - ISNN 2008, 5 conf., ISNN 2008(LNCS5264, Springer, 2008)(ISBN 9783540877332)(875s).pdf

Advances in Nonlinear Speech Processing, on Non-Linear Speech Processing, NOLISP 2007(LNCS4885, Springer, 2007)(ISBN 9783540773467)(292s)_CsLn_.pdf

Advances in Petri Nets 1983 and 1984 (LNCS0188, Springer, 1985)(ISBN 3540152040)(T)(O)(474s).djvu

Advances in Petri Nets 1985 6 conf.(LNCS0222, Springer, 1986)(ISBN 3540164804)(T)(O)(503s).djvu

Advances in Petri Nets 1986, Part 1 (LNCS0254, Springer, 1987)(ISBN 3540179054)(T)(O)(485s).djvu

Advances in Petri Nets 1986, Part 2 (LNCS0255, Springer, 1987)(ISBN 3540179062)(T)(O)(525s).djvu

Advances in Petri Nets 1987 7 conf.(LNCS0266, Springer, 1987)(ISBN 3540180869)(T)(O)(457s).djvu

Advances in Petri Nets 1988 8 conf.(LNCS0340, Springer, 1988)(ISBN 3540505806)(T)(O)(444s).djvu

Advances in Petri Nets 1989 9 conf.(LNCS0424, Springer, 1990)(ISBN 3540524940)(T)(O)(529s).djvu

Advances in Petri Nets 1990 10 conf.(LNCS0483, Springer, 1991)(ISBN 3540538631)(T)(O)(520s).djvu

Advances in Petri Nets 1991 11 conf.(LNCS0524, Springer, 1991)(ISBN 3540543988)(T)(O)(580s).djvu

Advances in Petri Nets 1992(LNCS0609, Springer, 1992)(ISBN 3540556109)(T)(O)(479s).djvu

Advances in Petri Nets 1993 12 conf.(LNCS0674, Springer, 1993)(ISBN 3540566899)(T)(O)(464s).djvu

Advances in Rule Interchange and Applications, RuleML 2007(LNCS4824, Springer, 2007)(ISBN 9783540759744)(252s)_CsLn_.pdf

Advances in Smalltalk, 14 conf., ISC 2006(LNCS4406, Springer, 2007)(ISBN 9783540718352)(164s)_CsLn_.pdf

Advances in Visual Computing, 3 conf., ISVC 2007, part 1 (LNCS4841, Springer, 2007)(ISBN 9783540768579)(855s)_CsLn_.pdf

Advances in Visual Computing, 3 conf., ISVC 2007, part 2 (LNCS4842, Springer, 2007)(ISBN 9783540768555)(850s)_CsLn_.pdf

Advances in Visual Information Systems, 9 conf., VISUAL 2007(LNCS4781, Springer, 2007)(ISBN 9783540764137)(594s)_CsLn_.pdf

Advances in Web Based Learning - ICWL 2007, 6 conf.(LNCS4823, Springer, 2008)(ISBN 9783540781387)(666s).pdf

Advances in Web Based Learning - ICWL 2008, 7 conf.(LNCS5145, Springer, 2008)(ISBN 9783540850328)(565s)_CsLn_.pdf

Advances in Web Mining and Web Usage Analysis, 9 conf., WebKDD 2007(LNCS5439, Springer, 2009)(ISBN 9783642005275)(163s).pdf

Advances in Web Semantics I.. Ontologies, Web Services(LNCS4891, Springer, 2009)(ISBN 3540897836)(O)(404s)_CsLn_.pdf

Advances in Web-Based Learning - ICWL 2004(LNCS3143, Springer, 2004)(ISBN 3540225420)(474s)_CsLn_.pdf

Affect and Emotion in Human-Computer Interactions(LNCS4868, Springer, 2008)(ISBN 9783540850984)(249s).pdf

Affective Computing and Intelligent Interaction, 2 conf., ACII 2007(LNCS4738, Springer, 2007)(ISBN 9783540748885)(795s)_CsLn_.pdf

Affective Interactions(LNCS1814, Springer, 2000)(ISBN 3540415203)(243s)_CsLn_.pdf

Agent and Multi-Agent Systems.. Technologies and Applications, 1 conf., KES-AMSTA 2007(LNCS4496, Springer, 2007)(ISBN 9783540728290)(1065s)_CsLn_.pdf

Agent and Multi-Agent Systems.. Technologies and Applications, 2 conf., KES-AMSTA 2008(LNCS4953, Springer, 2008)(ISBN 9783540785811)(927s).pdf

Agent Communication 2 conf., AC 2005 and AC 2006(LNCS3859, Springer, 2006)(ISBN 3540681426)(313s)_CsLn_.pdf

Agent Computing and Multi-Agent Systems, 10 conf., PRIMA 2007(LNCS5044, Springer, 2009)(ISBN 9783642016387)(493s)_CsLn_.pdf

Agent Mediated Electronic Commerce 2 conf., IJCAI 1999(LNCS1788, Springer, 2000)(ISBN 3540677739)(249s)_CsLn_.pdf

Agent Mediated Knowledge Management AMKM 2003(LNCS2926, Springer, 2004)(ISBN 3540208682)(450s)_CsLn_.pdf

Agent Technologies, Infrastructures, Tools, and Applications for E-Services, NODe 2002(LNCS2592, Springer, 2003)(ISBN 3540007423)(383s).pdf

Agent-Mediated Electronic Commerce.. Automated Negotiation and Strategy Design, AAMAS 2006(LNCS4452, Springer, 2007)(ISBN 3540725016)(255s)_CsLn_.pdf

Agent-Oriented Information Systems, 5 conf., AOIS 2003(LNCS3030, Springer, 2004)(ISBN 3540221271)(225s)_CsLn_.pdf

Agent-Oriented Software Engineering 8 conf., AOSE 2007(LNCS4951, Springer, 2008)(ISBN 9783540794875)(236s).pdf

Agent-Oriented Software Engineering II, 2 conf., AOSE 2001(LNCS2222, Springer, 2002)(ISBN 3540432825)(327s).pdf

Agent-Oriented Software Engineering VI, 6 conf., AOSE 2005(LNCS3950, Springer, 2006)(ISBN 3540340971)(261s).pdf

Agent-Oriented Software Engineering VII, 7 conf., AOSE 2006(LNCS4405, Springer, 2007)(ISBN 9783540709442)(235s).pdf

Agent-Oriented Software Engineering, 1 conf., AOSE 2000(LNCS1957, Springer, 2001)(ISBN 3540415947)(321s).pdf

Agents and Peer-to-Peer Computing, 1 conf., AP2PC 2002(LNCS2530, Springer, 2003)(ISBN 3540405380)(181s).pdf

Agents and Peer-to-Peer Computing, 2 conf., AP2PC 2003(LNCS2872, Springer, 2004)(ISBN 3540240535)(228s).pdf

Agents and Peer-to-Peer Computing, 3 conf., AP2PC 2004(LNCS3601, Springer, 2005)(ISBN 3540297553)(257s).pdf

Agents and Peer-to-Peer Computing, 4 conf., AP2PC 2005(LNCS4118, Springer, 2006)(ISBN 3540490256)(184s).pdf

Agile Processes in Software Engineering and Extreme Programming, 8 conf., XP 2007(LNCS4536, Springer, 2007)(ISBN 9783540731009)(289s)_CsLn_.pdf

AI 2007.. Advances in Artificial Intelligence, 20 conf.(LNCS4830, Springer, 2007)(ISBN 9783540769262)(859s)_CsLn_.pdf

Algebra and Coalgebra in Computer Science.. 1 conf., CALCO 2005(LNCS3629, Springer, 2005)(ISBN 3540286209)(465s).pdf

Algebraic Algorithms and Error-Correcting Codes 3 conf., AAECC-3 (LNCS0229, Springer, 1986)(ISBN 3540167765)(T)(424s).djvu

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction(LNCS2297, Springer, 2002)(ISBN 3540436138)(400s).pdf

Algebraic and Logic Programming (LNCS0343, Springer, 1988)(ISBN 3540506675)(T)(O)(275s).djvu

Algebraic and Logic Programming (LNCS0463, Springer, 1990)(ISBN 3540531629)(T)(O)(393s).djvu

Algebraic and Logic Programming (LNCS0632, Springer, 1992)(ISBN 354055873X)(T)(O)(467s).djvu

Algebraic and Logic Programming 4 conf., ALP#94 (LNCS0850, Springer, 1994)(ISBN 3540584315)(T)(O)(313s).djvu

Algebraic and Logic Programming 5 conf., ALP#96 (LNCS1139, Springer, 1996)(ISBN 3540617353)(T)(O)(354s).djvu

Algebraic and Logic Programming 6 conf., ALP #97 - HOA #97(LNCS1298, Springer, 1997)(ISBN 3540634592)(T)(294s).djvu

Algebraic and Proof-theoretic Aspects of Non-classical Logics(LNCS4460, Springer, 2007)(ISBN 9783540759386)(317s)_CsLn_.pdf

Algebraic Biology, 3 conf., AB 2008(LNCS5147, Springer, 2008)(ISBN 9783540851004)(241s)_CsLn_.pdf

Algebraic Coding 1 French-Israeli conf.(LNCS0781, Springer, 1993)(ISBN 3540578439)(T)(O)(337s).djvu

Algebraic Coding 1 French-Soviet conf.(LNCS0573, Springer, 1992)(ISBN 3540551301)(T)(O)(168s).djvu

Algebraic Frames for the Perception-Action Cycle, 2 conf., AFPAC 2000(LNCS1888, Springer, 2000)(ISBN 3540410139)(358s)_CsLn_.pdf

Algebraic Methodology and Software Technology, 12 conf., AMAST 2008(LNCS5140, Springer, 2008)(ISBN 9783540799795)(441s)_CsLn_.pdf

Algebraic Methods II.. Theory, Tools and Applications, 2 conf., 1989(LNCS0490, Springer, 1991)(ISBN 3540539123)(T)(430s)_CsLn_.djvu

Algorithm Engineering and Experimentation, 3 conf., ALENEX 2001(LNCS2153, Springer, 2001)(ISBN 3540425608)(238s).pdf

Algorithm Engineering and Experimentation, 4 conf., ALENEX 2002(LNCS2409, Springer, 2002)(ISBN 3540439773)(214s).pdf

Algorithm Engineering and Experimentation, ALENEX #99(LNCS1619, Springer, 1999)(ISBN 3540662278)(359s).pdf

Algorithm Engineering, 3 conf., WAE #99(LNCS1668, Springer, 1999)(ISBN 3540664270)(368s).pdf

Algorithm Engineering, 4 conf., WAE 2000(LNCS1982, Springer, 2001)(ISBN 3540425128)(250s).pdf

Algorithm Engineering, 5 conf., WAE 2001 Aarhus(LNCS2141, Springer, 2001)(ISBN 3540425004)(197s).pdf

Algorithm Theory - SWAT #92 (LNCS0621, Springer, 1992)(ISBN 3540557067)(T)(O)(443s).djvu

Algorithm Theory - SWAT #94 4 conf.(LNCS0824, Springer, 1994)(ISBN 3540582185)(T)(O)(392s).djvu

Algorithm Theory - SWAT #96 5 conf.(LNCS1097, Springer, 1996)(ISBN 3540614222)(T)(O)(461s).djvu

Algorithm Theory - SWAT #98, 6 conf.(LNCS1432, Springer, 1998)(ISBN 3540646825)(355s).pdf

Algorithm Theory - SWAT 2000, 7 conf.(LNCS1851, Springer, 2000)(ISBN 3540676902)(577s).pdf

Algorithm Theory - SWAT 2004, 9 conf.(LNCS3111, Springer, 2004)(ISBN 3540223398)(516s).pdf

Algorithm Theory - SWAT 2006, 10 conf.(LNCS4059, Springer, 2006)(ISBN 354035753X)(446s).pdf

Algorithm Theory - SWAT 2008, 11 conf.(LNCS5124, Springer, 2008)(ISBN 9783540699002)(448s).pdf

Algorithmic Aspects in Information and Management, 3 conf., AAIM 2007(LNCS4508, Springer, 2007)(ISBN 9783540728689)(438s).pdf

Algorithmic Aspects of Wireless Sensor Networks 1 conf., ALGOSENSORS 2004(LNCS3121, Springer, 2004)(ISBN 3540224769)(212s)_CsLn_.pdf

Algorithmic Aspects of Wireless Sensor Networks, 3 conf., ALGOSENSORS 2007(LNCS4837, Springer, 2008)(ISBN 9783540778707)(173s).pdf

Algorithmic Game Theory, 1 conf., SAGT 2008(LNCS4997, Springer, 2008)(ISBN 9783540793083)(372s).pdf

Algorithmic Learning Theory, 10 conf., ALT #99(LNCS1720, Springer, 1999)(ISBN 3540667482)(374s).pdf

Algorithmic Learning Theory, 11 conf., ALT 2000(LNCS1968, Springer, 2000)(ISBN 3540412379)(350s).pdf

Algorithmic Learning Theory, 12 conf., ALT 2001(LNCS2225, Springer, 2001)(ISBN 3540428755)(387s).pdf

Algorithmic Learning Theory, 13 conf., ALT 2002(LNCS2533, Springer, 2002)(ISBN 3540001700)(424s).pdf

Algorithmic Learning Theory, 14 conf., ALT 2003(LNCS2842, Springer, 2003)(ISBN 3540202919)(313s)_CsLn_.pdf

Algorithmic Learning Theory, 16 conf., ALT 2005(LNCS3734, Springer, 2005)(ISBN 354029242X)(501s).pdf

Algorithmic Learning Theory, 17 conf., ALT 2006(LNCS4264, Springer, 2006)(ISBN 3540466495)(404s).pdf

Algorithmic Learning Theory, 18 conf., ALT 2007(LNCS4754, Springer, 2007)(ISBN 9783540752240)(414s)_CsLn_.pdf

Algorithmic Learning Theory, 19 conf., ALT 2008(LNCS5254, Springer, 2008)(ISBN 9783540879862)(479s).pdf

Algorithmic Learning Theory, 3 conf., ALT #92 (LNCS0743, Springer, 1993)(ISBN 3540573690)(T)(O)(270s).djvu

Algorithmic Learning Theory, 4 conf., AII #94 (LNCS0872, Springer, 1994)(ISBN 3540585206)(T)(O)(588s).djvu

Algorithmic Learning Theory, 4 conf., ALT #93 (LNCS0744, Springer, 1993)(ISBN 3540573704)(T)(O)(433s).djvu

Algorithmic Learning Theory, 6 conf., ALT #95 (LNCS0997, Springer, 1995)(ISBN 3540604545)(T)(O)(335s).djvu

Algorithmic Learning Theory, 7 conf., ALT #96 (LNCS1160, Springer, 1996)(ISBN 3540618635)(T)(O)(354s).djvu

Algorithmic Learning Theory, 8 conf., ALT #97 (LNCS1316, Springer, 1997)(ISBN 3540635777)(T)(O)(472s).djvu

Algorithmic Learning Theory, 9 conf., ALT #98(LNCS1501, Springer, 1998)(ISBN 354065013X)(449s).pdf

Algorithmic Number Theory 1 Symposium (LNCS0877, Springer, 1994)(ISBN 3540586911)(T)(332s)_MTc_.djvu

Algorithmic Number Theory 2 Symposium (LNCS1122, Springer, 1996)(ISBN 3540615814)(T)(398s)_MTc_.djvu

Algorithmic Number Theory 3 Symposium (LNCS1423, Springer, 1998)(ISBN 3540646574)(649s)_MTc_.pdf

Algorithmic Number Theory 4 Symposium (LNCS1838, Springer, 2000)(ISBN 3540676953)(609s)_MTc_.pdf

Algorithmic Number Theory 5 Symposium (LNCS2369, Springer, 2002)(ISBN 3540438637)(525s)_MTc_.pdf

Algorithmic Number Theory 7 Symposium (LNCS4076, Springer, 2006)(ISBN 3540360751)(608s)_MTc_.pdf

Algorithmic Number Theory 8 Symposium (LNCS5011, Springer, 2008)(ISBN 3540794557)(462s)_MTc_.pdf

Algorithms - ESA #93 (LNCS0726, Springer, 1993)(ISBN 3540572732)(T)(O)(428s).djvu

Algorithms - ESA #94 (LNCS0855, Springer, 1994)(ISBN 354058434X)(T)(O)(517s).djvu

Algorithms - ESA #95 (LNCS0979, Springer, 1995)(ISBN 3540603131)(T)(O)(610s).djvu

Algorithms - ESA #96 (LNCS1136, Springer, 1996)(ISBN 3540616802)(T)(O)(577s).djvu

Algorithms - ESA #97 5 conf.(LNCS1284, Springer, 1997)(ISBN 3540633979)(T)(O)(526s).djvu

Algorithms - ESA #98, 6 conf.(LNCS1461, Springer, 1998)(ISBN 3540648488)(527s).pdf

Algorithms - ESA #99, 7 conf.(LNCS1643, Springer, 1999)(ISBN 3540662510)(563s).pdf

Algorithms - ESA 2000, 8 conf.(LNCS1879, Springer, 2000)(ISBN 354041004X)(462s).pdf

Algorithms - ESA 2001, 9 conf.(LNCS2161, Springer, 2001)(ISBN 3540424938)(549s).pdf

Algorithms - ESA 2002, 10 conf.(LNCS2461, Springer, 2002)(ISBN 3540441808)(940s).pdf

Algorithms - ESA 2003, 11 conf.(LNCS2832, Springer, 2003)(ISBN 3540200649)(809s).pdf

Algorithms - ESA 2004, 12 conf.(LNCS3221, Springer, 2004)(ISBN 3540230254)(T)(C)(O)(857s).djvu

Algorithms - ESA 2005, 13 conf.(LNCS3669, Springer, 2005)(ISBN 3540291180)(917s).pdf

Algorithms - ESA 2006, 14 conf.(LNCS4168, Springer, 2006)(ISBN 3540388753)(858s).pdf

Algorithms - ESA 2007, 15 conf.(LNCS4698, Springer, 2007)(ISBN 9783540755197)(781s)_CsLn_.pdf

Algorithms - ESA 2008, 16 conf.(LNCS5193, Springer, 2008)(ISBN 9783540877431)(859s).pdf

Algorithms and Architectures for Parallel Processing, 8 conf., ICA3PP 2008(LNCS5022, Springer, 2008)(ISBN 9783540695004)(330s).pdf

Algorithms and Complexity, 2 conf., CIAC #94 (LNCS0778, Springer, 1994)(ISBN 3540578110)(T)(O)(230s).djvu

Algorithms and Complexity, 3 conf., CIAC #97 (LNCS1203, Springer, 1997)(ISBN 3540625925)(T)(O)(320s).djvu

Algorithms and Complexity, 4 conf., CIAC 2000(LNCS1767, Springer, 2000)(ISBN 3540671595)(324s).pdf

Algorithms and Complexity, 5 conf., CIAC 2003(LNCS2653, Springer, 2003)(ISBN 3540401768)(299s).pdf

Algorithms and Complexity, 6 conf., CIAC 2006(LNCS3998, Springer, 2006)(ISBN 354034375X)(403s).pdf

Algorithms and Computation, 10 conf., ISAAC #99(LNCS1741, Springer, 1999)(ISBN 3540669167)(460s).pdf

Algorithms and Computation, 11 conf., ISAAC 2000(LNCS1969, Springer, 2000)(ISBN 3540412557)(591s).pdf

Algorithms and Computation, 12 conf., ISAAC 2001(LNCS2223, Springer, 2001)(ISBN 3540429859)(799s).pdf

Algorithms and Computation, 13 conf., ISAAC 2002 Vancouver(LNCS2518, Springer, 2002)(ISBN 3540001425)(667s).pdf

Algorithms and Computation, 14 conf., ISAAC 2003(LNCS2906, Springer, 2003)(ISBN 3540206957)(763s).pdf

Algorithms and Computation, 15 conf., ISAAC 2004(LNCS3341, Springer, 2004)(ISBN 3540241310)(957s).pdf

Algorithms and Computation, 16 conf., ISAAC 2005(LNCS3827, Springer, 2005)(ISBN 3540309357)(1198s).pdf

Algorithms and Computation, 18 conf., ISAAC 2007(LNCS4835, Springer, 2007)(ISBN 9783540771180)(944s).pdf

Algorithms and Computation, 19 conf., ISAAC 2008(LNCS5369, Springer, 2008)(ISBN 9783540921813)(961s).pdf

Algorithms and Computation, 3 conf., ISAAC #92 (LNCS0650, Springer, 1992)(ISBN 3540562796)(T)(O)(522s).djvu

Algorithms and Computation, 4 conf., ISAAC #93 (LNCS0762, Springer, 1993)(ISBN 3540575685)(T)(O)(556s).djvu

Algorithms and Computation, 5 conf., ISAAC #94 (LNCS0834, Springer, 1994)(ISBN 3540583254)(T)(O)(701s).djvu

Algorithms and Computation, 7 conf., ISAAC #96 (LNCS1178, Springer, 1996)(ISBN 3540620486)(T)(O)(454s).djvu

Algorithms and Computation, 8 conf., ISAAC #97 (LNCS1350, Springer, 1997)(ISBN 3540638903)(T)(O)(440s).djvu

Algorithms and Computation, 9 conf., ISAAC #98(LNCS1533, Springer, 1998)(ISBN 3540653856)(521s).pdf

Algorithms and Data Structures, 10 conf., WADS 2007(LNCS4619, Springer, 2007)(ISBN 9783540739487)(675s).pdf

Algorithms and Data Structures, 2 conf., WADS #91 (LNCS0519, Springer, 1991)(ISBN 3540543430)(T)(O)(506s).djvu

Algorithms and Data Structures, 3 conf., WADS #93(LNCS0709, Springer, 1993)(ISBN 3540571558)(T)(645s).djvu

Algorithms and Data Structures, 4 conf., WADS #95 (LNCS0955, Springer, 1995)(ISBN 3540602208)(T)(O)(529s).djvu

Algorithms and Data Structures, 5 conf., WADS #97 (LNCS1272, Springer, 1997)(ISBN 3540633073)(T)(O)(483s).djvu

Algorithms and Data Structures, 6 conf., WADS #99(LNCS1663, Springer, 1999)(ISBN 3540662790)(379s).pdf

Algorithms and Data Structures, 7 conf., WADS 2001(LNCS2125, Springer, 2001)(ISBN 3540424237)(495s).pdf

Algorithms and Data Structures, 8 conf., WADS 2003(LNCS2748, Springer, 2003)(ISBN 3540405453)(532s).pdf

Algorithms and Data Structures, 9 conf., WADS 2005(LNCS3608, Springer, 2005)(ISBN 3540281010)(456s).pdf

Algorithms and Data Structures.. 11 conf., WADS 2009 (LNCS5664, Springer, 2009)(ISBN 9783642033667)(O)(588s)_CsLn_.pdf

Algorithms and Models for the Web-Graph, 4 conf., WAW 2006(LNCS4936, Springer, 2008)(ISBN 9783540788072)(174s).pdf

Algorithms and Models for the Web-Graph, 5 conf., WAW 2007(LNCS4863, Springer, 2007)(ISBN 9783540770039)(225s)_CsLn_.pdf

Algorithms and Models for the Web-Graph, 6 conf., WAW 2009(LNCS5427, Springer, 2009)(ISBN 9783540959946)(192s)_CsLn_.pdf

Algorithms and Models for the Web-Graph.. 3 conf., WAW 2004(LNCS3243, Springer, 2004)(ISBN 3540234276)(201s).pdf

Algorithms for Memory Hierarchies, Advanced Lectures 2002(LNCS2625, Springer, 2003)(ISBN 3540008837)(442s).pdf

Algorithms in Bioinformatics, 1 conf., WABI 2001(LNCS2149, Springer, 2001)(ISBN 3540425160)(311s).pdf

Algorithms in Bioinformatics, 2 conf., WABI 2002(LNCS2452, Springer, 2002)(ISBN 3540442111)(543s).pdf

Algorithms in Bioinformatics, 8 conf., WABI 2008(LNCS5251, Springer, 2008)(ISBN 9783540873600)(406s).pdf

Algorithms of Large and Complex Networks (LNCS5515, Springer, 2009)(ISBN 9783642020933)(410s).pdf

Algorithms, International Symposium SIGAL #90 (LNCS0450, Springer, 1990)(ISBN 3540529217)(T)(486s).djvu

All about Maude.. a high-performance logical framework(LNCS4350, Springer, 2007)(ISBN 3540719407)(794s)_CsLn_.pdf

Alt H. (ed.) Computational discrete mathematics. Advanced lectures (LNCS2122, Springer, 2001)(ISBN 3540427759)(179s)_CsDi_.pdf

Ambient Intelligence, AmI 2007(LNCS4794, Springer, 2007)(ISBN 9783540766513)(386s)_CsLn_.pdf

Ambient Intelligence.. 2 conf., EUSAI 2004(LNCS3295, Springer, 2004)(ISBN 3540237216)(405s).pdf

Ammari H. (ed.) Modeling and computations in electromagnetics. Dedicated to J.C. Nedelec (LNCSE0059, Springer, 2008)(ISBN 9783540737773)(240s)_MNs_.pdf

An Extended Entity-Relationship Model - Fundamentals and Pragmatics(LNCS0767, Springer, 1994)(ISBN 3540576487)(T)(146s)_CsLn_.djvu

An Optimized Translation Process and Its Application to ALGOL 68(LNCS0038, Springer, 1976)(ISBN 3540075453)(343s).pdf

Analysis and Modeling of Faces and Gestures, 3 conf., AMFG 2007(LNCS4778, Springer, 2007)(ISBN 9783540756897)(313s)_CsLn_.pdf

Analysis of Drum and Disk Storage Units(LNCS0031, Springer, 1975)(ISBN 3540071865)(T)(292s)_CsLn_.djvu

Analytical and Stochastic Modeling Techniques and Applications, 15 conf., ASMTA 2008(LNCS5055, Springer, 2008)(ISBN 9783540689805)(332s).pdf

Anaphora.. Analysis, Algorithms and Applications, 6 conf., DAARC 2007(LNCS4410, Springer, 2007)(ISBN 9783540714118)(201s).pdf

Annotating, Extracting and Reasoning about Time and Events 2005(LNCS4795, Springer, 2007)(ISBN 9783540759881)(145s)_CsLn_.pdf

Ant Algorithms, 3 conf., ANTS 2002(LNCS2463, Springer, 2002)(ISBN 3540441468)(318s).pdf

Ant Colony Optimization and Swarm Intelligence, 4 conf., ANTS 2004(LNCS3172, Springer, 2004)(ISBN 3540226729)(T)(C)(O)(449s)_CsLn_.djvu

Ant Colony Optimization and Swarm Intelligence, 5 conf., ANTS 2006(LNCS4150, Springer, 2006)(ISBN 3540384820)(539s)_CsLn_.pdf

Ant Colony Optimization and Swarm Intelligence, 6 conf., ANTS 2008(LNCS5217, Springer, 2008)(ISBN 9783540875260)(429s).pdf

Anticipatory Behavior in Adaptive Learning Systems 3 conf., ABiALS 2006(LNCS4520, Springer, 2007)(ISBN 9783540742616)(384s)_CsLn_.pdf

Anticipatory Behavior in Adaptive Learning Systems(LNCS2684, Springer, 2003)(ISBN 3540404295)(309s)_CsLn_.pdf

Application and Theory of Petri Nets 1992 13 conf.(LNCS0616, Springer, 1992)(ISBN 3540556761)(T)(O)(407s).djvu

Application and Theory of Petri Nets 1993 14 conf.(LNCS0691, Springer, 1993)(ISBN 3540568638)(T)(O)(600s).djvu

Application and Theory of Petri Nets 1994 15 conf.(LNCS0815, Springer, 1994)(ISBN 3540581529)(T)(O)(597s).djvu

Application and Theory of Petri Nets 1995 16 conf.(LNCS0935, Springer, 1995)(ISBN 3540600299)(T)(O)(519s).djvu

Application and Theory of Petri Nets 1996 17 conf.(LNCS1091, Springer, 1996)(ISBN 3540613633)(T)(O)(558s).djvu

Application and Theory of Petri Nets 1997 18 conf., ICATPN #97 (LNCS1248, Springer, 1997)(ISBN 3540631399)(T)(O)(476s).djvu

Application and Theory of Petri Nets 1998, 19 conf., ICATPN #98(LNCS1420, Springer, 1998)(ISBN 3540646779)(392s).pdf

Application and Theory of Petri Nets 1999, 20 conf., ICATPN #99(LNCS1639, Springer, 1999)(ISBN 3540661328)(432s).pdf

Application and Theory of Petri Nets 2000, 21 conf., ICATPN 2000(LNCS1825, Springer, 2000)(ISBN 3540676937)(492s).pdf

Application and Theory of Petri Nets 2001, 22 conf., ICATPN 2001(LNCS2075, Springer, 2001)(ISBN 3540422528)(412s).pdf

Application of Petri Nets to Communication Networks (LNCS1605, Springer, 1999)(ISBN 354065870X)(T)(O)(311s).djvu

Applications and Theory of Petri Nets 2002, 23 conf., ICATPN 2002(LNCS2360, Springer, 2002)(ISBN 3540437878)(454s).pdf

Applications and Theory of Petri Nets 2003, 24 conf., ICATPN 2003(LNCS2679, Springer, 2003)(ISBN 3540403345)(517s).pdf

Applications and Theory of Petri Nets 2004, 25 conf., ICATPN 2004(LNCS3099, Springer, 2004)(ISBN 3540222367)(515s).pdf

Applications and Theory of Petri Nets 2005, 26 conf., ICATPN 2005(LNCS3536, Springer, 2005)(ISBN 3540263012)(484s).pdf

Applications and Theory of Petri Nets, 29 conf., PETRI NETS 2008(LNCS5062, Springer, 2008)(ISBN 9783540687450)(439s).pdf

Applications and Theory of Petri Nets, 30 conf., PETRI NETS 2009(LNCS5606, Springer, 2009)(ISBN 9783642024238)(363s).pdf

Applications of Declarative Programming and Knowledge Management, 17 conf., INAP 2007(LNCS5437, Springer, 2009)(ISBN 3642006744)(262s).pdf

Applications of Evolutionary Computing, EvoWorkshops 2004.. EvoBIO(LNCS3005, Springer, 2004)(ISBN 3540213783)(583s).pdf

Applications of Evolutionary Computing, EvoWorkshops 2007.. EvoCoMnet(LNCS4448, Springer, 2007)(ISBN 9783540718048)(774s).pdf

Applications of Evolutionary Computing, EvoWorkshops 2008.. EvoCOMNET(LNCS4974, Springer, 2008)(ISBN 9783540787600)(723s).pdf

Applications of Evolutionary Computing.. EvoWorkshops 2009 (LNCS5484, Springer, 2009)(ISBN 9783642011283)(856s)_CsLn_.pdf

Applications of Graph Transformations with Industrial Relevance, 2 conf., AGTIVE 2003(LNCS3062, Springer, 2004)(ISBN 3540221204)(519s).pdf

Applications of Uncertainty Formalisms(LNCS1455, Springer, 1998)(ISBN 3540653120)(400dpi)(T)(O)(480s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 10 conf., AAECC-10 (LNCS0673, Springer, 1993)(ISBN 3540566864)(T)(365s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 11 conf., AAECC-11 (LNCS0948, Springer, 1995)(ISBN 3540601147)(T)(496s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 12 conf., AAECC-12 (LNCS1255, Springer, 1997)(ISBN 3540631631)(T)(363s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 18 conf., AAECC-18 2009(LNCS5527, Springer, 2009)(ISBN 3642021808)(O)(252s).pdf

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 4 conf., AAECC-4 (LNCS0307, Springer, 1988)(ISBN 354019200X)(T)(221s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 4 conf., AAECC-4 (LNCS0356, Springer, 1989)(ISBN 3540510826)(T)(423s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 6 conf., AAECC-6 (LNCS0357, Springer, 1989)(ISBN 3540510834)(T)(488s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 8 conf., AAECC-8 (LNCS0508, Springer, 1991)(ISBN 3540541950)(T)(399s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes 9 conf., AAECC-9 (LNCS0539, Springer, 1991)(ISBN 3540545220)(T)(500s).djvu

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 13 conf., AAECC-13(LNCS1719, Springer, 1999)(ISBN 3540667237)(515s).pdf

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 14 conf., AAECC-14(LNCS2227, Springer, 2001)(ISBN 3540429115)(410s).pdf

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15 conf., AAECC-15(LNCS2643, Springer, 2003)(ISBN 3540401113)(274s).pdf

Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 16 conf., AAECC-16(LNCS3857, Springer, 2006)(ISBN 3540314237)(347s).pdf

Applied Algebra, Algorithms and Error-Correcting Codes 2 conf., AAECC-2 (LNCS0228, Springer, 1986)(ISBN 3540167676)(T)(271s).djvu

Applied Cryptography and Network Security, 1 conf., ACNS 2003(LNCS2846, Springer, 2003)(ISBN 3540202080)(446s).pdf

Applied Cryptography and Network Security, 2 conf., ACNS 2004(LNCS3089, Springer, 2004)(ISBN 3540222170)(525s).pdf

Applied Cryptography and Network Security, 3 conf., ACNS 2005(LNCS3531, Springer, 2005)(ISBN 3540262237)(527s).pdf

Applied Cryptography and Network Security, 4 conf., ACNS 2006(LNCS3989, Springer, 2006)(ISBN 3540347038)(499s).pdf

Applied Cryptography and Network Security, 5 conf., ACNS 2007(LNCS4521, Springer, 2007)(ISBN 9783540727378)(508s).pdf

Applied Cryptography and Network Security, 7 conf., ACNS 2009(LNCS5536, Springer, 2009)(ISBN 3642019560)(545s).pdf

Applied Formal Methods - FM-Trends 98(LNCS1641, Springer, 1999)(ISBN 3540664629).pdf

Applied Parallel Computing.. State of the Art in Scientific Computing, 8 conf., PARA 2006(LNCS4699, Springer, 2007)(ISBN 9783540757542)(1217s).pdf

Approximation Algorithms for Combinatorial Optimization, 3 conf., APPROX 2000(LNCS1913, Springer, 2000)(ISBN 3540679960)(277s).pdf

Approximation Algorithms for Combinatorial Optimization, 5 conf., APPROX 2002(LNCS2462, Springer, 2002)(ISBN 3540441867)(279s).pdf

Approximation Algorithms for Combinatorial Optimization, APPROX#98(LNCS1444, Springer, 1998)(ISBN 3540647368)(205s).pdf

Approximation and Online Algorithms, 1 conf., WAOA 2003(LNCS2909, Springer, 2004)(ISBN 3540210792)(277s).pdf

Approximation and Online Algorithms, 2 conf., WAOA 2004(LNCS3351, Springer, 2005)(ISBN 354024574X)(302s).pdf

Approximation and Online Algorithms, 4 conf., WAOA 2006(LNCS4368, Springer, 2006)(ISBN 3540695133)(140s).pdf

Approximation and Online Algorithms, 5 conf., WAOA 2007(LNCS4927, Springer, 2008)(ISBN 9783540779179)(299s).pdf

Approximation, Randomization and Combinatorial Optimization.. Algorithms and Techniques, 11 conf., APPROX 2008(LNCS5171, Springer, 2008)(ISBN 9783540853626)(613s)_CsLn_.pdf

Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques, 10 conf., APPROX 2007(LNCS4627, Springer, 2007)(ISBN 9783540742074)(635s)_CsLn_.pdf

Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques, 4 conf., APPROX 2001 and 5 conf.RATCS(LNCS2129, Springer, 2001)(ISBN 3540424709)(313s).pdf

Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques, 6 conf., APPROX 2003 and 7 conf.RATCS(LNCS2764, Springer, 2003)(ISBN 3540407707)(418s).pdf

Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques, 7 conf., APPROX 2004(LNCS3122, Springer, 2004)(ISBN 3540228942)(436s).pdf

Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques, 8 conf., APPROX 2005 and 9 conf.RC(LNCS3624, Springer, 2005)(ISBN 3540282394)(505s).pdf

Approximation, Randomization, and Combinatorial Optimization.. Algorithms and Techniques, 9 conf., APPROX 2006 and 10 conf.RC(LNCS4110, Springer, 2006)(ISBN 3540380442)(531s).pdf

Arabic and Chinese Handwriting Recognition, SACH2006(LNCS4768, Springer, 2008)(ISBN 3540781986)(285s)_CsLn_.pdf

Architecting Dependable Systems 3 conf., ICSE 2004 and DSN 2004(LNCS3549, Springer, 2005)(ISBN 3540289682)(335s)_CsLn_.pdf

Architecting Dependable Systems 4 conf., ICSE 2006 and DSN 2006(LNCS4615, Springer, 2007)(ISBN 9783540740339)(445s)_CsLn_.pdf

Architecting Dependable Systems, ICSE 2002(LNCS2677, Springer, 2003)(ISBN 9783540407270)(T)(313s)_CsLn_.djvu

Architecture of Computing Systems - ARCS 2007, 20 conf.(LNCS4415, Springer, 2007)(ISBN 9783540712671)(304s)_CsLn_.pdf

Architecture of Computing Systems - ARCS 2008, 21 conf.(LNCS4934, Springer, 2008)(ISBN 9783540781523)(274s)_CsLn_.pdf

Argumentation in Multi-Agent Systems, 4 conf., ArgMAS 2007(LNCS4946, Springer, 2008)(ISBN 9783540789147)(243s).pdf

Argumentation in Multi-Agent Systems, Fifth, ArgMAS 2008(LNCS5384, Springer, 2009)(ISBN 9783642002069)(238s)_CsLn_.pdf

Arithmetic of Finite Fields, 1 conf., WAIFI 2007(LNCS4547, Springer, 2007)(ISBN 9783540730736)(363s)_CsLn_.pdf

Arithmetic of Finite Fields, 2 conf., WAIFI 2008(LNCS5130, Springer, 2008)(ISBN 9783540694984)(213s).pdf

Articulated Motion and Deformable Objects, 3 conf., AMDO 2004(LNCS3179, Springer, 2004)(ISBN 3540229582).pdf

Articulated Motion and Deformable Objects, 5 conf., AMDO 2008(LNCS5098, Springer, 2008)(ISBN 9783540705161)(470s).pdf

Artificial Evolution, 8 conf.(LNCS4926, Springer, 2008)(ISBN 9783540793045)(340s)_CsLn_.pdf

Artificial Immune Systems, 5 conf., ICARIS 2006(LNCS4163, Springer, 2006)(ISBN 3540377492)(471s).pdf

Artificial Immune Systems, 6 conf., ICARIS 2007(LNCS4628, Springer, 2007)(ISBN 9783540739210)(448s)_CsLn_.pdf

Artificial Immune Systems, 7 conf., ICARIS 2008(LNCS5132, Springer, 2008)(ISBN 9783540850717)(446s)_CsLn_.pdf

Artificial Intelligence and Knowledge Engineering Applications.. A Bioinspired Approach.. 1 conf.(LNCS3562, Springer, 2005)(ISBN 3540263195)(658s)_CsLn_.pdf

Artificial Intelligence and Neural Networks 14 conf., TAINN 2005 (LNCS3949, Springer, 2006) (ISBN 3540367136)(185s)_CsLn_.pdf

Artificial Intelligence and Soft Computing - ICAISC 2004, 7 conf.(LNCS3070, Springer, 2004)(ISBN 3540221239)(T)(C)(O)(1237s).djvu

Artificial Intelligence and Soft Computing - ICAISC 2008, 9 conf.(LNCS5097, Springer, 2008)(ISBN 9783540695721)(1266s).pdf

Artificial Intelligence in Medicine 12 conf., AIME 2009(LNCS5651, Springer, 2009)(ISBN 9783642029752)(454s)_CsLn_.pdf

Artificial Intelligence in Medicine, 10 conf., AIME 2005(LNCS3581, Springer, 2005)(ISBN 3540278311)(600dpi)(T)(542s).djvu

Artificial Intelligence Today.. Recent Trends and Developments(LNCS1600, Springer, 1999)(ISBN 3540664289)(488s).pdf

Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joints, AISC 2002 and Calculemus 2002(LNCS2385, Springer, 2002)(ISBN 3540438653)(354s).pdf

Artificial Intelligence.. Methodology, Systems, and Applications, 13 conf., AIMSA 2008(LNCS5253, Springer, 2008)(ISBN 9783540857754)(426s)_CsLn_.pdf

Artificial Intelligence.. Theories, Models and Applications, 5 conf., SETN 2008(LNCS5138, Springer, 2008)(ISBN 9783540878803)(456s).pdf

Artificial Neural Networks - ICANN 2007, 17 conf.(LNCS4668, Springer, 2007)(ISBN 9783540746898)(998s)_CsLn_.pdf

Artificial Neural Networks - ICANN 2008, 18 conf.(LNCS5163, Springer, 2008)(ISBN 9783540875352)(1052s).pdf

Artificial Neural Networks - ICANN 2008, 18 conf.(LNCS5164, Springer, 2008)(ISBN 9783540875581)(1011s)_CsLn_.pdf

Artificial Neural Networks in Pattern Recognition, 3 conf., ANNPR 2008(LNCS5064, Springer, 2008)(ISBN 9783540699385)(326s).pdf

Artificial Perception and Music Recognition(LNCS0746, Springer, 1993)(ISBN 3540573941)(T)(223s).djvu

Asano T. (ed.) Proceedings ISAAC 2006, Kolkata, India (LNCS4288, Springer, 2007)(ISBN 3540496947)(782s)_CsAl_.pdf

Asian Digital Libraries.. Looking Back 10 Years and Forging New Frontiers, 10 conf., ICADL 2007(LNCS4822, Springer, 2007)(ISBN 9783540770930)(534s)_CsLn_.pdf

Aspects of Molecular Computing(LNCS2950, Springer, 2004)(ISBN 3540207813).pdf

Association Rule Mining(LNCS2307, Springer, 2002)(ISBN 3540435336)(248s)_CsLn_.pdf

Attention in Cognitive Systems, 5 conf., WAPCV 2008(LNCS5395, Springer, 2009)(ISBN 9783642005817)(282s).pdf

Attention in Cognitive Systems.. Theories and Systems from an Interdisciplinary Viewpoint, 4 conf., WAPCV 2007(LNCS4840, Springer, 2007)(ISBN 9783540773429)(506s)_CsLn_.pdf

Audio System for Technical Readings(LNCS1410, Springer, 1998)(ISBN 3540655158)(T)(O)(240s)_CsLn_.djvu

Automata Implementation, 3 conf., WIA'98(LNCS1660, Springer, 1999)(ISBN 3540666524).pdf

Automata, Languages and Programming, 2 conf.(LNCS0014, Springer, 1974)(ISBN 3540068414)(T)(O)(619s).djvu

Automata, Languages and Programming, 4 conf.(LNCS0052, Springer, 1977)(ISBN 3540083421)(T)(O)(579s).djvu

Automata, Languages and Programming, 5 conf.(LNCS0062, Springer, 1978)(ISBN 3540088601)(T)(O)(515s).djvu

Automata, Languages and Programming, 6 conf.(LNCS0071, Springer, 1979)(ISBN 3540095101)(T)(O)(692s).djvu

Automata, Languages and Programming, 7 conf.(LNCS0085, Springer, 1980)(ISBN 3540100032)(T)(O)(678s).djvu

Automata, Languages and Programming, 8 conf.(LNCS0115, Springer, 1981)(ISBN 3540108432)(T)(O)(560s).djvu

Automata, Languages and Programming, 9 conf.(LNCS0140, Springer, 1982)(ISBN 3540115765)(T)(O)(623s).djvu

Automata, Languages and Programming, 10 conf., Barcelona, Spain, July 18-22, 1983 (LNCS0154, Springer, 1983)(ISBN 3540123172)(T)(O)(741s).djvu

Automata, Languages and Programming, 11 conf.(LNCS0172, Springer, 1984)(ISBN 3540133453)(T)(O)(535s).djvu

Automata, Languages and Programming, 12 conf.(LNCS0194, Springer, 1985)(ISBN 354015650X)(T)(O)(528s).djvu

Automata, Languages and Programming, 13 conf.(LNCS0226, Springer, 1986)(ISBN 3540167617)(T)(O)(481s).djvu

Automata, Languages and Programming, 14 conf., ICALP87 (LNCS0267, Springer, 1987)(ISBN 3540180885)(T)(O)(574s).djvu

Automata, Languages and Programming, 15 conf., ICALP88 (LNCS0317, Springer, 1988)(ISBN 3540194886)(T)(O)(752s).djvu

Automata, Languages and Programming, 16 conf., ICALP89 (LNCS0372, Springer, 1989)(ISBN 354051371X)(T)(O)(801s).djvu

Automata, Languages and Programming, 17 conf., ICALP90 (LNCS0443, Springer, 1990)(ISBN 3540528261)(T)(O)(789s).djvu

Automata, Languages and Programming, 18 conf., ICALP91 (LNCS0510, Springer, 1991)(ISBN 3540542337)(T)(O)(776s).djvu

Automata, Languages and Programming, 19 conf., ICALP92 (LNCS0623, Springer, 1992)(ISBN 3540557199)(T)(O)(732s).djvu

Automata, Languages and Programming, 20 conf., ICALP93 (LNCS0700, Springer, 1993)(ISBN 3540569391)(T)(O)(709s).djvu

Automata, Languages and Programming, 21 conf., ICALP94 (LNCS0820, Springer, 1994)(ISBN 3540582010)(T)(O)(656s).djvu

Automata, Languages and Programming, 22 conf., ICALP95 (LNCS0944, Springer, 1995)(ISBN 3540600841)(T)(O)(699s).djvu

Automata, Languages and Programming, 23 conf., ICALP96 (LNCS1099, Springer, 1996)(ISBN 3540614400)(T)(O)(694s).djvu

Automata, Languages and Programming, 24 conf., ICALP97 (LNCS1256, Springer, 1997)(ISBN 3540631658)(T)(O)(877s).djvu

Automata, Languages and Programming, 25 conf., ICALP#98(LNCS1443, Springer, 1998)(ISBN 3540647813)(928s).pdf

Automata, Languages and Programming, 26 conf., ICALP#99(LNCS1644, Springer, 1999)(ISBN 3540662243)(734s).pdf

Automata, Languages and Programming, 27 conf., ICALP 2000(LNCS1853, Springer, 2000)(ISBN 3540677151)(963s).pdf

Automata, Languages and Programming, 28 conf., ICALP 2001(LNCS2076, Springer, 2001)(ISBN 3540422870)(1097s).pdf

Automata, Languages and Programming, 29 conf., ICALP 2002(LNCS2380, Springer, 2002)(ISBN 3540438645)(1088s).pdf

Automata, Languages and Programming, 30 conf., ICALP 2003(LNCS2719, Springer, 2003)(ISBN 3540404937)(1217s).pdf

Automata, Languages and Programming, 31 conf., ICALP 2004(LNCS3142, Springer, 2004)(ISBN 3540228497)(1274s).pdf

Automata, Languages and Programming, 32 conf., ICALP 2005(LNCS3580, Springer, 2005)(ISBN 3540275800)(1500s).pdf

Automata, Languages and Programming, 33 conf., ICALP 2006(LNCS4051, Springer, 2006)(ISBN 3540359044)(751s).pdf

Automata, Languages and Programming, 33 conf., ICALP 2006(LNCS4052, Springer, 2006)(ISBN 3540359079)(619s).pdf

Automata, Languages and Programming, 34 conf., ICALP 2007(LNCS4596, Springer, 2007)(ISBN 9783540734192)(968s).pdf

Automata, Languages and Programming, 35 conf., ICALP 2008, part 1(LNCS5125, Springer, 2008)(ISBN 9783540705741)(918s).pdf

Automata, Languages and Programming, 35 conf., ICALP 2008, part 2(LNCS5126, Springer, 2008)(ISBN 9783540705826)(750s).pdf

Automata, Logics, and Infinite Games.. A Guide to Current Research(LNCS2500, Springer, 2002)(ISBN 3540003886)(354s).pdf

Automated and Algorithmic Debugging, 1 conf., AADEBUG'93(LNCS0749, Springer, 1993)(ISBN 3540574174)(T)(O)(375s)_CsLn_.djvu

Automated Modeling of Physical Systems(LNCS1003, Springer, 1995)(ISBN 3540606416)(247s).pdf

Automated Reasoning with Analytic Tableaux and Related Methods, 16 conf., TABLEAUX 2007(LNCS4548, Springer, 2007)(ISBN 9783540730989)(255s)_CsLn_.pdf

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX #97 (LNCS1227, Springer, 1997)(ISBN 3540629203)(T)(O)(385s).djvu

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX #98(LNCS1397, Springer, 1998)(ISBN 3540644067)(335s).pdf

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX #99(LNCS1617, Springer, 1999)(ISBN 3540660860)(342s).pdf

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2000(LNCS1847, Springer, 2000)(ISBN 354067697X)(451s).pdf

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2002(LNCS2381, Springer, 2002)(ISBN 3540439293)(349s).pdf

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2003(LNCS2796, Springer, 2003)(ISBN 3540407871)(272s).pdf

Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2005(LNCS3702, Springer, 2005)(ISBN 3540289313)(353s).pdf

Automated Reasoning, 4 conf., IJCAR 2008(LNCS5195, Springer, 2008)(ISBN 9783540710691)(567s).pdf

Automated Technology for Verification and Analysis, 5 conf., ATVA 2007(LNCS4762, Springer, 2007)(ISBN 9783540755951)(576s)_CsLn_.pdf

Autonomic and Trusted Computing, 5 conf., ATC 2008(LNCS5060, Springer, 2008)(ISBN 9783540692942)(680s)_CsLn_.pdf

Autonomous Dynamic Reconfiguration in Multi-Agent Systems(LNCS2427, Springer, 2002)(ISBN 3540443126)(281s).pdf

Autonomous Intelligent Systems.. Multi-Agents and Data Mining, 2 conf., AIS-ADM 2007(LNCS4476, Springer, 2007)(ISBN 9783540728382)(334s).pdf

Balancing Agility and Formalism in Software Engineering, 2 conf., CEE-SET 2007(LNCS5082, Springer, 2008)(ISBN 9783540852780)(314s).pdf

Baltic Computer Science (LNCS0502, Springer, 1991)(ISBN 3540541314)(T)(O)(624s).djvu

Bauer F.L., De Remer F.L., et al. Compiler Construction (LNCS0021, Springer, 1974)(ISBN 3540069585)(T)(O)(636s)_CsAl_.djvu

Bieri H., Noltemeier H. (eds.) Computational geometry - Methods, algorithms and applications (LNCS0553, Springer, 1991)(T)(314s)_CsCg_.djvu

Bio-inspired Modeling of Cognitive Tasks, 2 conf., IWINAC 2007(LNCS4527, Springer, 2007)(ISBN 9783540730521)(646s)_CsLn_.pdf

Bioinformatics Research and Applications, 4 conf., ISBRA 2008(LNCS4983, Springer, 2008)(ISBN 9783540794493)(525s).pdf

Bioinformatics Research and Development, 1 conf., BIRD 2007(LNCS4414, Springer, 2007)(ISBN 9783540712329)(497s)_CsLn_.pdf

Biologically Motivated Computer Vision 2 conf., BMCV 2002(LNCS2525, Springer, 2002)(ISBN 3540001743)(700s).pdf

Biomedical Simulation, 4 conf., ISBMS 2008(LNCS5104, Springer, 2008)(ISBN 9783540705208)(237s).pdf

Biometric Authentication, ECCV 2004, BioAW 2004(LNCS3087, Springer, 2004)(ISBN 3540224998)(361s).pdf

Bolc L. (ed.) Natural language communication with computers (LNCS0063, Springer, 1978)(ISBN 038708911X)(T)(288s)_CsAi_.djvu

Bradford. Simplification of multiple-valued functions (DISCO92, LNCS 721)(L)(T)(5s).djvu

Brandes U., Erlebach T. (eds.) Network analysis. Methodological foundations (LNCS3418, Springer, 2005)(482s)_CsAl_.pdf

Branke, Deb, Miettinen, Slowinski. (eds.) Multiobjective optimization.. Interactive and evolutionary approaches (LNCS5252, Springer, 2008)(ISBN 3540889078)(481s)_MOc_.pdf

Braspenning, Thuijsman, Weijters. (eds.) Artificial Neural Networks.. An Introduction (LNCS0931, Springer, 1995)(ISBN 3540594884)(295s)_CsGn_.djvu

Broadband Network Teletraffic(LNCS1155, Springer, 1996)(ISBN 3540618155)(T)(593s).djvu

Bronstein. Algorithm for integration of elementary functions (Eurocal87, LNCS 378)(L)(T)(4s).djvu

Bronstein. Fast reduction of the Risch differential equation (ISSAC88, LNCS 358)(L)(T)(5s).djvu

Buchberger B. (ed.) Proceedings EUROCAL#85, vol.1 (LNCS 203, Springer, 1985)(T)(ISBN 3540159835)(238s).djvu

Buell D. (ed.) Algorithmic number theory (Proc. Burlington, LNCS3076, Springer, 2004)(ISBN 3540221565)(T)(C)(O)(467s)_MTc_.djvu

Business Information Systems, 10 conf., BIS 2007(LNCS4439, Springer, 2007)(ISBN 9783540720348)(667s).pdf

Business Process Management 2 conf., BPM 2004(LNCS3080, Springer, 2004)(ISBN 3540222359)(321s).pdf

Business Process Management Workshops, BPM 2007s(LNCS4928, Springer, 2008)(ISBN 9783540782377)(502s)_CsLn_.pdf

Business Process Management, 5 conf., BPM 2007(LNCS4714, Springer, 2007)(ISBN 9783540751823)(429s)_CsLn_.pdf

Business Process Management, 6 conf., BPM 2008(LNCS5240, Springer, 2008)(ISBN 9783540857570)(410s).pdf

Butler G. Fundamental algorithms for permutation groups (LNCS0559, Springer, 1991)(ISBN 3540549552)(T)(250s)_MAco_.djvu

CAAP 81 Trees in Algebra and Programming 6 conf.(LNCS0112, Springer, 1981)(ISBN 3540108289)(T)(O)(369s).djvu

CAAP 83 Trees in Algebra and Programming 8 conf.(LNCS0159, Springer, 1983)(ISBN 3540127275)(T)(O)(422s).djvu

CAAP 86 11 conf.(LNCS0214, Springer, 1986)(ISBN 354016443X)(T)(O)(312s).djvu

CAAP 88 13 conf.(LNCS0299, Springer, 1988)(ISBN 354019021X)(T)(O)(311s).djvu

CAAP 90 15 conf.(LNCS0431, Springer, 1990)(ISBN 3540525904)(T)(O)(291s).djvu

CAAP 92 17 conf.(LNCS0581, Springer, 1992)(ISBN 3540552510)(T)(O)(370s).djvu

CAAP 94 Trees in Algebra and Programming 19 conf.(LNCS0787, Springer, 1994)(ISBN 354057879X)(T)(O)(361s).djvu

CAAP 96 Trees in Algebra and Programming 21 conf.(LNCS1059, Springer, 1996)(ISBN 3540610642)(T)(O)(339s).djvu

CADE Automated Deduction 10 conf.(LNCS0449, Springer, 1990)(ISBN 3540528857)(T)(O)(708s)_CsLn_.djvu

CADE Automated Deduction 6 conf.(LNCS0138, Springer, 1982)(ISBN 3540115587)(T)(O)(397s)_CsLn_.djvu

Calmet J. (ed.) Computer algebra (Proc. EUROCAM-82, LNCS 144, Springer, 1982)(T)(ISBN 3540116079)(311s).djvu

Case-Based Reasoning Research and Development, 2 conf., ICCBR-97(LNCS1266, Springer, 1997)(ISBN 3540632336)(T)(656s)_CsLn_.djvu

Case-Based Reasoning Technology(LNCS1400, Springer, 1998)(ISBN 3540645721)(414s).pdf

Categorial Methods in Computer Science.. With Aspects from Topology 1988(LNCS0393, Springer, 1989)(ISBN 3540517227)(T)(O)(357s)_CsLn_.djvu

Category Theory and Computer Programming(LNCS0240, Springer, 1986)(ISBN 3540171622)(T)(525s).djvu

Category Theory and Computer Science 1987(LNCS0283, Springer, 1987)(ISBN 3540185089)(T)(305s).djvu

Category Theory and Computer Science 1989(LNCS0389, Springer, 1989)(ISBN 354051662X)(T)(371s).djvu

Category Theory and Computer Science, 4 conf.(LNCS0530, Springer, 1991)(ISBN 354054495X)(T)(309s).djvu

Category Theory and Computer Science, 6 conf., CTCS #95(LNCS0953, Springer, 1995)(ISBN 3540601643)(T)(259s).djvu

Category Theory Applied to Computation and Control(LNCS0025, Springer, 1975)(ISBN 3540071423)(T)(255s).djvu

Caviness B.F. (ed.) Proceedings EUROCAL#85, vol.2 (LNCS 204, Springer, 1985)(T)(ISBN 3540159843)(666s).djvu

Cellular Automata, 5 conf., ACRI 2002(LNCS2493, Springer, 2002)(ISBN 3540443045)(379s).pdf

Cellular Automata, 6 conf., ACRI 2004(LNCS3305, Springer, 2004)(ISBN 3540235965)(899s).pdf

Cellular Automata, 7 conf.(LNCS4173, Springer, 2006)(ISBN 3540409297)(750s).pdf

Central European Functional Programming School, 2 school, CEFP 2007(LNCS5161, Springer, 2008)(ISBN 9783540880585)(308s).pdf

Challenges for Action Theories(LNCS1775, Springer, 2000)(ISBN 3540674551)(149s)_CsLn_.pdf

Challenges for Next Generation Network Operations and Service Management, 11 conf., APNOMS 2008(LNCS5297, Springer, 2008)(ISBN 9783540886228)(587s).pdf

Co-oP.. cooperative multiple criteria decision making (LNCS0290, Springer, 1987)(ISBN 3540187537)(T)(O)(255s)_CsLn_.djvu

Coleman T. Large Sparse Numerical Optimization(LNCS165, Springer, 1984)(T)(111s)_MOc_.djvu

Collaborative and Distributed Chemical Engineering(LNCS4970, Springer, 2008)(ISBN 9783540705512)(841s).pdf

Collins. Quantifier elimination for real closed fields by CAD (LNCS 33, p. 134, 1975)(L)(T)(25s).djvu

Combinatorial and Algorithmic Aspects of Networking, 1 conf., CAAN 2004(LNCS3405, Springer, 2005)(ISBN 3540278737)(212s).pdf

Combinatorial and Algorithmic Aspects of Networking, 3 conf., CAAN 2006(LNCS4235, Springer, 2006)(ISBN 3540488227)(142s).pdf

Combinatorial and Algorithmic Aspects of Networking, 4 conf., CAAN 2007(LNCS4852, Springer, 2007)(ISBN 9783540772934)(156s)_CsLn_.pdf

Combinatorial Image Analysis, 12 conf., IWCIA 2008(LNCS4958, Springer, 2008)(ISBN 9783540782742)(459s)_CsLn_.pdf

Combinatorial Optimization - Eureka, You Shrink, 5 conf.(LNCS2570, Springer, 2003)(ISBN 3540005803)(212s)_CsLn_.pdf

Combinatorial Optimization and Applications, 1 conf., COCOA 2007(LNCS4616, Springer, 2007)(ISBN 9783540735557)(399s)_CsLn_.pdf

Combinatorial Optimization and Applications, 2 conf., COCOA 2008(LNCS5165, Springer, 2008)(ISBN 9783540850960)(490s)_CsLn_.pdf

Combinatorial Optimization and Applications, 3 conf., COCOA 2009(LNCS5573, Springer, 2009)(ISBN 9783642020254)(553s).pdf

Combinatorial Pattern Matching, 10 conf., CPM 99(LNCS1645, Springer, 1999)(ISBN 3540662782)(302s).pdf

Combinatorial Pattern Matching, 11 conf., CPM 2000(LNCS1848, Springer, 2000)(ISBN 3540676333)(433s).pdf

Combinatorial Pattern Matching, 12 conf., CPM 2001(LNCS2089, Springer, 2001)(ISBN 3540422714)(280s).pdf

Combinatorial Pattern Matching, 13 conf., CPM 2002(LNCS2373, Springer, 2002)(ISBN 3540438629)(297s).pdf

Combinatorial Pattern Matching, 14 conf., CPM 2003(LNCS2676, Springer, 2003)(ISBN 3540403116)(411s).pdf

Combinatorial Pattern Matching, 16 conf., CPM 2005(LNCS3537, Springer, 2005)(ISBN 3540262016)(454s).pdf

Combinatorial Pattern Matching, 17 conf., CPM 2006(LNCS4009, Springer, 2006)(ISBN 3540354557)(424s).pdf

Combinatorial Pattern Matching, 18 conf., CPM 2007 (LNCS4580, Springer, 2007)(ISBN 3540734368)(O)(376s).pdf

Combinatorial Pattern Matching, 19 conf., CPM 2008(LNCS5029, Springer, 2008)(ISBN 9783540690665)(326s).pdf

Combinatorial Pattern Matching, 3 conf., CPM 92(LNCS0644, Springer, 1992)(ISBN 3540560246)(T)(296s).djvu

Combinatorial Pattern Matching, 4 conf., CPM 93(LNCS0684, Springer, 1993)(ISBN 354056764X)(T)(273s).djvu

Combinatorial Pattern Matching, 5 conf., CPM 94(LNCS0807, Springer, 1994)(ISBN 3540580948)(T)(334s).djvu

Combinatorial Pattern Matching, 6 conf., CPM 95(LNCS0937, Springer, 1995)(ISBN 3540600442)(T)(417s).djvu

Combinatorial Pattern Matching, 7 conf., CPM 96(LNCS1075, Springer, 1996)(ISBN 3540612580)(T)(401s).djvu

Combinatorial Pattern Matching, 8 conf., CPM 97(LNCS1264, Springer, 1997)(ISBN 3540632204)(T)(286s).djvu

Combinatorial Pattern Matching, 9 conf., CPM 98(LNCS1448, Springer, 1998)(ISBN 3540647392)(T)(259s).djvu

Communicating Sequential Processes.. The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP(LNCS3525, Springer, 2005)(ISBN 3540258132)(334s)_CsLn_.pdf

Communication and Cooperation in Agent Systems(LNCS1056, Springer, 1995)(ISBN 3540610448)(T)(O)(156s)_CsLn_.djvu

Communications and Multimedia Security - Advanced Techniques, 7th IFIP TC-6 TC-11, CMS 2003(LNCS2828, Springer, 2003)(ISBN 3540201858)(274s)_CsLn_.pdf

Comparative Evaluation of Multilingual Information Access Systems, 4 conf., CLEF 2003(LNCS3237, Springer, 2004)(ISBN 3540240179)(719s).pdf

Comparative Genomics, RECOMB 2006, RCG 2006(LNCS4205, Springer, 2006)(ISBN 3540445293)(239s).pdf

Comparative Genomics, RECOMB-CG 2008(LNCS5267, Springer, 2008)(ISBN 9783540879886)(274s).pdf

Compiler Compilers 2 conf.(LNCS0371, Springer, 1989)(ISBN 3540513647)(T)(247s).djvu

Compiler Compilers 3 conf.(LNCS0477, Springer, 1991)(ISBN 3540536698)(T)(232s).djvu

Compiler Construction 10 conf.(LNCS2027, Springer, 2001)(ISBN 354041861X)(382s).pdf

Compiler Construction 11 conf.(LNCS2304, Springer, 2002)(ISBN 3540433694)(355s).pdf

Compiler Construction 12 conf.(LNCS2622, Springer, 2003)(ISBN 3540009043)(346s).pdf

Compiler Construction 13 conf.(LNCS2985, Springer, 2004)(ISBN 3540212973)(324s).pdf

Compiler Construction 14 conf.(LNCS3443, Springer, 2005)(ISBN 3540254110)(334s).pdf

Compiler Construction 15 conf.(LNCS3923, Springer, 2006)(ISBN 354033050X)(288s).pdf

Compiler Construction 16 conf.(LNCS4420, Springer, 2007)(ISBN 3540712283)(245s).pdf

Compiler Construction 17 conf.(LNCS4959, Springer, 2008)(ISBN 3540787909)(317s).pdf

Compiler Construction 18 conf.(LNCS5501, Springer, 2009)(ISBN 364200721X)(291s).pdf

Compiler Construction 4 conf.(LNCS0641, Springer, 1992)(ISBN 3540559841)(T)(329s).djvu

Compiler Construction 5 conf.(LNCS0786, Springer, 1994)(ISBN 3540578773)(T)(461s).djvu

Compiler Construction 6 conf.(LNCS1060, Springer, 1996)(ISBN 3540610537)(T)(360s).djvu

Compiler Construction 7 conf.(LNCS1383, Springer, 1998)(ISBN 3540643044)(T)(321s).djvu

Compiler Construction 8 conf.(LNCS1575, Springer, 1999)(ISBN 3540657177)(326s).pdf

Compiler Construction 9 conf.(LNCS1781, Springer, 2000)(ISBN 354067263X)(308s).pdf

Compiler Optimizations for Scalable Parallel Systems Languages(LNCS1808, Springer, 2001)(ISBN 3540419454)(782s).pdf

Compiling Natural Semantics(LNCS1549, Springer, 1999)(ISBN 3540659684)(251s)_CsLn_.pdf

Complex Motion, 1 conf., IWCM 2004(LNCS3417, Springer, 2006)(ISBN 9783540698647)(243s)_CsLn_.pdf

Complexity of Constraints - An Overview of Current Research Themes(LNCS5250, Springer, 2008)(ISBN 9783540927990)(326s)_CsLn_.pdf

Component Deployment, 2 conf., CD 2004(LNCS3083, Springer, 2004)(ISBN 3540220593)(263s).pdf

Component-Based Software Engineering, 11 conf., CBSE 2008(LNCS5282, Springer, 2008)(ISBN 9783540878902)(345s).pdf

Component-Based Software Quality - Methods and Techniques(LNCS2693, Springer, 2003)(ISBN 3540405038)(414s)_CsLn_.pdf

Compositionality.. The Significant Difference, COMPOS#97(LNCS1536, Springer, 1998)(ISBN 3540654933)(654s).pdf

Computability and Complexity in Analysis, 4 conf., CCA 2000(LNCS2064, Springer, 2001)(ISBN 3540421971)(402s).pdf

Computable Models of the Law(LNCS4884, Springer, 2008)(ISBN 9783540855682)(351s)_CsLn_.pdf

Computation and Logic in the Real World, 3 conf., CiE 2007(LNCS4497, Springer, 2007)(ISBN 9783540730002)(843s).pdf

Computation theory 1984, 5 conf.(LNCS0208, Springer, 1985)(ISBN 3540160663)(T)(O)(404s).djvu

Computation Theory and Logic(LNCS0270, Springer, 1987)(ISBN 3540181709)(T)(451s).djvu

Computational Forensics, 2 conf., IWCF 2008(LNCS5158, Springer, 2008)(ISBN 9783540853022)(238s).pdf

Computational Forensics, 3 conf., IWCF 2009(LNCS5718, Springer, 2008)(ISBN 9783642035203)(189s).pdf

Computational Geometry and Graph Theory, KyoCGGT 2007(LNCS4535, Springer, 2007)(ISBN 3540895493)(244s).pdf

Computational Intelligence and Security, CIS 2006(LNCS4456, Springer, 2007)(ISBN 9783540743767)(1139s)_CsLn_.pdf

Computational Intelligence.. Research Frontiers, WCCI 2008(LNCS5050, Springer, 2008)(ISBN 9783540688587)(401s).pdf

Computational Learning Theory, 14 conf., COLT 2001 and 5 conf.(LNCS2111, Springer, 2001)(ISBN 3540423435)(638s).pdf

Computational Learning Theory, 15 conf., COLT 2002(LNCS2375, Springer, 2002)(ISBN 354043836X)(411s).pdf

Computational Learning Theory, 3 conf., EuroCOLT '97(LNCS1208, Springer, 1997)(ISBN 3540626859)(T)(339s)_CsLn_.djvu

Computational Life Sciences II, 2 conf., CompLife 2006(LNCS4216, Springer, 2006)(ISBN 3540457674)(279s).pdf

Computational linguistics and intelligent text processing 6 conf.(LNCS3406, Springer, 2005)(ISBN 3540245235)(T)(C)(O)(853s).djvu

Computational Linguistics and Intelligent Text Processing, 2 conf., CICLing 2001(LNCS2004, Springer, 2001)(ISBN 3540416870)(572s).pdf

Computational Linguistics and Intelligent Text Processing, 9 conf., CICLing 2008(LNCS4919, Springer, 2008)(ISBN 9783540781349)(700s).pdf

Computational Logic and Proof Theory 3 conf., KGC#93, Brno, Czech Republic, August 24-27, 1993 (LNCS0713, Springer, 1993)(ISBN 3540571841)(T)(O)(359s).djvu

Computational Logic and Proof Theory 5 conf., KGC#97, Vienna, Austria, August 25-29, 1997 (LNCS1289, Springer, 1997)(ISBN 3540633855)(T)(O)(358s).djvu

Computational Logic in Multi-Agent Systems, 7 conf.(LNCS4371, Springer, 2007)(ISBN 9783540696186)(323s)_CsLn_.pdf

Computational Logic in Multi-Agent Systems, 8 conf.(LNCS5056, Springer, 2008)(ISBN 9783540888321)(308s).pdf

Computational Logic, part 1.. Logic Programming and Beyond (LNCS2407, Springer, 2002)(ISBN 3540439595)(O)(687s).pdf

Computational Logic, part 2.. Logic Programming and Beyond (LNCS2408, Springer, 2002)(ISBN 3540439609)(O)(637s).pdf

Computational Methods in Systems Biology, 6 conf., CMSB 2008(LNCS5307, Springer, 2008)(ISBN 9783540885610)(411s).pdf

Computational Methods in Systems Biology, CMSB 2006(LNCS4210, Springer, 2006)(ISBN 3540461663)(600dpi)(T)(332s).djvu

Computational Neuroscience.. Cortical Dynamics, 8 conf., on Neural Nets 2003(LNCS3146, Springer, 2004)(ISBN 3540225668)(171s)_CsLn_.pdf

Computational Processing of the Portuguese Language, 8 conf., PROPOR 2008(LNCS5190, Springer, 2008)(ISBN 9783540859796)(289s)_CsLn_.pdf

Computational Science - ICCS 2002(LNCS2331, Springer, 2002)(ISBN 3540435948)(1289s).pdf

Computational Science - ICCS 2004, 4 conf.(LNCS3037, Springer, 2004)(ISBN 3540221158)(815s).pdf

Computational Science - ICCS 2004, 4 conf.(LNCS3038, Springer, 2004)(ISBN 3540221166)(1378s).pdf

Computational Science - ICCS 2008, 8 conf.(LNCS5101, Springer, 2008)(ISBN 9783540693833)(1058s).pdf

Computational Science - ICCS 2008, 8 conf., part 2(LNCS5102, Springer, 2008)(ISBN 9783540693864)(763s).pdf

Computational Science - ICCS 2008, 8 conf., part 3(LNCS5103, Springer, 2008)(ISBN 9783540693888)(762s).pdf

Computational Science and Its Applications - ICCSA 2004(LNCS3043, Springer, 2004)(ISBN 3540220542)(1225s).pdf

Computational Science and Its Applications - ICCSA 2007(LNCS4705, Springer, 2007)(ISBN 9783540744689)(1190s)_CsLn_.pdf

Computational Science and Its Applications - ICCSA 2008, part 1(LNCS5072, Springer, 2008)(ISBN 9783540698388)(1283s).pdf

Computational Science and Its Applications - ICCSA 2008, part 2(LNCS5073, Springer, 2008)(ISBN 9783540698401)(1296s).pdf

Computer Aided Systems Theory - EUROCAST 2001(LNCS2178, Springer, 2001)(ISBN 354042959X)(679s).pdf

Computer Aided Systems Theory - EUROCAST 2007, 11 conf.(LNCS4739, Springer, 2007)(ISBN 9783540758662)(1251s)_CsLn_.pdf

Computer Aided Verification, 10 conf., CAV #98(LNCS1427, Springer, 1998)(ISBN 3540646086)(T)(562s).djvu

Computer Aided Verification, 11 conf., CAV #99(LNCS1633, Springer, 1999)(ISBN 3540662022)(514s).pdf

Computer Aided Verification, 12 conf., CAV 2000(LNCS1855, Springer, 2000)(ISBN 3540677704)(592s).pdf

Computer Aided Verification, 13 conf., CAV 2001(LNCS2102, Springer, 2001)(ISBN 3540423451)(532s).pdf

Computer Aided Verification, 14 conf., CAV 2002(LNCS2404, Springer, 2002)(ISBN 3540439978)(644s).pdf

Computer Aided Verification, 15 conf., CAV 2003(LNCS2725, Springer, 2003)(ISBN 3540405240)(473s).pdf

Computer Aided Verification, 16 conf., CAV 2004(LNCS3114, Springer, 2004)(ISBN 3540223428)(549s).pdf

Computer Aided Verification, 17 conf., CAV 2005(LNCS3576, Springer, 2005)(ISBN 3540272313)(578s).pdf

Computer Aided Verification, 19 conf., CAV 2007(LNCS4590, Springer, 2007)(ISBN 9783540733676)(575s).pdf

Computer Aided Verification, 2 conf., CAV #90(LNCS0531, Springer, 1991)(ISBN 3540544771)(T)(385s).djvu

Computer Aided Verification, 20 conf., CAV 2008(LNCS5123, Springer, 2008)(ISBN 9783540705437)(573s)_CsLn_.pdf

Computer Aided Verification, 21 conf., CAV 2009(LNCS5643, Springer, 2009)(ISBN 9783642026577)(736s).pdf

Computer Aided Verification, 3 conf., CAV #91(LNCS0575, Springer, 1992)(ISBN 3540551794)(T)(497s).djvu

Computer Aided Verification, 4 conf., CAV #92(LNCS0663, Springer, 1993)(ISBN 3540564969)(T)(432s).djvu

Computer Aided Verification, 5 conf., CAV #93(LNCS0697, Springer, 1993)(ISBN 3540569227)(T)(513s).djvu

Computer Aided Verification, 6 conf., CAV #94(LNCS0818, Springer, 1994)(ISBN 3540581790)(T)(490s).djvu

Computer Aided Verification, 7 conf., CAV #95(LNCS0939, Springer, 1995)(ISBN 3540600450)(T)(462s).djvu

Computer Aided Verification, 8 conf., CAV #96(LNCS1102, Springer, 1996)(ISBN 3540614745)(T)(483s).djvu

Computer Aided Verification, 9 conf., CAV #97(LNCS1254, Springer, 1997)(ISBN 3540631666)(T)(497s).djvu

Computer Algebra in Scientific Computing, 10 conf., CASC 2007(LNCS4770, Springer, 2007)(ISBN 9783540751861)(470s)_CsLn_.pdf

Computer Algebra, EUROCAL #83 (LNCS0162, Springer, 1983)(ISBN 3540128689)(T)(O)(317s).djvu

Computer Algebra, EUROCAM #82 (LNCS0144, Springer, 1982)(ISBN 3540116079)(T)(O)(311s).djvu

Computer Human Interaction, 6 conf., APCHI 2004(LNCS3101, Springer, 2004)(ISBN 3540223126)(709s).pdf

Computer Mathematics, 8 conf., ASCM 2007(LNCS5081, Springer, 2008)(ISBN 9783540878261)(368s).pdf

Computer Music Modeling and Retrieval.. Sense of Sounds, 4 conf., CMMR 2007(LNCS4969, Springer, 2008)(ISBN 9783540850342)(518s).pdf

Computer Performance Engineering, 5 conf., EPEW 2008(LNCS5261, Springer, 2008)(ISBN 9783540874119)(276s).pdf

Computer Performance Evaluation and Benchmarking, SPEC Benchmark Workshop 2009(LNCS5419, Springer, 2009)(ISBN 9783540937982)(152s)_CsLn_.pdf

Computer Performance Evaluation.. Modelling Techniques and Tools, 9 conf.(LNCS1245, Springer, 1997)(ISBN 3540631011)(T)(240s)_CsLn_.djvu

Computer Processing of Oriental Languages.. Language Technology for the Knowledge-based Economy, 22 conf., ICCPOL 2009(LNCS5459, Springer, 2009)(ISBN 9783642008306)(414s)_CsLn_.pdf

Computer Safety, Reliability, and Security, 26 conf., SAFECOMP 2007(LNCS4680, Springer, 2007)(ISBN 9783540751007)(560s)_CsLn_.pdf

Computer Safety, Reliability, and Security, 27 conf., SAFECOMP 2008(LNCS5219, Springer, 2008)(ISBN 9783540876977)(466s).pdf

Computer Science - Theory and Applications, 3 conf., CSR 2008(LNCS5010, Springer, 2008)(ISBN 9783540797081)(421s).pdf

Computer Science Logic, 10 conf., CSL #96 (LNCS1258, Springer, 1997)(ISBN 3540631720)(T)(O)(480s).djvu

Computer Science Logic, 11 conf., CSL #97(LNCS1414, Springer, 1998)(ISBN 3540645705)(T)(O)(518s).djvu

Computer Science Logic, 12 conf., CSL #98(LNCS1584, Springer, 1999)(ISBN 3540659226)(440s).pdf

Computer Science Logic, 13 conf., CSL #99(LNCS1683, Springer, 1999)(ISBN 3540665366)(590s).pdf

Computer Science Logic, 14 conf.EACSL(LNCS1862, Springer, 2000)(ISBN 3540678956)(555s).pdf

Computer Science Logic, 15 conf., CSL 2001, 10 conf.EACSL(LNCS2142, Springer, 2001)(ISBN 3540425543)(630s).pdf

Computer Science Logic, 16 conf., CSL 2002(LNCS2471, Springer, 2002)(ISBN 3540442405)(629s).pdf

Computer Science Logic, 17 conf., CSL 2003(LNCS2803, Springer, 2003)(ISBN 3540408010)(602s).pdf

Computer Science Logic, 18 conf., CSL 2004(LNCS3210, Springer, 2004)(ISBN 3540230246)(536s).pdf

Computer Science Logic, 19 conf., CSL 2005(LNCS3634, Springer, 2005)(ISBN 3540282319)(578s).pdf

Computer Science Logic, 20 conf., CSL 2006(LNCS4207, Springer, 2006)(ISBN 3540454586)(638s).pdf

Computer Science Logic, 21 conf., CSL 2007(LNCS4646, Springer, 2007)(ISBN 9783540749141)(610s).pdf

Computer Science Logic, 22 conf., CSL 2008(LNCS5213, Springer, 2008)(ISBN 9783540875307)(522s).pdf

Computer Science Logic, 4 conf., CSL #90 (LNCS0533, Springer, 1991)(ISBN 3540544879)(T)(O)(409s).djvu

Computer Science Logic, 5 conf., CSL #91 (LNCS0626, Springer, 1992)(ISBN 354055789X)(T)(O)(436s).djvu

Computer Science Logic, 6 conf., CSL #92 (LNCS0702, Springer, 1993)(ISBN 3540569928)(T)(O)(448s).djvu

Computer Science Logic, 7 conf., CSL #93 (LNCS0832, Springer, 1994)(ISBN 3540582770)(T)(O)(342s).djvu

Computer Science Logic, 8 conf., CSL #94 (LNCS0933, Springer, 1995)(ISBN 3540600175)(T)(O)(552s).djvu

Computer Science Logic, 9 conf., CSL #95 (LNCS1092, Springer, 1996)(ISBN 3540613773)(T)(O)(494s).djvu

Computer Science Today.. Recent Trends and Developments(LNCS1000, Springer, 1995)(ISBN 3540601058)(657s).pdf

Computer Security - ESORICS 2000, 6 conf.(LNCS1895, Springer, 2000)(ISBN 3540410317)(334s).pdf

Computer Security - ESORICS 2002, 7 conf.(LNCS2502, Springer, 2002)(ISBN 3540443452)(294s).pdf

Computer Security - ESORICS 2003, 8 conf.(LNCS2808, Springer, 2003)(ISBN 3540203001)(354s).pdf

Computer Security - ESORICS 2004, 9 conf.(LNCS3193, Springer, 2004)(ISBN 3540229876)(471s).pdf

Computer Security - ESORICS 2005, 10 conf.(LNCS3679, Springer, 2005)(ISBN 3540289631)(519s).pdf

Computer Security - ESORICS 2006, 11 conf.(LNCS4189, Springer, 2006)(ISBN 354044601X)(557s).pdf

Computer Security - ESORICS 2007, 12 conf.(LNCS4734, Springer, 2007)(ISBN 9783540748342)(639s).pdf

Computer Security - ESORICS 2008, 13 conf.(LNCS5283, Springer, 2008)(ISBN 9783540883128)(612s).pdf

Computer Security - ESORICS 92 (LNCS0648, Springer, 1992)(ISBN 354056246X)(T)(O)(453s).djvu

Computer Security - ESORICS 94 (LNCS0875, Springer, 1994)(ISBN 3540586180)(T)(O)(470s).djvu

Computer Security - ESORICS 96, 4 conf.(LNCS1146, Springer, 1996)(ISBN 3540617701)(T)(O)(376s).djvu

Computer Security - ESORICS 98, 5 conf.(LNCS1485, Springer, 1998)(ISBN 3540650040)(394s).pdf

Computer Supported Cooperative Work in Design III, 10 conf., CSCWD 2006(LNCS4402, Springer, 2007)(ISBN 9783540728627)(775s)_CsLn_.pdf

Computer Systems.. Architectures, Modeling, and Simulation, 3 conf.s, SAMOS 2003 and SAMOS 2004(LNCS3133, Springer, 2004)(ISBN 3540223770)(577s).pdf

Computer Vision - ACCV 2007, 8 conf.(LNCS4843, Springer, 2007)(ISBN 9783540763857)(987s)_CsLn_.pdf

Computer Vision - ACCV 2007, 8 conf.(LNCS4844, Springer, 2007)(ISBN 9783540763895)(933s)_CsLn_.pdf

Computer Vision - ECCV 2008, 10 conf., part 3(LNCS5304, Springer, 2008)(ISBN 9783540886891)(844s).pdf

Computer Vision - ECCV 2008, 10 conf., part 4(LNCS5305, Springer, 2008)(ISBN 9783540886921)(910s).pdf