Central Library Search for 'su:"Computer science" and se:Lecture Notes in Computer Science,'

Business Process Management

. XVI, 355 p. 124 illus. 9783642401763

Place Hold on Business Process Management

Central European Functional Programming School

. VII, 507 p. 122 illus. 9783319159409

Place Hold on Central European Functional Programming School

Statistical Language and Speech Processing

. XI, 285 p. 68 illus. 9783319113975

Place Hold on Statistical Language and Speech Processing

Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV

. VII, 115 p. 41 illus. 9783662457146

Place Hold on Transactions on Large-Scale Data- and Knowledge-Centered Systems XIV

Database and Expert Systems Applications

. XXXI, 578 p. 175 illus. 9783319228495

Place Hold on Database and Expert Systems Applications

Coordination Models and Languages

. XIV, 279 p. 83 illus. 9783319395197

Place Hold on Coordination Models and Languages

Theory and Applications of Satisfiability Testing - SAT 2013

. XVI, 437 p. 84 illus. 9783642390715

Place Hold on Theory and Applications of Satisfiability Testing - SAT 2013

Transactions on Computational Collective Intelligence XXII

. IX, 219 p. 86 illus. in color. 9783662496190

Place Hold on Transactions on Computational Collective Intelligence XXII

Developments in Language Theory

. XVII, 407 p. 48 illus. 9783662531327

Place Hold on Developments in Language Theory

Automata, Languages, and Programming

. XXXIX, 717 p. 65 illus. 9783662476666

Place Hold on Automata, Languages, and Programming

Mathematical Foundations of Computer Science 2015

. XXVI, 459 p. 51 illus. 9783662480571

Place Hold on Mathematical Foundations of Computer Science 2015

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII

. XI, 207 p. 84 illus. 9783662464854

Place Hold on Transactions on Large-Scale Data- and Knowledge-Centered Systems XVIII

Multi-Agent Systems

. XVII, 426 p. 87 illus. 9783319171302

Place Hold on Multi-Agent Systems

Human-Centered Software Engineering

. XIV, 323 p. 61 illus. 9783662448113

Place Hold on Human-Centered Software Engineering

Computer Vision - ACCV 2012 Workshops

. XXXIV, 609 p. 318 illus. 9783642374845

Place Hold on Computer Vision - ACCV 2012 Workshops

Database Systems for Advanced Applications

. XXII, 643 p. 247 illus. 9783319181202

Place Hold on Database Systems for Advanced Applications

Computational Science and Its Applications - ICCSA 2016

. XXVII, 636 p. 207 illus. 9783319420929

Place Hold on Computational Science and Its Applications - ICCSA 2016

New Horizons in Web Based Learning

. XXIV, 364 p. 105 illus. 9783662434543

Place Hold on New Horizons in Web Based Learning

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

. XXIII, 974 p. 256 illus. 9783319471662

Place Hold on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Logic, Language, Information, and Computation

. X, 283 p. 15 illus. 9783642399923

Place Hold on Logic, Language, Information, and Computation

Tools and Algorithms for the Construction and Analysis of Systems

. XVIII, 652 p. 142 illus. 9783642548628

Place Hold on Tools and Algorithms for the Construction and Analysis of Systems

Generative and Transformational Techniques in Software Engineering IV

. XII, 449 p. 112 illus. 9783642359927

Place Hold on Generative and Transformational Techniques in Software Engineering IV

Neural Information Processing

. XVIII, 638 p. 288 illus. 9783642420511

Place Hold on Neural Information Processing

Computational Linguistics and Intelligent Text Processing

. XXIV, 581 p. 116 illus. 9783642549038

Place Hold on Computational Linguistics and Intelligent Text Processing

Evolution of Telecommunication Services

. XII, 327 p. 105 illus. 9783642415692

Place Hold on Evolution of Telecommunication Services

The Semantic Web - ISWC 2013

. XXXII, 740 p. 181 illus. 9783642413353

Place Hold on The Semantic Web - ISWC 2013

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

. XXXII, 573 p. 219 illus. 9783642418273

Place Hold on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

Collaboration and Technology

. XIV, 323 p. 96 illus. 9783642413476

Place Hold on Collaboration and Technology

The Semantic Web - ISWC 2013

. XXXII, 468 p. 135 illus. 9783642413384

Place Hold on The Semantic Web - ISWC 2013

Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

. XXXII, 563 p. 170 illus. 9783642418228

Place Hold on Progress in Pattern Recognition, Image Analysis, Computer Vision, and Applications

CONCUR 2013 - Concurrency Theory

. XIV, 562 p. 83 illus. 9783642401848

Place Hold on CONCUR 2013 - Concurrency Theory

Computer Analysis of Images and Patterns

. XXII, 583 p. 279 illus. 9783642402463

Place Hold on Computer Analysis of Images and Patterns

Fundamentals of Software Engineering

. XIX, 283 p. 85 illus. 9783642402135

Place Hold on Fundamentals of Software Engineering

Fundamentals of Computation Theory

. XII, 318 p. 45 illus. 9783642401640

Place Hold on Fundamentals of Computation Theory

Advances in Brain Inspired Cognitive Systems

. XIV, 418 p. 144 illus. 9783642387869

Place Hold on Advances in Brain Inspired Cognitive Systems

Agreement Technologies

. X, 241 p. 59 illus. 9783642398605

Place Hold on Agreement Technologies

Data and Applications Security and Privacy XXVII

. XIV, 305 p. 71 illus. 9783642392566

Place Hold on Data and Applications Security and Privacy XXVII

Algorithms and Data Structures

. XIV, 538 p. 132 illus. 9783642401046

Place Hold on Algorithms and Data Structures

Automated Deduction - CADE-24

. XVI, 466 p. 95 illus. 9783642385742

Place Hold on Automated Deduction - CADE-24

Advances in Data Mining. Applications and Theoretical Aspects

. X, 281 p. 73 illus. 9783642397363

Place Hold on Advances in Data Mining. Applications and Theoretical Aspects

Unifying Theories of Programming and Formal Engineering Methods

. XII, 283 p. 50 illus. 9783642397219

Place Hold on Unifying Theories of Programming and Formal Engineering Methods

Financial Cryptography and Data Security

. XVI, 406 p. 70 illus. 9783642398841

Place Hold on Financial Cryptography and Data Security

Distributed, Ambient, and Pervasive Interactions

. XXII, 519 p. 231 illus. 9783642393518

Place Hold on Distributed, Ambient, and Pervasive Interactions

Detection of Intrusions and Malware, and Vulnerability Assessment

. XII, 207 p. 55 illus. 9783642392351

Place Hold on Detection of Intrusions and Malware, and Vulnerability Assessment

Clinical Image-Based Procedures. From Planning to Intervention

. X, 132 p. 59 illus. 9783642380792

Place Hold on Clinical Image-Based Procedures. From Planning to Intervention

Artificial Intelligence in Medicine

. XX, 316 p. 74 illus. 9783642383267

Place Hold on Artificial Intelligence in Medicine

Information Security and Cryptology

. XII, 393 p. 61 illus. 9783642385193

Place Hold on Information Security and Cryptology

Logic-Based Program Synthesis and Transformation

. X, 245 p. 36 illus. 9783642381973

Place Hold on Logic-Based Program Synthesis and Transformation

End-User Development

. XII, 311 p. 83 illus. 9783642387067

Place Hold on End-User Development

Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky

. XX, 365 p. 26 illus. 9783642381645

Place Hold on Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky