top / Computer science
--------------------------------------------------------------------------------
top / Computer science / Lecture notes
CONCUR '90, Theories of Concurrency: Unification and Extension [LNCS0458, Springer, 1990] (3540530487,djvu,541 p.,4652K,300dpi,en,T)
CONCUR '91, Concurrency Theory, 2 conf. [LNCS0527, Springer, 1991] (3540544305,djvu,551 p.,6193K,300dpi,en,T)
CONCUR '92, Concurrency Theory, 3 conf. [LNCS0630, Springer, 1992] (3540558225,djvu,588 p.,5702K,300dpi,en,T)
CONCUR '93, Concurrency Theory, 4 conf. [LNCS0715, Springer, 1993] (3540572082,djvu,551 p.,4849K,300dpi,en,T)
CONCUR '94, Concurrency Theory, 5 conf. [LNCS0836, Springer, 1994] (3540583287,djvu,539 p.,4460K,300dpi,en,T)
CONCUR '95, Concurrency Theory, 6 conf. [LNCS0962, Springer, 1995] (3540602186,djvu,558 p.,5011K,300dpi,en,T)
CONCUR '96, Concurrency Theory, 7 conf. [LNCS1119, Springer, 1996] (3540616047,djvu,764 p.,6339K,300dpi,en,T)
CONCUR '97, Concurrency Theory, 8 conf. [LNCS1243, Springer, 1997] (3540631410,djvu,430 p.,3841K,300dpi,en,T)
CONCUR '98, Concurrency Theory, 9 conf. [LNCS1466, Springer, 1998] (3540648968,pdf,666 p.,7651K,en)
CONCUR '99, Concurrency Theory, 10 conf. [LNCS1664, Springer, 1999] (3540664254,pdf,584 p.,5436K,en)
CONCUR 2000 - Concurrency Theory, 11 conf. [LNCS1877, Springer, 2000] (3540678972,pdf,630 p.,4467K,en)
CONCUR 2001 - Concurrency Theory, 12 conf. [LNCS2154, Springer, 2001] (3540424970,pdf,593 p.,6735K,en)
CONCUR 2002 - Concurrency Theory, 13 conf. [LNCS2421, Springer, 2002] (3540440437,pdf,628 p.,4871K,en)
CONCUR 2003 - Concurrency Theory, 14 conf. [LNCS2761, Springer, 2003] (3540407537,pdf,535 p.,3432K,en)
CONCUR 2004 - Concurrency Theory, 15 conf. [LNCS3170, Springer, 2004] (354022940X,pdf,540 p.,4042K,en)
CONCUR 2005 - Concurrency Theory, 16 conf., CONCUR 2005 [LNCS3653, Springer, 2005] (3540283099,pdf,590 p.,4953K,en)
CONCUR 2006 - Concurrency Theory, 17 conf., CONCUR 2006 [LNCS4137, Springer, 2006] (3540373764,pdf,535 p.,5285K,en)
CONCUR 2007 - Concurrency Theory, 18 conf., CONCUR 2007 [LNCS4703, Springer, 2007] (9783540744061,pdf,518 p.,5730K,en)
CONLAN Report: consensus hardware description language [LNCS0151, Springer, 1983] (3540122753,djvu,185 p.,1372K,300dpi,en,T)
COTS-Based Software Systems, 4 conf., ICCBSS 2005 [LNCS3412, Springer, 2005] (3540245480,djvu,337 p.,3469K,400dpi,en,T,C)
CSL '87 Computer Science Logic 1 conf. [LNCS0329, Springer, 1988] (3540502416,djvu,351 p.,3276K,300dpi,en,T)
CSL '88 Computer Science Logic 2 conf. [LNCS0385, Springer, 1989] (354051659X,djvu,404 p.,2934K,300dpi,en,T)
CSL '89 Computer Science Logic 3 conf. [LNCS0440, Springer, 1990] (3540527532,djvu,442 p.,4310K,300dpi,en,T)
Case-Based Reasoning Research and Development, 2 conf., ICCBR-97 [LNCS1266, Springer, 1997] (3540632336,djvu,656 p.,8360K,300dpi,en,T)
Case-Based Reasoning Technology [LNCS1400, Springer, 1998] (3540645721,pdf,414 p.,4910K,en)
Categorial Methods in Computer Science: With Aspects from Topology 1988 [LNCS0393, Springer, 1989] (3540517227,djvu,357 p.,3234K,300dpi,en,T)
Category Theory Applied to Computation and Control [LNCS0025, Springer, 1975] (3540071423,djvu,255 p.,2144K,300dpi,en,T)
Category Theory and Computer Programming [LNCS0240, Springer, 1986] (3540171622,djvu,525 p.,3893K,300dpi,en,T)
Category Theory and Computer Science 1987 [LNCS0283, Springer, 1987] (3540185089,djvu,305 p.,2790K,300dpi,en,T)
Category Theory and Computer Science 1989 [LNCS0389, Springer, 1989] (354051662X,djvu,371 p.,2891K,300dpi,en,T)
Category Theory and Computer Science, 4 conf. [LNCS0530, Springer, 1991] (354054495X,djvu,309 p.,2747K,300dpi,en,T)
Category Theory and Computer Science, 6 conf., CTCS '95 [LNCS0953, Springer, 1995] (3540601643,djvu,259 p.,1867K,300dpi,en,T)
Cellular Automata, 5 conf., ACRI 2002 [LNCS2493, Springer, 2002] (3540443045,pdf,379 p.,8507K,en)
Cellular Automata, 6 conf., ACRI 2004 [LNCS3305, Springer, 2004] (3540235965,pdf,899 p.,17383K,en)
Cellular Automata, 7 conf. [LNCS4173, Springer, 2006] (3540409297,pdf,750 p.,16681K,en)
Cellular Automata, 8 conf., ACRI 2008 [LNCS5191, Springer, 2008] (9783540799917,djvu,592 p.,9985K,600dpi,en,T)
Central European Functional Programming School, 2 school, CEFP 2007 [LNCS5161, Springer, 2008] (9783540880585,pdf,308 p.,2841K,en)
Challenges for Next Generation Network Operations and Service Management, 11 conf., APNOMS 2008 [LNCS5297, Springer, 2008] (9783540886228,pdf,587 p.,17853K,en)
Co-oP: cooperative multiple criteria decision making [LNCS0290, Springer, 1987] (3540187537,djvu,255 p.,1968K,300dpi,en,T)
Cognitive Systems [LNCS4429, Springer, 2007] (3540709339,pdf,170 p.,7568K,en)
Collaborative and Distributed Chemical Engineering [LNCS4970, Springer, 2008] (9783540705512,pdf,841 p.,14228K,en)
Combinatorial Image Analysis, 12 conf., IWCIA 2008 [LNCS4958, Springer, 2008] (9783540782742,pdf,459 p.,9725K,en)
Combinatorial Optimization - Eureka, You Shrink, 5 conf. [LNCS2570, Springer, 2003] (3540005803,pdf,212 p.,1503K,en)
Combinatorial Optimization and Applications, 1 conf., COCOA 2007 [LNCS4616, Springer, 2007] (9783540735557,pdf,399 p.,4120K,en)
Combinatorial Optimization and Applications, 2 conf., COCOA 2008 [LNCS5165, Springer, 2008] (9783540850960,pdf,490 p.,5691K,en)
Combinatorial Optimization and Applications, 3 conf., COCOA 2009 [LNCS5573, Springer, 2009] (9783642020254,pdf,553 p.,9711K,en)
Combinatorial Pattern Matching, 10 conf., CPM 99 [LNCS1645, Springer, 1999] (3540662782,pdf,302 p.,5318K,en)
Combinatorial Pattern Matching, 11 conf., CPM 2000 [LNCS1848, Springer, 2000] (3540676333,pdf,433 p.,5033K,en)
Combinatorial Pattern Matching, 12 conf., CPM 2001 [LNCS2089, Springer, 2001] (3540422714,pdf,280 p.,3006K,en)
Combinatorial Pattern Matching, 13 conf., CPM 2002 [LNCS2373, Springer, 2002] (3540438629,pdf,297 p.,2818K,en)
Combinatorial Pattern Matching, 14 conf., CPM 2003 [LNCS2676, Springer, 2003] (3540403116,pdf,411 p.,3777K,en)
Combinatorial Pattern Matching, 16 conf., CPM 2005 [LNCS3537, Springer, 2005] (3540262016,pdf,454 p.,7849K,en)
Combinatorial Pattern Matching, 17 conf., CPM 2006 [LNCS4009, Springer, 2006] (3540354557,pdf,424 p.,5803K,en)
Combinatorial Pattern Matching, 18 conf., CPM 2007 [LNCS4580, Springer, 2007] (3540734368,pdf,376 p.,5423K,en)
Combinatorial Pattern Matching, 19 conf., CPM 2008 [LNCS5029, Springer, 2008] (9783540690665,pdf,326 p.,4116K,en)
Combinatorial Pattern Matching, 3 conf., CPM 92 [LNCS0644, Springer, 1992] (3540560246,djvu,296 p.,2940K,300dpi,en,T)
Combinatorial Pattern Matching, 4 conf., CPM 93 [LNCS0684, Springer, 1993] (354056764X,djvu,273 p.,2354K,300dpi,en,T)
Combinatorial Pattern Matching, 5 conf., CPM 94 [LNCS0807, Springer, 1994] (3540580948,djvu,334 p.,3054K,300dpi,en,T)
Combinatorial Pattern Matching, 6 conf., CPM 95 [LNCS0937, Springer, 1995] (3540600442,djvu,417 p.,3708K,300dpi,en,T)
Combinatorial Pattern Matching, 7 conf., CPM 96 [LNCS1075, Springer, 1996] (3540612580,djvu,401 p.,3613K,300dpi,en,T)
Combinatorial Pattern Matching, 8 conf., CPM 97 [LNCS1264, Springer, 1997] (3540632204,djvu,286 p.,2647K,300dpi,en,T)
Combinatorial Pattern Matching, 9 conf., CPM 98 [LNCS1448, Springer, 1998] (3540647392,djvu,259 p.,2819K,300dpi,en,T)
Combinatorial and Algorithmic Aspects of Networking, 1 conf., CAAN 2004 [LNCS3405, Springer, 2005] (3540278737,pdf,212 p.,2445K,en)
Combinatorial and Algorithmic Aspects of Networking, 3 conf., CAAN 2006 [LNCS4235, Springer, 2006] (3540488227,pdf,142 p.,1807K,en)
Combinatorial and Algorithmic Aspects of Networking, 4 conf., CAAN 2007 [LNCS4852, Springer, 2007] (9783540772934,pdf,156 p.,1968K,en)
Communicating Sequential Processes: The 1th 25 Years, Symposium on the Occasion of 25 Years of CSP [LNCS3525, Springer, 2005] (3540258132,pdf,334 p.,2065K,en)
Communication and Cooperation in Agent Systems [LNCS1056, Springer, 1995] (3540610448,djvu,156 p.,1299K,300dpi,en,T)
Communications and Multimedia Security - Advanced Techniques, 7th IFIP TC-6 TC-11, CMS 2003 [LNCS2828, Springer, 2003] (3540201858,pdf,274 p.,2849K,en)
Comparative Genomics, RECOMB 2006, RCG 2006 [LNCS4205, Springer, 2006] (3540445293,pdf,239 p.,3969K,en)
Comparative Genomics, RECOMB-CG 2008 [LNCS5267, Springer, 2008] (9783540879886,pdf,274 p.,6008K,en)
Compiler Compilers 2 conf. [LNCS0371, Springer, 1989] (3540513647,djvu,247 p.,2629K,300dpi,en,T)
Compiler Compilers 3 conf. [LNCS0477, Springer, 1991] (3540536698,djvu,232 p.,2874K,300dpi,en,T)
Compiler Construction 10 conf. [LNCS2027, Springer, 2001] (354041861X,pdf,382 p.,2467K,en)
Compiler Construction 11 conf. [LNCS2304, Springer, 2002] (3540433694,pdf,355 p.,6298K,en)
Compiler Construction 12 conf. [LNCS2622, Springer, 2003] (3540009043,pdf,346 p.,2866K,en)
Compiler Construction 13 conf. [LNCS2985, Springer, 2004] (3540212973,pdf,324 p.,6015K,en)
Compiler Construction 14 conf. [LNCS3443, Springer, 2005] (3540254110,pdf,334 p.,2196K,en)
Compiler Construction 15 conf. [LNCS3923, Springer, 2006] (354033050X,pdf,288 p.,2755K,en)
Compiler Construction 16 conf. [LNCS4420, Springer, 2007] (3540712283,pdf,245 p.,3483K,en)
Compiler Construction 17 conf. [LNCS4959, Springer, 2008] (3540787909,pdf,317 p.,4470K,en)
Compiler Construction 18 conf. [LNCS5501, Springer, 2009] (364200721X,pdf,291 p.,3762K,en)
Compiler Construction 4 conf. [LNCS0641, Springer, 1992] (3540559841,djvu,329 p.,3311K,300dpi,en,T)
Compiler Construction 5 conf. [LNCS0786, Springer, 1994] (3540578773,djvu,461 p.,4171K,300dpi,en,T)
Compiler Construction 6 conf. [LNCS1060, Springer, 1996] (3540610537,djvu,360 p.,3651K,300dpi,en,T)
Compiler Construction 7 conf. [LNCS1383, Springer, 1998] (3540643044,djvu,321 p.,4050K,300dpi,en,T)
Compiler Construction 8 conf. [LNCS1575, Springer, 1999] (3540657177,pdf,326 p.,3508K,en)
Compiler Construction 9 conf. [LNCS1781, Springer, 2000] (354067263X,pdf,308 p.,2454K,en)
Compiler Optimizations for Scalable Parallel Systems Languages [LNCS1808, Springer, 2001] (3540419454,pdf,782 p.,4858K,en)
Compiling Natural Semantics [LNCS1549, Springer, 1999] (3540659684,pdf,251 p.,976K,en)
Complex Motion, 1 conf., IWCM 2004 [LNCS3417, Springer, 2006] (9783540698647,pdf,243 p.,7377K,en)
Complex sciences, 1 conf., part 1 [LNICS04, Springer, 2009] (3642024653,djvu,1219 p.,14169K,300dpi,en,T)
Complex sciences, 1 conf., part 2 [LNICS05, Springer, 2009] (3642024688,djvu,1266 p.,19803K,600dpi,en,T)
Complexity of Constraints - An Overview of Current Research Themes [LNCS5250, Springer, 2008] (9783540927990,pdf,326 p.,2934K,en)
Component Deployment, 2 conf., CD 2004 [LNCS3083, Springer, 2004] (3540220593,pdf,263 p.,4704K,en)
Component-Based Software Engineering, 11 conf., CBSE 2008 [LNCS5282, Springer, 2008] (9783540878902,pdf,345 p.,11946K,en)
Component-Based Software Quality - Methods and Techniques [LNCS2693, Springer, 2003] (3540405038,pdf,414 p.,3789K,en)
Compositionality: The Significant Difference, COMPOS'97 [LNCS1536, Springer, 1998] (3540654933,pdf,654 p.,3909K,en)
Computability and Complexity in Analysis, 4 conf., CCA 2000 [LNCS2064, Springer, 2001] (3540421971,pdf,402 p.,2648K,en)
Computable Models of the Law [LNCS4884, Springer, 2008] (9783540855682,pdf,351 p.,6287K,en)
Computation Theory and Logic [LNCS0270, Springer, 1987] (3540181709,djvu,451 p.,4609K,300dpi,en,T)
Computation and Logic in the Real World, 3 conf., CiE 2007 [LNCS4497, Springer, 2007] (9783540730002,pdf,843 p.,7880K,en)
Computation theory 1984, 5 conf. [LNCS0208, Springer, 1985] (3540160663,djvu,404 p.,4151K,300dpi,en,T)
Computational Cardiology: Modeling of Anatomy [LNCS2966, Springer, 2004] (3540219072,pdf,341 p.,5449K,en)
Computational Combinatorial Optimization, Optimal or Provably Near-Optimal Solutions 2000 [LNCS2241, Springer, 2001] (3540428771,pdf,313 p.,2378K,en)
Computational Forensics, 2 conf., IWCF 2008 [LNCS5158, Springer, 2008] (9783540853022,pdf,238 p.,16843K,en)
Computational Forensics, 3 conf., IWCF 2009 [LNCS5718, Springer, 2008] (9783642035203,djvu,189 p.,3507K,600dpi,en,T)
Computational Geometry and Graph Theory, KyoCGGT 2007 [LNCS4535, Springer, 2007] (3540895493,pdf,244 p.,5205K,en)
Computational Intelligence and Security, CIS 2006 [LNCS4456, Springer, 2007] (9783540743767,pdf,1139 p.,15519K,en)
Computational Intelligence: Research Frontiers, WCCI 2008 [LNCS5050, Springer, 2008] (9783540688587,pdf,401 p.,14044K,en)
Computational Learning Theory, 14 conf., COLT 2001 and 5 conf. [LNCS2111, Springer, 2001] (3540423435,pdf,638 p.,4285K,en)
Computational Learning Theory, 15 conf., COLT 2002 [LNCS2375, Springer, 2002] (354043836X,pdf,411 p.,3167K,en)
Computational Learning Theory, 3 conf., EuroCOLT '97 [LNCS1208, Springer, 1997] (3540626859,djvu,339 p.,2661K,300dpi,en,T)
Computational Life Sciences II, 2 conf., CompLife 2006 [LNCS4216, Springer, 2006] (3540457674,pdf,279 p.,8982K,en)
Computational Life Sciences II, 2 conf., CompLife 2006 [LNCS4216, Springer, 2006] (3540457674,djvu,279 p.,4280K,600dpi,en,T)
Computational Linguistics and Intelligent Text Processing, 2 conf., CICLing 2001 [LNCS2004, Springer, 2001] (3540416870,pdf,572 p.,6666K,en)
Computational Linguistics and Intelligent Text Processing, 9 conf., CICLing 2008 [LNCS4919, Springer, 2008] (9783540781349,pdf,700 p.,9282K,en)
Computational Logic and Proof Theory 3 conf., KGC'93, Brno, Czech Republic, August 24-27, 1993 [LNCS0713, Springer, 1993] (3540571841,djvu,359 p.,3016K,300dpi,en,T)
Computational Logic and Proof Theory 5 conf., KGC'97, Vienna, Austria, August 25-29, 1997 [LNCS1289, Springer, 1997] (3540633855,djvu,358 p.,3119K,300dpi,en,T)
Computational Logic in Multi-Agent Systems, 7 conf. [LNCS4371, Springer, 2007] (9783540696186,pdf,323 p.,3778K,en)
Computational Logic in Multi-Agent Systems, 8 conf. [LNCS5056, Springer, 2008] (9783540888321,pdf,308 p.,4194K,en)
Computational Logic, part 1: Logic Programming and Beyond [LNCS2407, Springer, 2002] (3540439595,pdf,687 p.,4523K,en)
Computational Logic, part 2: Logic Programming and Beyond [LNCS2408, Springer, 2002] (3540439609,pdf,637 p.,3858K,en)
Computational Methods in Systems Biology, 6 conf., CMSB 2008 [LNCS5307, Springer, 2008] (9783540885610,pdf,411 p.,14244K,en)
Computational Methods in Systems Biology, CMSB 2006 [LNCS4210, Springer, 2006] (3540461663,djvu,332 p.,4780K,600dpi,en,T)
Computational Neuroscience: Cortical Dynamics, 8 conf., on Neural Nets 2003 [LNCS3146, Springer, 2004] (3540225668,pdf,171 p.,2558K,en)
Computational Processing of the Portuguese Language, 8 conf., PROPOR 2008 [LNCS5190, Springer, 2008] (9783540859796,pdf,289 p.,4039K,en)
Computational Science - ICCS 2002 [LNCS2331, Springer, 2002] (3540435948,pdf,1289 p.,40404K,en)
Computational Science - ICCS 2004, 4 conf. [LNCS3037, Springer, 2004] (3540221158,pdf,815 p.,28757K,en)
Computational Science - ICCS 2004, 4 conf. [LNCS3038, Springer, 2004] (3540221166,pdf,1378 p.,24574K,en)
Computational Science - ICCS 2008, 8 conf. [LNCS5101, Springer, 2008] (9783540693833,pdf,1058 p.,31185K,en)
Computational Science - ICCS 2008, 8 conf., part 2 [LNCS5102, Springer, 2008] (9783540693864,pdf,763 p.,23881K,en)
Computational Science - ICCS 2008, 8 conf., part 3 [LNCS5103, Springer, 2008] (9783540693888,pdf,762 p.,15789K,en)
Computational Science and Its Applications - ICCSA 2004 [LNCS3043, Springer, 2004] (3540220542,pdf,1225 p.,27163K,en)
Computational Science and Its Applications - ICCSA 2007 [LNCS4705, Springer, 2007] (9783540744689,pdf,1190 p.,21268K,en)
Computational Science and Its Applications - ICCSA 2008, part 1 [LNCS5072, Springer, 2008] (9783540698388,pdf,1283 p.,75749K,en)
Computational Science and Its Applications - ICCSA 2008, part 2 [LNCS5073, Springer, 2008] (9783540698401,pdf,1296 p.,49044K,en)
Computational linguistics and intelligent text processing 6 conf. [LNCS3406, Springer, 2005] (3540245235,djvu,853 p.,8285K,300dpi,en,T,C)
Computer Aided Systems Theory - EUROCAST 2001 [LNCS2178, Springer, 2001] (354042959X,pdf,679 p.,9569K,en)
Computer Aided Systems Theory - EUROCAST 2007, 11 conf. [LNCS4739, Springer, 2007] (9783540758662,pdf,1251 p.,27180K,en)
Computer Aided Verification, 10 conf., CAV '98 [LNCS1427, Springer, 1998] (3540646086,djvu,562 p.,5638K,300dpi,en,T)
Computer Aided Verification, 11 conf., CAV '99 [LNCS1633, Springer, 1999] (3540662022,pdf,514 p.,5151K,en)
Computer Aided Verification, 12 conf., CAV 2000 [LNCS1855, Springer, 2000] (3540677704,pdf,592 p.,3888K,en)
Computer Aided Verification, 13 conf., CAV 2001 [LNCS2102, Springer, 2001] (3540423451,pdf,532 p.,4255K,en)
Computer Aided Verification, 14 conf., CAV 2002 [LNCS2404, Springer, 2002] (3540439978,pdf,644 p.,5126K,en)
Computer Aided Verification, 15 conf., CAV 2003 [LNCS2725, Springer, 2003] (3540405240,pdf,473 p.,3890K,en)
Computer Aided Verification, 16 conf., CAV 2004 [LNCS3114, Springer, 2004] (3540223428,pdf,549 p.,10183K,en)
Computer Aided Verification, 17 conf., CAV 2005 [LNCS3576, Springer, 2005] (3540272313,pdf,578 p.,4995K,en)
Computer Aided Verification, 19 conf., CAV 2007 [LNCS4590, Springer, 2007] (9783540733676,pdf,575 p.,7895K,en)
Computer Aided Verification, 2 conf., CAV '90 [LNCS0531, Springer, 1991] (3540544771,djvu,385 p.,4061K,300dpi,en,T)
Computer Aided Verification, 20 conf., CAV 2008 [LNCS5123, Springer, 2008] (9783540705437,pdf,573 p.,6434K,en)
Computer Aided Verification, 21 conf., CAV 2009 [LNCS5643, Springer, 2009] (9783642026577,pdf,736 p.,13611K,en)
Computer Aided Verification, 3 conf., CAV '91 [LNCS0575, Springer, 1992] (3540551794,djvu,497 p.,4525K,300dpi,en,T)
Computer Aided Verification, 4 conf., CAV '92 [LNCS0663, Springer, 1993] (3540564969,djvu,432 p.,4059K,300dpi,en,T)
Computer Aided Verification, 5 conf., CAV '93 [LNCS0697, Springer, 1993] (3540569227,djvu,513 p.,5172K,300dpi,en,T)
Computer Aided Verification, 6 conf., CAV '94 [LNCS0818, Springer, 1994] (3540581790,djvu,490 p.,4280K,300dpi,en,T)
Computer Aided Verification, 7 conf., CAV '95 [LNCS0939, Springer, 1995] (3540600450,djvu,462 p.,4421K,300dpi,en,T)
Computer Aided Verification, 8 conf., CAV '96 [LNCS1102, Springer, 1996] (3540614745,djvu,483 p.,5216K,300dpi,en,T)
Computer Aided Verification, 9 conf., CAV '97 [LNCS1254, Springer, 1997] (3540631666,djvu,497 p.,5419K,300dpi,en,T)
Computer Algebra in Scientific Computing, 10 conf., CASC 2007 [LNCS4770, Springer, 2007] (9783540751861,pdf,470 p.,4989K,en)
Computer Algebra, EUROCAL '83 [LNCS0162, Springer, 1983] (3540128689,djvu,317 p.,2356K,300dpi,en,T)
Computer Algebra, EUROCAM '82 [LNCS0144, Springer, 1982] (3540116079,djvu,311 p.,2493K,300dpi,en,T)
Computer Human Interaction, 6 conf., APCHI 2004 [LNCS3101, Springer, 2004] (3540223126,pdf,709 p.,14504K,en)
Computer Mathematics, 8 conf., ASCM 2007 [LNCS5081, Springer, 2008] (9783540878261,pdf,368 p.,6262K,en)
Computer Music Modeling and Retrieval: Sense of Sounds, 4 conf., CMMR 2007 [LNCS4969, Springer, 2008] (9783540850342,pdf,518 p.,25311K,en)
Computer Performance Engineering, 5 conf., EPEW 2008 [LNCS5261, Springer, 2008] (9783540874119,pdf,276 p.,4529K,en)
Computer Performance Evaluation and Benchmarking, SPEC Benchmark Workshop 2009 [LNCS5419, Springer, 2009] (9783540937982,pdf,152 p.,5646K,en)
Computer Performance Evaluation: Modelling Techniques and Tools, 9 conf. [LNCS1245, Springer, 1997] (3540631011,djvu,240 p.,2657K,300dpi,en,T)
Computer Processing of Oriental Languages: Language Technology for the Knowledge-based Economy, 22 conf., ICCPOL 2009 [LNCS5459, Springer, 2009] (9783642008306,pdf,414 p.,7013K,en)
Computer Safety, Reliability, and Security, 26 conf., SAFECOMP 2007 [LNCS4680, Springer, 2007] (9783540751007,pdf,560 p.,8486K,en)
Computer Safety, Reliability, and Security, 27 conf., SAFECOMP 2008 [LNCS5219, Springer, 2008] (9783540876977,pdf,466 p.,10993K,en)
Computer Science - Theory and Applications, 3 conf., CSR 2008 [LNCS5010, Springer, 2008] (9783540797081,pdf,421 p.,4480K,en)
Computer Science Logic, 10 conf., CSL '96 [LNCS1258, Springer, 1997] (3540631720,djvu,480 p.,3797K,300dpi,en,T)
Computer Science Logic, 11 conf., CSL '97 [LNCS1414, Springer, 1998] (3540645705,djvu,518 p.,4306K,300dpi,en,T)
Computer Science Logic, 12 conf., CSL '98 [LNCS1584, Springer, 1999] (3540659226,pdf,440 p.,6400K,en)
Computer Science Logic, 13 conf., CSL '99 [LNCS1683, Springer, 1999] (3540665366,pdf,590 p.,3847K,en)
Computer Science Logic, 14 conf.EACSL [LNCS1862, Springer, 2000] (3540678956,pdf,555 p.,3341K,en)
Computer Science Logic, 15 conf., CSL 2001, 10 conf.EACSL [LNCS2142, Springer, 2001] (3540425543,pdf,630 p.,3963K,en)
Computer Science Logic, 16 conf., CSL 2002 [LNCS2471, Springer, 2002] (3540442405,pdf,629 p.,4329K,en)
Computer Science Logic, 17 conf., CSL 2003 [LNCS2803, Springer, 2003] (3540408010,pdf,602 p.,4229K,en)
Computer Science Logic, 18 conf., CSL 2004 [LNCS3210, Springer, 2004] (3540230246,pdf,536 p.,12473K,en)
Computer Science Logic, 19 conf., CSL 2005 [LNCS3634, Springer, 2005] (3540282319,pdf,578 p.,4894K,en)
Computer Science Logic, 20 conf., CSL 2006 [LNCS4207, Springer, 2006] (3540454586,pdf,638 p.,6154K,en)
Computer Science Logic, 21 conf., CSL 2007 [LNCS4646, Springer, 2007] (9783540749141,pdf,610 p.,6166K,en)
Computer Science Logic, 22 conf., CSL 2008 [LNCS5213, Springer, 2008] (9783540875307,pdf,522 p.,5509K,en)
Computer Science Logic, 4 conf., CSL '90 [LNCS0533, Springer, 1991] (3540544879,djvu,409 p.,3757K,300dpi,en,T)
Computer Science Logic, 5 conf., CSL '91 [LNCS0626, Springer, 1992] (354055789X,djvu,436 p.,3892K,300dpi,en,T)
Computer Science Logic, 6 conf., CSL '92 [LNCS0702, Springer, 1993] (3540569928,djvu,448 p.,3925K,300dpi,en,T)
Computer Science Logic, 7 conf., CSL '93 [LNCS0832, Springer, 1994] (3540582770,djvu,342 p.,2942K,300dpi,en,T)
Computer Science Logic, 8 conf., CSL '94 [LNCS0933, Springer, 1995] (3540600175,djvu,552 p.,4606K,300dpi,en,T)
Computer Science Logic, 9 conf., CSL '95 [LNCS1092, Springer, 1996] (3540613773,djvu,494 p.,4245K,300dpi,en,T)
Computer Science Today: Recent Trends and Developments [LNCS1000, Springer, 1995] (3540601058,pdf,657 p.,40866K,en)
Computer Security - ESORICS 2000, 6 conf. [LNCS1895, Springer, 2000] (3540410317,pdf,334 p.,1848K,en)
Computer Security - ESORICS 2002, 7 conf. [LNCS2502, Springer, 2002] (3540443452,pdf,294 p.,2331K,en)
Computer Security - ESORICS 2003, 8 conf. [LNCS2808, Springer, 2003] (3540203001,pdf,354 p.,4364K,en)
Computer Security - ESORICS 2004, 9 conf. [LNCS3193, Springer, 2004] (3540229876,pdf,471 p.,11590K,en)
Computer Security - ESORICS 2005, 10 conf. [LNCS3679, Springer, 2005] (3540289631,pdf,519 p.,5617K,en)
Computer Security - ESORICS 2006, 11 conf. [LNCS4189, Springer, 2006] (354044601X,pdf,557 p.,9061K,en)
Computer Security - ESORICS 2007, 12 conf. [LNCS4734, Springer, 2007] (9783540748342,pdf,639 p.,8428K,en)
Computer Security - ESORICS 2008, 13 conf. [LNCS5283, Springer, 2008] (9783540883128,pdf,612 p.,9128K,en)
Computer Security - ESORICS 92 [LNCS0648, Springer, 1992] (354056246X,djvu,453 p.,4175K,300dpi,en,T)
Computer Security - ESORICS 94 [LNCS0875, Springer, 1994] (3540586180,djvu,470 p.,3979K,300dpi,en,T)
Computer Security - ESORICS 96, 4 conf. [LNCS1146, Springer, 1996] (3540617701,djvu,376 p.,3424K,300dpi,en,T)
Computer Security - ESORICS 98, 5 conf. [LNCS1485, Springer, 1998] (3540650040,pdf,394 p.,21072K,en)
Computer Supported Cooperative Work in Design III, 10 conf., CSCWD 2006 [LNCS4402, Springer, 2007] (9783540728627,pdf,775 p.,13442K,en)
Computer Systems: Architectures, Modeling, and Simulation, 3 and 4 confs., SAMOS 2003 and SAMOS 2004 [LNCS3133, Springer, 2004] (3540223770,pdf,577 p.,11900K,en)
Computer Vision - ACCV 2007, 8 conf. [LNCS4843, Springer, 2007] (9783540763857,pdf,987 p.,29340K,en)
Computer Vision - ACCV 2007, 8 conf. [LNCS4844, Springer, 2007] (9783540763895,pdf,933 p.,23187K,en)
Computer Vision - ECCV 2008, 10 conf., part 3 [LNCS5304, Springer, 2008] (9783540886891,pdf,844 p.,57647K,en)
Computer Vision - ECCV 2008, 10 conf., part 4 [LNCS5305, Springer, 2008] (9783540886921,pdf,910 p.,69178K,en)
Computer Vision Approaches to Medical Image Analysis, 2 conf., CVAMIA 2006 [LNCS4241, Springer, 2006] (3540462570,djvu,260 p.,5879K,600dpi,en,T,C)
Computer Vision Systems, 6 conf., ICVS 2008 [LNCS5008, Springer, 2008] (9783540795469,pdf,552 p.,23361K,en)
Computer Vision, Graphics and Image Processing, 5 conf., ICVGIP 2006 [LNCS4338, Springer, 2006] (3540683011,pdf,979 p.,39868K,en)
Computer Vision-Computer Graphics Collaboration Techniques, 3 conf., MIRAGE 2007 [LNCS4418, Springer, 2007] (9783540714569,pdf,632 p.,16172K,en)
Computer-Human Interaction, 8 conf., APCHI 2008 [LNCS5068, Springer, 2008] (9783540705840,pdf,471 p.,26249K,en)
Computers Helping People with Special Needs, 9 conf., ICCHP 2004 [LNCS3118, Springer, 2004] (3540223347,pdf,1216 p.,23300K,en)
Computers and Games, 5 conf., CG 2006 [LNCS4630, Springer, 2007] (9783540755371,pdf,294 p.,2763K,en)
Computers and Games, 6 conf., CG 2008 [LNCS5131, Springer, 2008] (9783540876076,pdf,286 p.,5433K,en)
Computing Methods in Applied Sciences and Engineering, Part 2 [LNCS0011, Springer, 1974] (3540067698,djvu,444 p.,4305K,300dpi,en,T)
Computing and Combinatorics, 1 conf., COCOON '95 [LNCS0959, Springer, 1995] (354060216X,djvu,668 p.,6119K,300dpi,en,T)
Computing and Combinatorics, 11 conf., COCOON 2005 [LNCS3595, Springer, 2005] (3540280618,pdf,1011 p.,9358K,en)
Computing and Combinatorics, 12 conf., COCOON 2006 [LNCS4112, Springer, 2006] (3540369252,pdf,541 p.,5614K,en)
Computing and Combinatorics, 13 conf., COCOON 2007 [LNCS4598, Springer, 2007] (9783540735441,pdf,579 p.,5907K,en)
Computing and Combinatorics, 14 conf., COCOON 2008 [LNCS5092, Springer, 2008] (9783540697329,pdf,691 p.,8129K,en)
Computing and Combinatorics, 2 conf., COCOON '96 [LNCS1090, Springer, 1996] (3540613323,djvu,430 p.,4185K,300dpi,en,T)
Computing and Combinatorics, 3 conf., COCOON '97 [LNCS1276, Springer, 1997] (354063357X,djvu,530 p.,5446K,300dpi,en,T)
Computing and Combinatorics, 5 conf., COCOON '99 [LNCS1627, Springer, 1999] (3540662006,pdf,507 p.,4089K,en)
Computing and Combinatorics, 6 conf., COCOON 2000 [LNCS1858, Springer, 2000] (3540677879,pdf,489 p.,7280K,en)
Computing and Combinatorics, 7 conf., COCOON 2001 [LNCS2108, Springer, 2001] (3540424946,pdf,612 p.,4754K,en)
Computing and Combinatorics, 8 conf., COCOON 2002 [LNCS2387, Springer, 2002] (354043996X,pdf,618 p.,4090K,en)
Computing and Combinatorics, 9 conf., COCOON 2003 [LNCS2697, Springer, 2003] (3540405348,pdf,572 p.,4870K,en)
Computing and Combinatorics: 15 conf., COCOON 2009 [LNCS5609, Springer, 2009] (9783642028816,pdf,551 p.,7347K,en)
Computing in Object-Oriented Parallel Environments, 2 conf., ISCOPE 98 [LNCS1505, Springer, 1998] (3540653872,pdf,251 p.,3103K,en)
Concept Lattices and Their Applications, 4 conf., CLA 2006 [LNCS4923, Springer, 2008] (9783540789208,djvu,291 p.,4300K,600dpi,en,T)
Concept Lattices, 2 conf., ICFCA 2004 [LNCS2961, Springer, 2004] (3540210431,pdf,419 p.,9812K,en)
Concepts in User Interfaces: A Reference Model for the Command and Response Languages [LNCS0234, Springer, 1986] (3540167919,djvu,125 p.,870K,300dpi,en,T)
Conceptual Modeling - ER 2007, 26 conf. [LNCS4801, Springer, 2007] (9783540755623,djvu,644 p.,6368K,400dpi,en,T)
Conceptual Modeling for Advanced Application Domains, ER 2004 Workshops CoMoGIS [LNCS3289, Springer, 2004] (3540237224,pdf,721 p.,18911K,en)
Conceptual Modeling [LNCS1565, Springer, 1999] (3540659269,pdf,325 p.,1982K,en)
Conceptual Modeling: Foundations and Applications [LNCS5600, Springer, 2009] (9783642024627,pdf,527 p.,8350K,en)
Conceptual Structures at Work: 12 conf., ICCS 2004 [LNCS3127, Springer, 2004] (3540223924,pdf,416 p.,6747K,en)
Conceptual Structures: Knowledge Architectures for Smart Applications, 15 conf., ICCS 2007 [LNCS4604, Springer, 2007] (9783540736806,pdf,524 p.,8615K,en)
Conceptual Structures: Standards and Practices, 7 conf., ICCS '99 [LNCS1640, Springer, 1999] (3540662235,pdf,530 p.,28321K,en)
Concrete and Abstract Voronoi Diagrams [LNCS0400, Springer, 1989] (3540520554,djvu,165 p.,1694K,300dpi,en,T)
Concurrency, Graphs and Models [LNCS5065, Springer, 2008] (9783540686767,pdf,822 p.,10392K,en)
Concurrent Object-Oriented Programming and Petri Nets [LNCS2001, Springer, 2001] (354041942X,pdf,547 p.,3688K,en)
Concurrent Reactive Plans [LNCS1772, Springer, 2000] (3540672419,pdf,221 p.,4389K,en)
Conditionals in Nonmonotonic Reasoning and Belief Revision - Considering Conditionals as Agents [LNCS2087, Springer, 2001] (3540423672,pdf,161 p.,972K,en)
Constraint Databases, Proceedings of the 1 conf., CDB'04 [LNCS3074, Springer, 2004] (3540221263,pdf,194 p.,3273K,en)
Constraint Databases, Proceedings of the 1 conf., CDB'04 [LNCS3074, Springer, 2004] (3540221263,djvu,194 p.,1720K,300dpi,en,T,C)
Constraint Processing: selected papers [LNCS0923, Springer, 1995] (3540594795,djvu,281 p.,2375K,300dpi,en,T)
Constraints in Computational Logics: Theory and Applications, CCL'99 [LNCS2002, Springer, 2001] (3540419500,pdf,320 p.,2063K,en)
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2004 [LNCS3362, Springer, 2005] (3540242872,pdf,266 p.,4114K,en)
Content Computing, AWCC 2004 [LNCS3309, Springer, 2004] (3540238980,pdf,527 p.,12752K,en)
Cooperative Design, Visualization, and Engineering, 1 conf., CDVE 2004 [LNCS3190, Springer, 2004] (3540231498,pdf,261 p.,11414K,en)
Cooperative Information Agents VIII, 8 conf., CIA 2004 [LNCS3191, Springer, 2004] (3540231706,pdf,319 p.,12760K,en)
Coordination Models and Languages, 9 conf., COORDINATION 2007 [LNCS4467, Springer, 2007] (9783540727934,pdf,333 p.,3411K,en)
Coroutines: A Programming Methodology [LNCS0095, Springer, 1980] (3540102566,djvu,258 p.,1868K,300dpi,en,T)
Correct System Design [LNCS1710, Springer, 1999] (3540666249,pdf,417 p.,5930K,en)
Correct System Design [LNCS1710, Springer, 1999] (3540666249,djvu,209 p.,1628K,300dpi,en,T,C)
Creating Personalities for Synthetic Actors [LNCS1195, Springer, 1997] (3540627359,djvu,258 p.,2878K,300dpi,en,T)
Cross-Modal Analysis of Speech, Gestures, Gaze and Facial Expressions 2008 [LNCS5641, Springer, 2009] (9783642033193,pdf,449 p.,16263K,en)
Cryptographic Hardware and Embedded Systems - CHES 2002, 4 conf. [LNCS2523, Springer, 2003] (3540004092,pdf,624 p.,9366K,en)
Cryptographic Hardware and Embedded Systems - CHES 2003, 5 conf. [LNCS2779, Springer, 2003] (3540408339,pdf,453 p.,7347K,en)
Cryptographic Hardware and Embedded Systems - CHES 2004, 6 conf. [LNCS3156, Springer, 2004] (3540226664,djvu,471 p.,7541K,600dpi,en,T,C)
Cryptographic Hardware and Embedded Systems - CHES 2005, 7 conf. [LNCS3659, Springer, 2005] (3540284745,pdf,468 p.,9977K,en)
Cryptographic Hardware and Embedded Systems - CHES 2006, 8 conf. [LNCS4249, Springer, 2006] (3540465596,pdf,473 p.,10201K,en)
Cryptography - Workshop 1982 [LNCS0149, Springer, 1983] (3540119930,djvu,385 p.,2913K,300dpi,en,T)
Cryptography and Coding, 10 conf. [LNCS3796, Springer, 2005] (354030276X,pdf,469 p.,4849K,en)
Cryptography and Coding, 11 conf. [LNCS4887, Springer, 2007] (9783540772712,pdf,431 p.,4172K,en)
Cryptography and Coding, 5 conf. [LNCS1025, Springer, 1995] (3540606939,djvu,300 p.,2382K,300dpi,en,T)
Cryptography and Coding, 7 conf. [LNCS1746, Springer, 1999] (354066887X,pdf,322 p.,3988K,en)
Cryptography and Coding, 8 conf. [LNCS2260, Springer, 2001] (3540430261,pdf,424 p.,5694K,en)
Cryptography and Coding, 9 conf. [LNCS2898, Springer, 2003] (3540206639,pdf,393 p.,2369K,en)
Cryptography and Lattices, CaLC 2001 [LNCS2146, Springer, 2001] (3540424881,pdf,225 p.,1796K,en)
Cryptology and Network Security, 6 conf., CANS 2007 [LNCS4856, Springer, 2007] (9783540769682,pdf,291 p.,3567K,en)
Current Topics in Artificial Intelligence, 10 conf., CAEPIA 2003 [LNCS3040, Springer, 2004] (3540222189,djvu,707 p.,7593K,300dpi,en,T,C)
Current Topics in Artificial Intelligence, 12 conf., CAEPIA 2007 [LNCS4788, Springer, 2007] (9783540752707,pdf,289 p.,5167K,en)
Current Trends in Database Technology - EDBT 2004 [LNCS3268, Springer, 2004] (3540233059,pdf,629 p.,10802K,en)
DIANA - An Intermediate Language for Ada [LNCS0161, Springer, 1983] (3540126953,djvu,206 p.,1647K,300dpi,en,T)
DNA Computing, 12 conf., DNA12 [LNCS4287, Springer, 2006] (3540490248,pdf,450 p.,10369K,en)
DNA Computing, 13 conf., DNA13 [LNCS4848, Springer, 2008] (9783540779612,pdf,310 p.,8820K,en)
DNA Computing, 8 conf., DNA8 [LNCS2568, Springer, 2003] (3540005315,pdf,349 p.,6792K,en)
DNA Computing, 9 conf., DNA9 [LNCS2943, Springer, 2004] (3540209301,pdf,236 p.,8799K,en)
DNA Computing, 9 conf., DNA9 [LNCS2943, Springer, 2004] (3540209301,djvu,236 p.,2570K,300dpi,en,T,C)
Data Base Systems, Proceedings, 5 conf. [LNCS0039, Springer, 1976] (3540076123,djvu,392 p.,3019K,300dpi,en,T)
Data Integration in the Life Sciences, 1 conf., DILS 2004 [LNCS2994, Springer, 2004] (3540213007,pdf,232 p.,4305K,en)
Data Integration in the Life Sciences, 3 conf., DILS 2006 [LNCS4075, Springer, 2006] (3540365931,pdf,308 p.,4777K,en)
Data Integration in the Life Sciences, 4 conf., DILS 2007 [LNCS4544, Springer, 2007] (9783540732549,pdf,291 p.,3841K,en)
Data Management in Grid and Peer-to-Peer Systems, 1 conf., Globe 2008 [LNCS5187, Springer, 2008] (9783540851752,pdf,126 p.,3749K,en)
Data Mining - Theory [LNCS3755, Springer, 2006] (3540325476,pdf,340 p.,11774K,en)
Data Mining and Knowledge Management, Chinese Academy of Sciences Symposium, CASDMKM 2004 [LNCS3327, Springer, 2004] (3540239871,djvu,281 p.,2658K,300dpi,en,T,C)
Data Mining on Multimedia Data [LNCS2558, Springer, 2002] (3540003177,pdf,136 p.,1605K,en)
Data Structures and Efficient Algorithms [LNCS0594, Springer, 1992] (3540554882,djvu,396 p.,3838K,300dpi,en,T)
Data Warehousing and Knowledge Discovery, 10 conf., DaWaK 2008 [LNCS5182, Springer, 2008] (9783540858355,pdf,447 p.,8680K,en)
Data and Applications Security 23 conf. [LNCS5645, Springer, 2009] (9783642030062,pdf,324 p.,4803K,en)
Database Programming Languages, 11 conf., DBPL 2007 [LNCS4797, Springer, 2007] (9783540759867,pdf,268 p.,5213K,en)
Database Programming Languages, 9 conf., DBPL 2003 [LNCS2921, Springer, 2004] (3540208968,pdf,293 p.,6946K,en)
Database Theory - ICDT 2005, 10 conf. [LNCS3363, Springer, 2005] (3540242880,djvu,433 p.,4287K,400dpi,en,T,C)
Database and Expert Systems Applications, 15 conf., DEXA 2004 Zaragoza [LNCS3180, Springer, 2004] (3540229361,pdf,997 p.,35627K,en)
Database and Expert Systems Applications, 19 conf., DEXA 2008 [LNCS5181, Springer, 2008] (9783540856535,pdf,872 p.,17535K,en)
Database and XML Technologies, 2 conf., XSym 2004 [LNCS3186, Springer, 2004] (3540229698,pdf,249 p.,6972K,en)
Database and XML Technologies, 2 conf., XSym 2004 [LNCS3186, Springer, 2004] (3540229698,djvu,249 p.,2603K,300dpi,en,T,C)
Database and XML Technologies, 5 conf., XSym 2007 [LNCS4704, Springer, 2007] (9783540752875,pdf,148 p.,2628K,en)
Databases, Information Systems, and Peer-to-Peer Computing, 1 conf., DBISP2P [LNCS2944, Springer, 2004] (3540209689,pdf,263 p.,4455K,en)
Datatype-Generic Programming school, SSDGP 2006 [LNCS4719, Springer, 2006] (3540767851,pdf,378 p.,2693K,en)
Declarative Agent Languages and Technologies 5 conf., DALT 2007 [LNCS4897, Springer, 2008] (9783540775638,pdf,254 p.,2911K,en)
Declarative Agent Languages and Technologies 6 conf., DALT 2008 [LNCS5397, Springer, 2009] (9783540939191,pdf,261 p.,3439K,en)
Declarative Agent Languages and Technologies IV, 4 conf., DALT 2006 [LNCS4327, Springer, 2006] (3540689591,pdf,264 p.,2832K,en)
Declarative Agent Languages and Technologies, 1 conf., DALT 2003 [LNCS2990, Springer, 2004] (3540221247,pdf,295 p.,3891K,en)
Declarative Programming for Knowledge Management, 16 conf., INAP 2005 [LNCS4369, Springer, 2006] (3540692339,pdf,237 p.,4534K,en)
Deontic Logic in Computer Science, 7 conf., DEON 2004 [LNCS3065, Springer, 2004] (3540221115,pdf,286 p.,4606K,en)
Dependable Computing, 3 conf., LADC 2007 [LNCS4746, Springer, 2007] (9783540752936,pdf,251 p.,3066K,en)
Dependable Systems: Software [LNCS4028, Springer, 2006] (3540368213,pdf,305 p.,7932K,en)
Designing Smart Homes: the role of artificial intelligence [LNCS4008, Springer, 2006] (354035994X,pdf,192 p.,2354K,en)
Detection of Intrusions and Malware and Vulnerability Assessment, 2 conf., DIMVA 2005 [LNCS3548, Springer, 2005] (3540266135,pdf,251 p.,2075K,en)
Detection of Intrusions and Malware and Vulnerability Assessment, 3 conf., DIMVA 2006 [LNCS4064, Springer, 2006] (354036014X,pdf,203 p.,1993K,en)
Detection of Intrusions and Malware, and Vulnerability Assessment, 4 conf., DIMVA 2007 [LNCS4579, Springer, 2007] (9783540736134,pdf,259 p.,4404K,en)
Detection of Intrusions and Malware, and Vulnerability Assessment, 5 conf., DIMVA 2008 [LNCS5137, Springer, 2008] (9783540705413,pdf,287 p.,6057K,en)
Detection of intrusions and malware, vulnerability assessment, 6 conf., DIMVA2009 [LNCS5587, Springer, 2009] (3642029175,pdf,232 p.,3875K,en)
Deterministic and Statistical Methods in Machine Learning [LNCS3635, Springer, 2005] (3540290737,pdf,347 p.,7413K,en)
Developing Industrial Case-Based Reasoning Applications: The INRECA-Methodology [LNCS1612, Springer, 1999] (3540661824,djvu,248 p.,1730K,300dpi,en,T)
Developments in Language Theory 13 conf., DLT 2009 [LNCS5583, Springer, 2009] (9783642027369,pdf,512 p.,10883K,en)
Developments in Language Theory, 11 conf., DLT 2007 [LNCS4588, Springer, 2007] (9783540732075,pdf,432 p.,4786K,en)
Developments in Language Theory, 12 conf., DLT 2008 [LNCS5257, Springer, 2008] (9783540857792,pdf,555 p.,4249K,en)
Developments in Language Theory, 8 conf., DLT 2004 [LNCS3340, Springer, 2004] (3540240144,pdf,449 p.,8989K,en)
Dialogue Processing in Spoken Language Systems, ECAI'96 [LNCS1236, Springer, 1997] (3540631755,djvu,229 p.,2624K,300dpi,en,T)
Digital Human Modeling, 1 conf., ICDHM 2007 [LNCS4561, Springer, 2007] (9783540733188,pdf,1085 p.,27410K,en)
Digital Image Processing Systems [LNCS0109, Springer, 1981] (3540107053,djvu,358 p.,3294K,300dpi,en,T)
Digital Libraries: International Collaboration and Cross-Fertilization, 7 conf., ICADL 2004 [LNCS3334, Springer, 2004] (3540240306,pdf,713 p.,24466K,en)
Digital Libraries: Research and Development [LNCS4877, Springer, 2007] (9783540770879,pdf,359 p.,7977K,en)
Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access, 6 conf., ICADL 2003 [LNCS2911, Springer, 2003] (3540206086,djvu,724 p.,9158K,400dpi,en,T,C)
Digital Rights Management - Technological, Economic, Political Aspects [LNCS2770, Springer, 2003] (3540404651,pdf,842 p.,3761K,en)
Digital Signature Schemes [LNCS1100, Springer, 1996] (3540615172,pdf,410 p.,23142K,en)
Digital Watermarking, 5 conf., IWDW 2006 [LNCS4283, Springer, 2006] (3540488251,pdf,484 p.,7548K,en)
Digital and Image Geometry, Advanced Lectures 2000 [LNCS2243, Springer, 2001] (3540430792,pdf,454 p.,5988K,en)
Disconnected Operation in a Distributed File System [LNCS1002, Springer, 1995] (3540606270,djvu,263 p.,1902K,300dpi,en,T)
Discovery Science, 5 conf., DS 2002 [LNCS2534, Springer, 2002] (3540001883,pdf,488 p.,6805K,en)
Discrete Mathematics and Theoretical Computer Science, 4 conf., DMTCS2003 [LNCS2731, Springer, 2003] (3540405054,pdf,309 p.,3416K,en)
Discrete and Computational Geometry, Japanese Conference, JCDCG 2004 [LNCS3742, Springer, 2005] (3540304673,pdf,220 p.,3493K,en)
Distributed Algorithms 10 conf., WDAG '96 [LNCS1151, Springer, 1996] (3540617698,djvu,389 p.,3028K,300dpi,en,T)
Distributed Algorithms 2 conf. [LNCS0312, Springer, 1988] (3540193669,djvu,437 p.,3436K,300dpi,en,T)
Distributed Algorithms 3 conf. [LNCS0392, Springer, 1989] (3540516875,djvu,320 p.,2972K,300dpi,en,T)
Distributed Algorithms 4 conf., WDAG '90 [LNCS0486, Springer, 1991] (3540540997,djvu,439 p.,4436K,300dpi,en,T)
Distributed Algorithms 5 conf., WDAG '91 [LNCS0579, Springer, 1992] (3540552367,djvu,329 p.,2727K,300dpi,en,T)
Distributed Algorithms 6 conf., WDAG '92 [LNCS0647, Springer, 1992] (3540561889,djvu,390 p.,3147K,300dpi,en,T)
Distributed Algorithms 7 conf., WDAG '93 [LNCS0725, Springer, 1993] (3540572716,djvu,333 p.,2962K,300dpi,en,T)
Distributed Algorithms 8 conf., WDAG '94 [LNCS0857, Springer, 1994] (3540584498,djvu,380 p.,4225K,300dpi,en,T)
Distributed Algorithms 9 conf., WDAG '95 [LNCS0972, Springer, 1995] (3540602747,djvu,344 p.,2841K,300dpi,en,T)
Distributed Algorithms, 11 conf., WDAG '97 [LNCS1320, Springer, 1997] (3540635750,djvu,343 p.,3701K,300dpi,en,T)
Distributed Applications and Interoperable Systems, 7th IFIP WG 6.1, DAIS 2007 [LNCS4531, Springer, 2007] (9783540728818,pdf,347 p.,3870K,en)
Distributed Communities on the Web, 3 conf., DCW 2000 [LNCS1830, Springer, 2000] (3540676473,pdf,221 p.,2151K,en)
Distributed Computing and Internet Technology, 1 conf., ICDCIT 2004 [LNCS3347, Springer, 2004] (3540240756,pdf,497 p.,13730K,en)
Distributed Computing and Internet Technology, 4 conf., ICDCIT 2007 [LNCS4882, Springer, 2007] (9783540771128,pdf,358 p.,4469K,en)
Distributed Computing and Networking, 9 conf., ICDCN 2008 [LNCS4904, Springer, 2008] (9783540774433,pdf,604 p.,7787K,en)
Distributed Computing, 18 conf., DISC 2004 [LNCS3274, Springer, 2004] (3540233067,pdf,485 p.,12720K,en)
Distributed Computing, 21 conf., DISC 2007 [LNCS4731, Springer, 2007] (9783540751410,pdf,525 p.,5219K,en)
Distributed Multimedia Information Retrieval, SIGIR 2003 Workshop on Distributed Information Retrieval [LNCS2924, Springer, 2004] (3540208755,pdf,185 p.,5030K,en)
Distributed Programming Paradigms with Cryptography Applications [LNCS0870, Springer, 1994] (354058496X,djvu,183 p.,888K,300dpi,en,T)
Distributed Reason Maintenance for Multiagent Systems [LNCS1229, Springer, 1997] (3540636064,djvu,303 p.,2477K,300dpi,en,T)
Document Analysis Systems VI, 6 conf., DAS 2004 [LNCS3163, Springer, 2004] (3540230602,djvu,580 p.,13810K,600dpi,en,T,C)
Domain-Specific Program Generation 2003 [LNCS3016, Springer, 2004] (3540221190,pdf,337 p.,3361K,en)
Drawing Graphs, Methods and Models 1999 [LNCS2025, Springer, 2001] (3540420622,pdf,324 p.,3357K,en)
Dynamical Vision, ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006 [LNCS4358, Springer, 2007] (9783540709312,pdf,322 p.,17008K,en)
E-Commerce and Web Technologies, 5 conf., EC-Web 2004 [LNCS3182, Springer, 2004] (3540229175,pdf,385 p.,11568K,en)
E-Commerce and Web Technologies, 9 conf., EC-Web 2008 [LNCS5183, Springer, 2008] (9783540857167,pdf,155 p.,3331K,en)
ECOOP 2007 - Object-Oriented Programming, 21 conf. [LNCS4609, Springer, 2007] (9783540735885,pdf,636 p.,8097K,en)
EUROCAL '85 [LNCS0203, Springer, 1985] (3540159835,djvu,238 p.,2257K,300dpi,en,T)
EUROCAL '85 [LNCS0204, Springer, 1985] (3540159843,djvu,666 p.,6005K,300dpi,en,T)
EUROCAL '87 [LNCS0378, Springer, 1989] (3540515178,djvu,506 p.,4937K,300dpi,en,T)
EUROSAM '84 [LNCS0174, Springer, 1984] (354013350X,djvu,407 p.,3399K,300dpi,en,T)
Edinburgh LCF [LNCS0078, Springer, 1979] (3540097244,djvu,167 p.,887K,300dpi,en,T)
Efficiency and Effectiveness of XML Tools and Techniques and Data Integration over the Web, VLDB 2002, CAiSE 2002 [LNCS2590, Springer, 2003] (3540007369,pdf,279 p.,3662K,en)
Efficient approximation and online algorithms [LNCS3484, Springer, 2006] (3540322124,pdf,354 p.,3020K,en)
Electronic Government: 3 conf., EGOV 2004 [LNCS3183, Springer, 2004] (3540229167,pdf,607 p.,6997K,en)
Embedded Processor Design Challenges: Systems [LNCS2268, Springer, 2002] (3540433228,pdf,334 p.,3282K,en)
Embedded and Ubiquitous Computing, EUC 2007 [LNCS4808, Springer, 2007] (9783540770916,pdf,788 p.,29161K,en)
Emergent Neural Computational Architectures Based on Neuroscience - Towards Neuroscience-Inspired Computing [LNCS2036, Springer, 2001] (354042363X,pdf,586 p.,8622K,en)
Empirical Methods and Studies in Software Engineering [LNCS2765, Springer, 2003] (3540406727,pdf,328 p.,2498K,en)
Empirical Software Engineering Issues: Critical Assessment and Future Directions [LNCS4336, Springer, 2007] (9783540713005,pdf,209 p.,1760K,en)
Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004 [LNCS3425, Springer, 2005] (3540260978,pdf,408 p.,6923K,en)
Engineering Psychology and Cognitive Ergonomics, 7 conf., EPCE 2007 [LNCS4562, Springer, 2007] (9783540733300,pdf,894 p.,9521K,en)
Engineering Self-Organising Systems, 4 conf., ESOA 2006 [LNCS4335, Springer, 2007] (9783540698678,pdf,220 p.,2538K,en)
Engineering Societies in the Agents World 4 conf., ESAW 2003 [LNCS3071, Springer, 2004] (3540222316,pdf,427 p.,9693K,en)
Engineering Societies in the Agents World 7 conf., ESAW 2006 [LNCS4457, Springer, 2007] (9783540755227,pdf,411 p.,5868K,en)
Engineering Societies in the Agents World 9 conf., ESAW 2008 [LNCS5485, Springer, 2009] (9783642025617,pdf,277 p.,6229K,en)
Engineering Stochastic Local Search Algorithms, SLS 2007 [LNCS4638, Springer, 2007] (9783540744450,pdf,231 p.,3710K,en)
Entertainment Computing - ICEC 2004 [LNCS3166, Springer, 2004] (3540229477,pdf,645 p.,24959K,en)
Environments for Multi-Agent Systems 3 conf., E4MAS 2006 [LNCS4389, Springer, 2007] (9783540711025,pdf,281 p.,3996K,en)
Euro-Par 2004 Parallel Processing, 10 conf. [LNCS3149, Springer, 2004] (3540229248,pdf,1116 p.,21252K,en)
European Symposium on Programming, 1 conf., ESOP '86 [LNCS0213, Springer, 1986] (3540164421,djvu,380 p.,3632K,300dpi,en,T)
European Symposium on Programming, 2 conf., ESOP '88 [LNCS0300, Springer, 1988] (3540190279,djvu,386 p.,4235K,300dpi,en,T)
European Symposium on Programming, 3 conf., ESOP '90 [LNCS0432, Springer, 1990] (3540525920,djvu,444 p.,4800K,300dpi,en,T)
European Symposium on Programming, 4 conf., ESOP '92 [LNCS0582, Springer, 1992] (3540552537,djvu,500 p.,4423K,300dpi,en,T)
Evaluating Natural Language Processing Systems [LNCS1083, Springer, 1996] (3540613099,djvu,241 p.,1927K,300dpi,en,T)
Evolution and Biocomputation [LNCS0899, Springer, 1995] (3540590463,djvu,284 p.,2981K,300dpi,en,T)
Evolution of Parallel Cellular Machines [LNCS1194, Springer, 1997] (3540626131,pdf,204 p.,12322K,en)
Evolutionary Computation in Combinatorial Optimization, 4 conf., EvoCOP 2004 [LNCS3004, Springer, 2004] (3540213678,pdf,255 p.,10012K,en)
Evolutionary Computation in Combinatorial Optimization, 6 conf., EvoCOP 2006 [LNCS3906, Springer, 2006] (3540331786,pdf,303 p.,2971K,en)
Evolutionary Computation in Combinatorial Optimization, 7 conf., EvoCOP 2007 [LNCS4446, Springer, 2007] (9783540716143,pdf,250 p.,2938K,en)
Evolutionary Computing [LNCS1305, Springer, 1997] (3540634762,djvu,304 p.,4295K,300dpi,en,T)
Evolutionary Multi-Criterion Optimization, 4 conf., EMO 2007 [LNCS4403, Springer, 2007] (3540709274,pdf,971 p.,22980K,en)
Evolutionary Multi-Criterion Optimization, 5 conf., EMO 2009 [LNCS5467, Springer, 2009] (9783642010194,pdf,598 p.,14268K,en)
Exercises in Computer Systems Analysis [LNCS0035, Springer, 1975] (3540074015,djvu,187 p.,1376K,300dpi,en,T)
Experience Management: Foundations [LNCS2432, Springer, 2002] (3540441913,djvu,401 p.,3016K,400dpi,en,T)
Experiences with Distributed Systems [LNCS0309, Springer, 1988] (3540193332,djvu,298 p.,2809K,300dpi,en,T)
Experimental Algorithmics, From Algorithm Design to Robust and Efficient Software 2000 [LNCS2547, Springer, 2002] (3540003460,pdf,295 p.,2354K,en)
Experimental Algorithms 5 conf. [LNCS4007, Springer, 2006] (3540345973,pdf,337 p.,6247K,en)
Experimental Algorithms 7 conf. [LNCS5038, Springer, 2008] (3540685480,pdf,370 p.,4720K,en)
Experimental Algorithms, 6 conf., WEA 2007 [LNCS4525, Springer, 2007] (9783540728443,pdf,458 p.,5410K,en)
Experimental and Efficient Algorithms, 3 conf., WEA 2004 [LNCS3059, Springer, 2004] (3540220674,pdf,597 p.,16069K,en)
Experimental and Efficient Algorithms, 4 conf., WEA 2005 [LNCS3503, Springer, 2005] (3540259201,pdf,636 p.,10102K,en)
Extensions of the UNITY Methodology - Compositionality [LNCS0908, Springer, 1995] (3540591737,djvu,181 p.,1100K,300dpi,en,T)
Extraction and Exploitation of Intensional Knowledge from Heterogeneous Information Sources: Semi-Automatic Approaches and Tools [LNCS2282, Springer, 2002] (3540433473,djvu,284 p.,2418K,400dpi,en,T)
FM8501: A Verified Microprocessor [LNCS0795, Springer, 1994] (3540579605,djvu,338 p.,1202K,300dpi,en,T)
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24 conf. [LNCS3328, Springer, 2004] (3540240586,djvu,553 p.,4847K,300dpi,en,T,C)
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science, 27 conf. [LNCS4855, Springer, 2007] (9783540770497,pdf,570 p.,5389K,en)
Fast Software Encryption 1 conf. [LNCS0809, Springer, 1994] (3540581081,djvu,232 p.,1735K,300dpi,en,T)
Fast Software Encryption 10 conf. [LNCS2887, Springer, 2003] (3540204490,pdf,405 p.,2389K,en)
Fast Software Encryption 11 conf. [LNCS3017, Springer, 2004] (3540221719,pdf,495 p.,3757K,en)
Fast Software Encryption 12 conf. [LNCS3557, Springer, 2005] (3540265414,pdf,451 p.,3155K,en)
Fast Software Encryption 13 conf. [LNCS4047, Springer, 2006] (3540365974,pdf,442 p.,4817K,en)
Fast Software Encryption 14 conf. [LNCS4593, Springer, 2007] (354074617X,pdf,475 p.,4861K,en)
Fast Software Encryption 2 conf. [LNCS1008, Springer, 1995] (3540605908,djvu,376 p.,2809K,300dpi,en,T)
Fast Software Encryption 3 conf. [LNCS1039, Springer, 1996] (3540608656,djvu,222 p.,1756K,300dpi,en,T)
Fast Software Encryption 4 conf. [LNCS1267, Springer, 1997] (3540632476,djvu,294 p.,2275K,300dpi,en,T)
Fast Software Encryption 5 conf. [LNCS1372, Springer, 1998] (354064265X,pdf,304 p.,4218K,en)
Fast Software Encryption 6 conf. [LNCS1636, Springer, 1999] (354066226X,pdf,324 p.,2364K,en)
Fast Software Encryption 7 conf. [LNCS1978, Springer, 2001] (3540417281,pdf,321 p.,2277K,en)
Fast Software Encryption 8 conf. [LNCS2355, Springer, 2002] (3540438696,pdf,359 p.,3129K,en)
Fast Software Encryption 9 conf. [LNCS2365, Springer, 2002] (3540440097,pdf,286 p.,1977K,en)
Fast Software Encryption, 15 conf., FSE 2008 [LNCS5086, Springer, 2008] (9783540710387,pdf,498 p.,5340K,en)
Fault Diagnosis and Tolerance in Cryptography, 3 conf., FDTC 2006 [LNCS4236, Springer, 2006] (3540462503,pdf,263 p.,2596K,en)
Fault-Tolerant Distributed Computing 1986 [LNCS0448, Springer, 1990] (3540973850,djvu,284 p.,2636K,300dpi,en,T)
Field Programmable Logic and Applications, 14 conf., FPL 2004 [LNCS3203, Springer, 2004] (3540229892,pdf,1159 p.,22301K,en)
Field-Programmable Logic, Architectures, Synthesis and Applications, 4 conf., FPL '94 [LNCS0849, Springer, 1994] (3540584196,pdf,433 p.,22464K,en)
Financial Cryptography and Data Security, 11 conf., FC 2007 [LNCS4886, Springer, 2008] (9783540773658,pdf,418 p.,6093K,en)
Financial Cryptography and Data Security, 12 conf., FC 2008 [LNCS5143, Springer, 2008] (9783540852292,pdf,336 p.,4483K,en)
Financial Cryptography, 8 conf., FC 2004 [LNCS3110, Springer, 2004] (3540224203,pdf,294 p.,4170K,en)
Finite Representations of CCS and TCSP Programs by Automata and Petri Nets [LNCS0369, Springer, 1989] (3540515259,djvu,176 p.,1344K,300dpi,en,T)
Focusing Solutions for Data Mining: Analytical Studies and Experimental Results in Real-World Domains [LNCS1623, Springer, 1999] (3540664297,pdf,316 p.,3460K,en)
Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004 [LNCS3228, Springer, 2005] (3540244220,pdf,305 p.,8365K,en)
Formal Approaches to Agent-Based Systems, 3 conf., FAABS 2004 [LNCS3228, Springer, 2005] (3540244220,djvu,305 p.,3427K,400dpi,en,T,C)
Formal Approaches to Software Testing, 3 conf., FATES 2003 [LNCS2931, Springer, 2004] (3540208941,pdf,264 p.,7050K,en)
Formal Aspects in Security and Trust, 4 conf., FAST 2006 [LNCS4691, Springer, 2007] (9783540752264,pdf,292 p.,3123K,en)
Formal Aspects of Cognitive Processes [LNCS0022, Springer, 1975] (3540070168,djvu,219 p.,1830K,300dpi,en,T)
Formal Concept Analysis [LNCS3626, Springer, 2005] (3540278915,pdf,360 p.,6531K,en)
Formal Concept Analysis, 3 conf., ICFCA 2005 [LNCS3403, Springer, 2005] (3540245251,pdf,427 p.,9608K,en)
Formal Concept Analysis, 5 conf., ICFCA 2007 [LNCS4390, Springer, 2007] (3540708286,pdf,337 p.,4240K,en)
Formal Concept Analysis, 6 conf., ICFCA 2008 [LNCS4933, Springer, 2008] (9783540781363,djvu,334 p.,3329K,400dpi,en,T)
Formal Concept Analysis, 7 conf., ICFCA 2009 [LNCS5548, Springer, 2009] (9783642018145,pdf,349 p.,17395K,en)
Formal Foundations for Software Engineeing Methods [LNCS1322, Springer, 1997] (3540636137,djvu,288 p.,2328K,300dpi,en,T)
Formal Methods and Software Engineering, 9 conf., ICFEM 2007 [LNCS4789, Springer, 2007] (9783540766483,pdf,395 p.,4383K,en)
Formal Methods at the Crossroads, 10 conf., UNU-IIST 2002 [LNCS2757, Springer, 2003] (3540205276,pdf,468 p.,3535K,en)
Formal Methods for Components and Objects, 2 conf., FMCO 2003 [LNCS3188, Springer, 2004] (3540229426,pdf,385 p.,7469K,en)
Formal Methods for Components and Objects, 4 conf., FMCO 2005 [LNCS4111, Springer, 2006] (3540367497,pdf,435 p.,3941K,en)
Formal Methods for Components and Objects, 5 conf., FMCO 2006 [LNCS4709, Springer, 2007] (9783540747918,pdf,304 p.,3253K,en)
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control 1995 [LNCS1165, Springer, 1996] (3540619291,djvu,519 p.,4930K,300dpi,en,T)
Formal Methods for Mobile Computing, 5 conf., SFM-Moby 2005 [LNCS3465, Springer, 2005] (3540256970,pdf,277 p.,2947K,en)
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1, FMOODS 2003 [LNCS2884, Springer, 2003] (3540204911,pdf,303 p.,4393K,en)
Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1, FMOODS 2007 [LNCS4468, Springer, 2007] (9783540729198,pdf,326 p.,3653K,en)
Formal Methods for Performance Evaluation, 7 school, SFM 2007 [LNCS4486, Springer, 2007] (9783540724827,pdf,475 p.,4926K,en)
Formal Methods for Software Architectures, 3 school, SFM 2003 [LNCS2804, Springer, 2003] (3540200835,pdf,293 p.,3805K,en)
Formal Methods for the Design of Real-Time Systems, SFM-RT 2004 [LNCS3185, Springer, 2004] (3540230688,pdf,301 p.,2365K,en)
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 [LNCS3312, Springer, 2004] (3540237380,pdf,465 p.,12035K,en)
Formal Methods in Computer-Aided Design, 5 conf., FMCAD 2004 [LNCS3312, Springer, 2004] (3540237380,djvu,465 p.,7874K,600dpi,en,T,C)
Formal Methods in Software and Systems Modeling [LNCS3393, Springer, 2005] (3540249362,pdf,432 p.,4404K,en)
Formal Methods: foundations and Applications, 12 conf., SBMF2009 [LNCS5902, Springer, 2009] (3642104517,pdf,360 p.,3631K,en)
Formal Modeling and Analysis of Timed Systems, 5 conf., FORMATS 2007 [LNCS4763, Springer, 2007] (9783540754534,pdf,378 p.,4386K,en)
Formal Modeling and Analysis of Timed Systems, 6 conf., FORMATS 2008 [LNCS5215, Springer, 2008] (9783540857778,pdf,304 p.,3922K,en)
Formal Program Development - IFIP TC2-WG 2.1 State-of-the-Art Report [LNCS0755, Springer, 1993] (3540574999,djvu,378 p.,2606K,300dpi,en,T)
Formal Syntax and Semantics of Java [LNCS1523, Springer, 1999] (3540661581,pdf,408 p.,3385K,en)
Formal Techniques for Distributed Systems, 11 conf., FMOODS 2009, FORTE 2009 [LNCS5522, Springer, 2009] (9783642021374,pdf,259 p.,3124K,en)
Foundations and Applications of Multi-Agent Systems, UKMAS Workshop 1996-2000 [LNCS2403, Springer, 2002] (3540439625,pdf,268 p.,2419K,en)
Foundations of Augmented Cognition, 3 conf., FAC 2007 [LNCS4565, Springer, 2007] (9783540732150,pdf,466 p.,8979K,en)
Foundations of Fuzzy Logic and Soft Computing, 12 conf., IFSA 2007 [LNCS4529, Springer, 2007] (9783540729174,pdf,836 p.,8616K,en)
Foundations of Genetic Algorithms, 8 conf., FOGA 2005 [LNCS3469, Springer, 2005] (3540272372,pdf,325 p.,3212K,en)
Foundations of Inductive Logic Programming [LNCS1228, Springer, 1997] (3540629270,djvu,410 p.,3372K,300dpi,en,T)
Foundations of Information and Knowledge Systems, 3 conf., FoIKS 2004 [LNCS2942, Springer, 2004] (3540209654,pdf,330 p.,3501K,en)
Foundations of Information and Knowledge Systems, 5 conf., FoIKS 2008 [LNCS4932, Springer, 2008] (9783540776833,pdf,415 p.,4048K,en)
Foundations of Logic and Functional Programming [LNCS0306, Springer, 1988] (3540191291,djvu,222 p.,1666K,300dpi,en,T)
Foundations of Security Analysis and Design 3 conf., FOSAD 2004-2005 Tutorial Lectures [LNCS3655, Springer, 2005] (3540289550,pdf,279 p.,2622K,en)
Foundations of Software Science and Computational Structures, 11 conf., FOSSACS 2008 [LNCS4962, Springer, 2008] (9783540784975,pdf,518 p.,5352K,en)
Foundations of Software Technology and Theoretical Computer Science, 20 conf., FST TCS 2000 [LNCS1974, Springer, 2000] (3540414134,pdf,543 p.,5879K,en)
From Integrated Publication and Information Systems to Virtual Information and Knowledge Environments [LNCS3379, Springer, 2005] (3540245510,pdf,340 p.,7910K,en)
From QoS Provisioning to QoS Charging, 3th COST 263 on Quality of Future Internet Services, QofIS 2002 [LNCS2511, Springer, 2002] (3540443568,pdf,368 p.,7233K,en)
From Web to Social Web: Discovering and Deploying User and Content Profiles, WebMine 2006 [LNCS4737, Springer, 2007] (9783540749509,pdf,169 p.,3018K,en)
Frontiers in Algorithmics, 1 conf., FAW 2007 [LNCS4613, Springer, 2007] (9783540738138,pdf,356 p.,4637K,en)
Frontiers in Algorithmics, 2 conf., FAW 2008 [LNCS5059, Springer, 2008] (9783540693109,pdf,359 p.,4984K,en)
Frontiers of High Performance Computing and Networking - ISPA 2006 Workshops, ISPA 2006s [LNCS4331, Springer, 2006] (3540498605,djvu,1186 p.,17119K,600dpi,en,T)
Fun with Algorithms, 4 conf., FUN 2007 [LNCS4475, Springer, 2007] (9783540729136,pdf,281 p.,3311K,en)
Functional and Logic Programming, 4 conf., FLOPS'99 [LNCS1722, Springer, 1999] (354066677X,pdf,378 p.,5831K,en)
Functional and Logic Programming, 5 conf., FLOPS 2001 [LNCS2024, Springer, 2001] (3540417397,pdf,399 p.,9424K,en)
Functional and Logic Programming, 6 conf., FLOPS 2002 [LNCS2441, Springer, 2002] (3540442332,pdf,314 p.,3115K,en)
Functional and Logic Programming, 7 conf., FLOPS 2004 [LNCS2998, Springer, 2004] (354021402X,pdf,319 p.,5553K,en)
Functional and Logic Programming, 8 conf., FLOPS 2006 [LNCS3945, Springer, 2006] (3540334386,pdf,302 p.,2468K,en)
Functional and Logic Programming, 9 conf., FLOPS 2008 [LNCS4989, Springer, 2008] (3540789685,pdf,346 p.,4973K,en)
Fundamental Approaches to Software Engineering, 11 conf., FASE 2008 [LNCS4961, Springer, 2008] (9783540787426,pdf,441 p.,7093K,en)
Fundamentals of Computation Theory, 10 conf., FCT '95 [LNCS0965, Springer, 1995] (3540602496,djvu,444 p.,4056K,300dpi,en,T)
Fundamentals of Computation Theory, 11 conf., FCT '97 [LNCS1279, Springer, 1997] (3540633863,djvu,485 p.,5265K,300dpi,en,T)
Fundamentals of Computation Theory, 12 conf., FCT '99 [LNCS1684, Springer, 1999] (3540664122,pdf,581 p.,4253K,en)
Fundamentals of Computation Theory, 13 conf., FCT 2001 [LNCS2138, Springer, 2001] (3540424873,pdf,553 p.,4047K,en)
Fundamentals of Computation Theory, 14 conf., FCT 2003 [LNCS2751, Springer, 2003] (3540405437,pdf,443 p.,2985K,en)
Fundamentals of Computation Theory, 15 conf., FCT 2005 [LNCS3623, Springer, 2005] (3540281932,pdf,589 p.,5230K,en)
Fundamentals of Computation Theory, 16 conf., FCT 2007 [LNCS4639, Springer, 2007] (3540742395,pdf,519 p.,4459K,en)
Fundamentals of Computation Theory, 8 conf., FCT '91 [LNCS0529, Springer, 1991] (3540544585,djvu,436 p.,4063K,300dpi,en,T)
Fundamentals of Computation Theory, 9 conf., FCT '93 [LNCS0710, Springer, 1993] (3540571639,djvu,481 p.,4064K,300dpi,en,T)
Fundamentals of Computation Theory, FCT '85 [LNCS0199, Springer, 1985] (3540156895,djvu,553 p.,5599K,300dpi,en,T)
Fundamentals of Computation Theory, FCT'77 [LNCS0056, Springer, 1977] (3540084428,djvu,547 p.,5765K,300dpi,en,T)
Fundamentals of Computation Theory, FCT'81 [LNCS0117, Springer, 1981] (3540108548,djvu,479 p.,4713K,300dpi,en,T)
Fundamentals of Computation Theory, FCT'83 [LNCS0158, Springer, 1983] (3540126899,djvu,526 p.,4655K,300dpi,en,T)
Fundamentals of Computation Theory, FCT'87 [LNCS0278, Springer, 1987] (3540187405,djvu,519 p.,5924K,300dpi,en,T)
Fundamentals of Computation Theory, FCT'89 [LNCS0380, Springer, 1989] (3540514988,djvu,503 p.,4892K,300dpi,en,T)
Future Directions in Distributed Computing [LNCS2584, Springer, 2003] (3540009124,pdf,224 p.,2192K,en)
Future Internet - FIS 2008, 1 conf., FIS 2008 [LNCS5468, Springer, 2009] (9783642009846,djvu,194 p.,2928K,400dpi,en,T)
Fuzzy Systems and Knowledge Discovery, 3 conf., FSKD 2006 [LNCS4223, Springer, 2006] (3540459162,pdf,1361 p.,18615K,en)
General Theory of Information Transfer and Combinatorics [LNCS4123, Springer, 2006] (3540462449,pdf,1137 p.,7240K,en)
Generic Model Management: Concepts and Algorithms [LNCS2967, Springer, 2004] (3540219803,pdf,236 p.,2143K,en)
Genetic Programming, 7 conf., EuroGP2004 [LNCS3003, Springer, 2004] (3540213465,pdf,425 p.,15684K,en)
Genetic and Evolutionary Computation - GECCO 2004 [LNCS3102, Springer, 2004] (3540223444,pdf,1496 p.,31846K,en)
Genetic and Evolutionary Computation - GECCO 2004 [LNCS3103, Springer, 2004] (3540223436,pdf,1489 p.,30217K,en)
GeoSensor Networks, 2 conf., GSN 2006 [LNCS4540, Springer, 2008] (9783540799955,djvu,272 p.,3294K,400dpi,en,T)
GeoSpatial Semantics, 2 conf., GeoS 2007 [LNCS4853, Springer, 2007] (9783540768753,pdf,296 p.,4909K,en)
Geographic Information Science, 3 conf., GIScience 2004 [LNCS3234, Springer, 2004] (3540235582,djvu,357 p.,4072K,300dpi,en,T,C)
Global Computing: Programming Environments, Languages, Security, and Analysis of Systems, IST-FET, GC 2003 [LNCS2874, Springer, 2003] (3540205837,pdf,273 p.,4218K,en)
Global Optimization and Constraint Satisfaction, 1 conf., COCOS 2002 [LNCS2861, Springer, 2003] (3540204636,pdf,242 p.,3012K,en)
Grammatical Inference: Algorithms and Applications, 7 conf., ICGI 2004 [LNCS3264, Springer, 2004] (3540234101,djvu,309 p.,2889K,300dpi,en,T,C)
Graph Drawing, 8 conf., GD 2000 [LNCS1984, Springer, 2001] (3540415548,pdf,430 p.,8432K,en)
Graph Drawing, 10 conf., GD 2002 [LNCS2528, Springer, 2002] (3540001581,pdf,400 p.,8527K,en)
Graph Drawing, 11 conf., GD 2003 [LNCS2912, Springer, 2004] (3540208313,pdf,555 p.,17902K,en)
Graph Drawing, 12 conf., GD 2004 [LNCS3383, Springer, 2004] (3540245286,pdf,547 p.,14020K,en)
Graph Drawing, 14 conf., GD 2006 [LNCS4372, Springer, 2007] (9783540709039,pdf,465 p.,16070K,en)
Graph Drawing, 15 conf., GD 2007 [LNCS4875, Springer, 2008] (9783540775362,pdf,422 p.,16602K,en)
Graph Drawing, 16 conf., GD 2008 [LNCS5417, Springer, 2009] (9783642002182,pdf,471 p.,22348K,en)
Graph Drawing, 5 conf., GD '97 [LNCS1353, Springer, 1997] (3540639381,pdf,459 p.,34130K,en)
Graph Drawing, 6 conf., GD'98 [LNCS1547, Springer, 1998] (3540654739,pdf,480 p.,8729K,en)
Graph Drawing, 7 conf., GD'99 [LNCS1731, Springer, 1999] (3540669043,pdf,434 p.,6053K,en)
Graph Drawing, 9 conf., GD 2001 Vienna [LNCS2265, Springer, 2002] (3540433090,pdf,536 p.,9645K,en)
Graph Transformations, 2 conf., ICGT 2004 [LNCS3256, Springer, 2004] (3540232079,pdf,467 p.,14257K,en)
Graph-Theoretic Concepts in Computer Science 14 conf., WG '88 [LNCS0344, Springer, 1989] (3540507280,djvu,466 p.,4032K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 15 conf., WG '89 [LNCS0411, Springer, 1990] (3540522921,djvu,381 p.,3933K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 16 conf., WG '90 [LNCS0484, Springer, 1991] (3540538321,djvu,368 p.,4227K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 17 conf., WG '91 [LNCS0570, Springer, 1992] (3540551212,djvu,262 p.,2389K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 18 conf., WG '92 [LNCS0657, Springer, 1993] (3540564020,djvu,359 p.,2794K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 19 conf., WG '93 [LNCS0790, Springer, 1994] (3540578994,djvu,440 p.,3926K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 20 conf., WG '94 [LNCS0903, Springer, 1995] (3540590714,djvu,423 p.,3242K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 21 conf., WG '95 [LNCS1017, Springer, 1995] (3540606181,djvu,414 p.,3385K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 22 conf., WG '96 [LNCS1197, Springer, 1997] (3540625593,djvu,420 p.,3676K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science 23 conf., WG '97 [LNCS1335, Springer, 1997] (3540637575,djvu,384 p.,3571K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science, 24 conf., WG '98 [LNCS1517, Springer, 1998] (3540651950,pdf,393 p.,3900K,en)
Graph-Theoretic Concepts in Computer Science, 25 conf., WG '99 [LNCS1665, Springer, 1999] (3540667318,pdf,427 p.,6410K,en)
Graph-Theoretic Concepts in Computer Science, 26 conf., WG 2000 [LNCS1928, Springer, 2000] (3540411836,pdf,323 p.,1675K,en)
Graph-Theoretic Concepts in Computer Science, 27 conf., WG 2001 [LNCS2204, Springer, 2001] (3540427074,pdf,338 p.,2323K,en)
Graph-Theoretic Concepts in Computer Science, 28 conf., WG 2002 [LNCS2573, Springer, 2002] (3540003312,pdf,432 p.,3354K,en)
Graph-Theoretic Concepts in Computer Science, 29 conf., WG 2003 [LNCS2880, Springer, 2003] (3540204520,pdf,395 p.,2848K,en)
Graph-Theoretic Concepts in Computer Science, 30 conf., WG 2004 [LNCS3353, Springer, 2004] (3540241329,djvu,421 p.,3985K,300dpi,en,T,C)
Graph-Theoretic Concepts in Computer Science, 32 conf., WG 2006 [LNCS4271, Springer, 2006] (3540483810,pdf,367 p.,4182K,en)
Graph-Theoretic Concepts in Computer Science, 34 conf., WG 2008 [LNCS5344, Springer, 2008] (3540922474,pdf,395 p.,4538K,en)
Graph-Theoretic Concepts in Computer Science, WG '80 [LNCS0100, Springer, 1981] (3540102914,djvu,413 p.,3055K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science, WG '86 [LNCS0246, Springer, 1987] (3540172181,djvu,313 p.,2792K,300dpi,en,T)
Graph-Theoretic Concepts in Computer Science, WG '87 [LNCS0314, Springer, 1988] (3540194223,djvu,259 p.,2331K,300dpi,en,T)
Graphics Recognition, Recent Advances and Perspectives, 5 conf., GREC 2003 [LNCS3088, Springer, 2004] (3540224785,pdf,400 p.,9002K,en)
Grid Computing 1 conf. [LNCS2970, Springer, 2004] (3540210482,pdf,343 p.,6521K,en)
Grid Economics and Business Models, 4 conf., GECON 2007 [LNCS4685, Springer, 2007] (9783540744283,pdf,211 p.,2768K,en)
Grid Services Engineering and Management, 1 conf., GSEM 2004 [LNCS3270, Springer, 2004] (3540233016,pdf,181 p.,2646K,en)
Groupware: Design, Implementation and Use: 10 conf., CRIWG 2004 [LNCS3198, Springer, 2004] (3540230165,pdf,393 p.,8244K,en)
HCI and Usability for Medicine and Health Care, 3 conf., USAB 2007 [LNCS4799, Springer, 2007] (9783540768043,pdf,472 p.,9360K,en)
Haptic and Audio Interaction Design, 2 conf., HAID 2007 [LNCS4813, Springer, 2007] (9783540767015,pdf,156 p.,3386K,en)
Hardware and Software: Verification and Testing, 3 conf., HVC 2007 [LNCS4899, Springer, 2008] (9783540779643,pdf,287 p.,6675K,en)
Hardware and Software: Verification and Testing, 3 conf., HVC 2007 [LNCS4899, Springer, 2008] (9783540779643,djvu,287 p.,2639K,400dpi,en,T)
Heterogeneous Objects Modelling and Applications [LNCS4889, Springer, 2008] (9783540684411,pdf,292 p.,11206K,en)
Hierarchical Neural Networks for Image Interpretation [LNCS2766, Springer, 2003] (3540407227,pdf,244 p.,7789K,en)
High Performance Computing - HiPC 2004, 11 conf. [LNCS3296, Springer, 2004] (3540241299,pdf,560 p.,19283K,en)
High Performance Computing - HiPC 2007, 14 conf. [LNCS4873, Springer, 2007] (9783540772194,pdf,687 p.,10513K,en)
High Performance Embedded Architectures and Compilers, 3 conf., HiPEAC 2008 [LNCS4917, Springer, 2008] (9783540775591,pdf,406 p.,7348K,en)
High Performance Embedded Architectures and Compilers, 4 conf., HiPEAC 2009 [LNCS5409, Springer, 2009] (9783540929895,pdf,431 p.,11341K,en)
High Speed Networks and Multimedia Communications, 7 conf., HSNMC 2004 [LNCS3079, Springer, 2004] (3540222626,pdf,1125 p.,25565K,en)
High-Performance Computing and Networking, 8 conf., HPCN Europe 2000 [LNCS1823, Springer, 2000] (3540675531,pdf,737 p.,8019K,en)
High-Performance Computing: 6 conf., ISHPC 2005 [LNCS4759, Springer, 2008] (9783540777038,pdf,550 p.,22678K,en)
Human Interface and the Management of Information: Interacting in Information Environments 2007 [LNCS4558, Springer, 2007] (9783540733539,pdf,1178 p.,27550K,en)
Human Interface and the Management of Information: Methods, Techniques and Tools in Information Design 2007 [LNCS4557, Springer, 2007] (9783540733447,pdf,1045 p.,18096K,en)
Human Motion - Understanding, Modeling, Capture and Animation, 2 conf., Human Motion 2007 [LNCS4814, Springer, 2007] (9783540757023,pdf,336 p.,15881K,en)
Human-Computer Interaction: Interaction Design and Usability [LNCS4550, Springer, 2007] (3540731040,pdf,1257 p.,20940K,en)
Hybrid Learning and Education, 1 conf., ICHL 2008 [LNCS5169, Springer, 2008] (9783540851691,pdf,484 p.,8100K,en)
Hybrid Metaheuristics, 4 conf., HM 2007 [LNCS4771, Springer, 2007] (9783540755135,pdf,210 p.,2325K,en)
Hybrid Neural Systems 1998 [LNCS1778, Springer, 2000] (3540673059,pdf,410 p.,3250K,en)
Hybrid Systems 4 conf. [LNCS1273, Springer, 1997] (3540633588,djvu,416 p.,5089K,300dpi,en,T)
Hybrid Systems [LNCS0736, Springer, 1993] (3540573186,djvu,481 p.,3315K,300dpi,en,T)
Hybrid Systems: Computation and Control, 10 conf., HSCC 2007 [LNCS4416, Springer, 2007] (9783540714927,pdf,812 p.,13324K,en)
Hybrid Systems: Computation and Control, 7 conf., HSCC 2004 [LNCS2993, Springer, 2004] (3540212590,pdf,687 p.,12596K,en)
Image Analysis, 15 conf., SCIA 2007 [LNCS4522, Springer, 2007] (9783540730392,pdf,1000 p.,25788K,en)
Image and Video Retrieval 3 conf., CIVR 2004 [LNCS3115, Springer, 2004] (3540225390,pdf,698 p.,13377K,en)
Image and Video Retrieval, 5 conf., CIVR 2006 [LNCS4071, Springer, 2006] (3540360182,pdf,554 p.,15601K,en)
Implementation and Application of Automata, 10 conf., CIAA 2005 [LNCS3845, Springer, 2006] (3540310231,pdf,369 p.,3749K,en)
Implementation and Application of Automata, 11 conf., CIAA 2006 [LNCS4094, Springer, 2006] (354037213X,pdf,300 p.,3847K,en)
Implementation and Application of Automata, 5 conf., CIAA 2000 [LNCS2088, Springer, 2001] (3540424911,pdf,352 p.,2170K,en)
Implementation and Application of Automata, 6 conf., CIAA 2001 [LNCS2494, Springer, 2002] (3540004009,pdf,298 p.,3562K,en)
Implementation and Application of Automata, 7 conf., CIAA 2002 [LNCS2608, Springer, 2003] (3540403914,pdf,317 p.,2486K,en)
Implementation and Application of Automata, 8 conf., CIAA 2003 [LNCS2759, Springer, 2003] (3540405615,pdf,323 p.,4042K,en)
Implementation and Application of Functional Languages, 16 conf., IFL 2004 [LNCS3474, Springer, 2005] (3540260943,pdf,235 p.,1851K,en)
Implementation and Application of Functional Languages, 17 conf., IFL 2005 [LNCS4015, Springer, 2006] (354069174X,pdf,238 p.,2277K,en)
Implementation and Application of Functional Languages, 18 conf., IFL 2006 [LNCS4449, Springer, 2006] (3540741291,pdf,279 p.,2691K,en)
Implementation and Application of Functional Languages, 19 conf., IFL 2007 [LNCS5083, Springer, 2007] (3540853723,pdf,283 p.,2284K,en)
Implementation and Applications of Automata, 13 conf., CIAA 2008 [LNCS5148, Springer, 2008] (9783540708438,pdf,298 p.,3739K,en)
Implementation of Functional Languages, 10 conf., IFL'98 [LNCS1595, Springer, 1999] (3540662294,pdf,255 p.,3605K,en)
Implementation of Functional Languages, 11 conf., IFL'99 [LNCS1868, Springer, 2000] (3540678646,pdf,204 p.,1881K,en)
Implementation of Functional Languages, 12 conf., IFL 2000 [LNCS2011, Springer, 2001] (3540419195,pdf,274 p.,1444K,en)
Implementation of Functional Languages, 13 conf., IFL 2002 Stockholm [LNCS2312, Springer, 2002] (3540435379,pdf,193 p.,1293K,en)
Implementation of Functional Languages, 14 conf., IFL 2002 [LNCS2670, Springer, 2003] (3540401903,pdf,257 p.,1473K,en)
Implementation of Functional Languages, 15 conf., IFL 2003 [LNCS3145, Springer, 2004] (3540237275,pdf,196 p.,3019K,en)
Implementation of Functional Languages, 8 conf., IFL'96 [LNCS1268, Springer, 1997] (3540632379,djvu,295 p.,2721K,300dpi,en,T)
Implementation of Functional Languages, 9 conf., IFL'97 [LNCS1467, Springer, 1998] (3540648496,pdf,382 p.,4600K,en)
Inconsistency Tolerance [LNCS3300, Springer, 2005] (3540242600,pdf,299 p.,4524K,en)
Incremental Speech Translation [LNCS1735, Springer, 1999] (3540667539,pdf,212 p.,961K,en)
Independent Component Analysis and Signal Separation, 7 conf., ICA 2007 [LNCS4666, Springer, 2007] (9783540744931,pdf,863 p.,24124K,en)
Inductive Logic Programming, 14 conf., ILP 2004 [LNCS3194, Springer, 2004] (3540229418,djvu,377 p.,3248K,300dpi,en,T,C)
Inductive Logic Programming, 16 conf., ILP 2006 [LNCS4455, Springer, 2006] (3540738460,pdf,466 p.,5372K,en)
Inductive Logic Programming, 17 conf., ILP 2007 [LNCS4894, Springer, 2007] (3540784683,pdf,317 p.,4778K,en)
Inductive Logic Programming, 18 conf., ILP 2008 [LNCS5194, Springer, 2008] (3540859276,pdf,358 p.,4125K,en)
Inductive Logic Programming, 7 conf., ILP-97 [LNCS1297, Springer, 1997] (3540635149,djvu,317 p.,3671K,300dpi,en,T)
Inductive Synthesis of Functional Programs [LNCS2654, Springer, 2003] (3540401741,pdf,365 p.,1513K,en)
Inference Control in Statistical Databases [LNCS2316, Springer, 2002] (3540436146,djvu,238 p.,1648K,400dpi,en,T)
Informatics - 10 Years Back, 10 Years Ahead [LNCS2000, Springer, 2001] (3540416358,djvu,378 p.,3497K,400dpi,en,T)
Information Extraction in the Web Era: Natural Language Communication for Knowledge Acquisition, SCIE 2002 [LNCS2700, Springer, 2003] (3540405798,pdf,175 p.,1716K,en)
Information Hiding, 6 conf., IH 2004 [LNCS3200, Springer, 2004] (3540242074,pdf,385 p.,8853K,en)
Information Hiding, 8 conf., IH 2006 [LNCS4437, Springer, 2007] (9783540741237,pdf,395 p.,8319K,en)
Information Networking, Networking Technologies for Broadband and Mobile Networks, ICOIN 2004 [LNCS3090, Springer, 2004] (3540230343,djvu,1071 p.,10825K,300dpi,en,T,C)
Information Processing in Medical Imaging, 16 conf., IPMI'99 [LNCS1613, Springer, 1999] (3540661670,pdf,526 p.,10734K,en)
Integer Optimization by Local Search [LNCS1637, Springer, 1999] (3540663673,pdf,131 p.,763K,en)
Isabelle-HOL - A Proof Assistant for Higher-Order Logic [LNCS2283, Springer, 2002] (3540433767,pdf,231 p.,824K,en)
LNCS-titles-short (txt.gz,210K,en)
Daehlen, Floater, Schumaker. (eds.) Mathematical methods for curves and surfaces: 7th int. conf., MMCS 2008, Tonsberg [LNCS5862, Springer, 2010] (3642116191,pdf,453 p.,9284K,en)
Geurts F. Abstract Compositional Analysis of Iterated Relations: A Structural Approach to Complex State Transition Systems [LNCS1426, Springer, 1998] (3540655069,pdf,282 p.,1920K,en)
Goldblatt R. Axiomatising the Logic of Computer Programming [LNCS0130, Springer, 1982] (3540112103,djvu,313 p.,1670K,300dpi,en,T)
Hoelldobler S. Foundations of Equational Logic Programming [LNAI0353, Springer, 1989] (354051533X,djvu,259 p.,1743K,300dpi,en,T)
--------------------------------------------------------------------------------
top / Mathematics
--------------------------------------------------------------------------------
top / Mathematics / Algebra
--------------------------------------------------------------------------------
top / Mathematics / Algebra / Mathematical logic
Teller P. Errata to A Modern Formal Logic Primer, Volumes I and II (djvu,4 p.,26K,300dpi,en,T,K)
