Information technology

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

50 Years of AI.. Essays Dedicated to the 50th Anniversary of Artificial Intelligence(LNCS4850, Springer, 2007)(ISBN 9783540772958)(400dpi)(T)(O)(407s)

A Calculus of Communicating Systems(LNCS0092, Springer, 1980)(ISBN 3540102353)(T)(O)(176s) CsLn

A Collection of Test Problems for Constrained Global Optimization Problems(LNCS0455, Springer, 1990)(ISBN 3540530320)(T)(O)(193s) CsLn

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

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

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

A Future for Knowledge Acquisition, 8 conf., EKAW`94(LNCS0867, Springer, 1994)(ISBN 3540584870)(T)(O)(426s) CsLn

A Hierarchical Associative Processing System(LNCS0195, Springer, 1985)(ISBN 3540156526)(T)(O)(285s) CsLn

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

A Perspective of Constraint-Based Reasoning - An Introductory Tutorial(LNCS0597, Springer, 1992)(ISBN 3540555102)(T)(O)(127s) CsLn

A Practical Programming Model for the Multi-Core Era, 3 conf., IWOMP 2007(LNCS4935, Springer, 2008)(ISBN 9783540693024)(217s)

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

A Resolution Principle for a Logic with Restricted Quantifiers(LNCS0568, Springer, 1991)(ISBN 3540550348)(T)(O)(122s) CsLn

A Review of Ada Tasking(LNCS0262, Springer, 1987)(ISBN 3540180087)(T)(O)(140s) CsLn

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

[1] 2 3 4 5 > >>

Information technology