Springer Nature

Publisher
E-book, Algebraic and Coalgebraic Methods in the Mathematics of Program Construction : International Summer School and Workshop, Oxford, UK, April 10-14, 2000 : Revised Lectures, Springer Nature

Workspace
E-book, Computational Discrete Mathematics : Advanced Lectures, Springer Nature

Workspace
E-book, Advanced Lectures on Networking : NETWORKING 2002, Springer Nature

Workspace
E-book, Association Rule Mining : Models and Algorithms, Springer Nature

Workspace
E-book, Generic Programming : Advanced Lectures, Springer Nature

Workspace
E-book, Optimal Interprocedural Program Optimization : A New Framework and Its Application, Springer Nature

Workspace
E-book, Lectures on Data Security : Modern Cryptology in Theory and Practice, Springer Nature

Workspace
E-book, Isabelle/HOL : A Proof Assistant for Higher-Order Logic, Springer Nature

Workspace
E-book, Foundations of Intelligent Systems : 12th International Symposium, ISMIS 2000, Charlotte, NC, USA October 11-14, 2000 Proceedings, Springer Nature

Workspace
E-book, Embedded Processor Design Challenges : Systems, Architectures, Modeling, and Simulation - SAMOS, Springer Nature

Workspace
E-book, Formal Methods for Software Architectures : Third International School on Formal Methods for the Design of Computer, Communication and Software Systems, Springer Nature

Workspace
E-book, Network Calculus : A Theory of Deterministic Queuing Systems for the Internet, Springer Nature

Workspace
E-book, Compiler Optimizations for Scalable Parallel Systems : Languages, Compilation Techniques, and Run Time Systems, Springer Nature

Workspace
E-book, Consolidated Ada Reference Manual : Language and Standard Libraries, Springer Nature

Workspace
E-book, Constraints in Computational Logics : International Summer School, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999 Revised Lectures : Theory and Applications, Springer Nature

Workspace
E-book, Automata, Logics, and Infinite Games : A Guide to Current Research, Springer Nature

Workspace
E-book, Computational Combinatorial Optimization : Optimal or Provably Near-Optimal Solutions, Springer Nature

Workspace
Page 4270 of 4270
Select All
Start
4268
4269
4270