Mathematics of Computing.

The P=NP question and Godel's lost letter by: (書目-電子資源)

Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Mathematical foundations of computer science 2009 = 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems = 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2009 : proceedings / by: (書目-電子資源)

High Performance Computing in Science and Engineering `07 = Transactions of the High Performance Computing Center, Stuttgart (HLRS) 2007 / by: (書目-電子資源)

Combinatorial Optimization = Theory and Algorithms / by: (書目-電子資源)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part I / by: (書目-電子資源)

Design of Adaptive Finite Element Software = The Finite Element Toolbox ALBERTA / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2011, Jinhua, China, May 28-31, 2011 : proceedings / by: (書目-電子資源)

Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings / by: (書目-電子資源)

Abstract state machines, Alloy, B and Z = second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings / by: (書目-電子資源)

High performance computing in science and engineering '08 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2008 / by: (書目-電子資源)

Mathematical Tools for Data Mining = Set Theory, Partial Orders, Combinatorics / by: (書目-電子資源)

Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings / by: (書目-電子資源)

Algorithms - ESA 2009 = 17th annual European symposium, Copenhagen, Denmark, September 7-9 : proceedings / by: (書目-電子資源)

Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings / by: (書目-電子資源)

An Annotated Timeline of Operations Research = An Informal History / by: (書目-電子資源)

High performance computing in science and engineering '10 = transactions of the High Performance Computing Center, Stuttgart (HLRS) 2010 / by: (書目-電子資源)

Fractional calculus for scientists and engineers by: (書目-電子資源)

Advances in automatic differentiation by: (書目-電子資源)

A Practical Programming Model for the Multi-Core Era = 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings / by: (書目-電子資源)

OpenMP shared memory parallel programming = international workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006 : proceedings / by: (書目-電子資源)

Mathematics and computation, a contemporary view = the abel symposium 2006 proceedings of the third abel symposium, Alesund, Norway, May 25-27, 2006 / by: (書目-電子資源)

Cryptology and Network Security = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 5th international conference, TAMC 2008, Xi'an, China, April 25-29, 2008 ; proceedings / by: (書目-電子資源)

Visualization and processing of tensor fields = advances and perspectives / by: (書目-電子資源)

Fete of combinatorics and computer science by: (書目-電子資源)

Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers / by: (書目-電子資源)

Deterministic extraction from weak random sources by: (書目-電子資源)

Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings / by: (書目-電子資源)

Approximation and computation = in honor of Gradimir V. Milovanovic / by: (書目-電子資源)

Computer science - theory and applications = 3rd International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008 : proceedings / by: (書目-電子資源)

Logic and Theory of Algorithms = 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings / by: (書目-電子資源)

Logic and the foundations of game and decision theory - LOFT 8 = 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, revised selected papers / by: (書目-電子資源)

Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / by: (書目-電子資源)

Mathematical Modeling, Simulation, Visualization and e-Learning by: (書目-電子資源)

High-Performance Computing = 6th International Symposium, ISHPC 2005, Nara, Japan, September 7-9, 2005, First International Workshop on Advanced Low Power Systems, ALPS 2006, Revised Selected Papers / by: (書目-電子資源)

Dissemination of Information in Communication Networks = Broadcasting, Gossiping, Leader Election, and Fault-Tolerance / by: (書目-電子資源)

Shared Memory Parallel Programming with Open MP = 5th International Workshop on Open MP Application and Tools, WOMPAT 2004, Houston, TX, USA, May 17-18, 2004 / by: (書目-電子資源)

Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers / by: (書目-電子資源)

The Next Wave in Computing, Optimization, and Decision Technologies by: (書目-電子資源)

Mathematics of discrete structures for computer science by: (書目-電子資源)

Apartness and uniformity = a constructive development / by: (書目-電子資源)

Programming for engineers = a foundational approach to learning C and Matlab / by: (書目-電子資源)

Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings / by: (書目-電子資源)

Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings / by: (書目-電子資源)

Mathematical foundations of scientific visualization, computer graphics, and massive data explorationm by: (書目-電子資源)

The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings / by: (書目-電子資源)

Graph Theory by: (書目-電子資源)

Domain Decomposition Methods in Science and Engineering by: (書目-電子資源)

Algorithmic aspects in information and management = 5th international conference, AAIM 2009, San Francisco, CA, USA, June 15-17, 2009 : proceedings / by: (書目-電子資源)

Frontiers in algorithmics and algorithmic aspects in information and management = joint international conference, FAW-AAIM 2012, Beijing, China, May 14-16, 2012 : proceedings / by: (書目-電子資源)

High performance computing for computational science = VECPAR 2010 : 9th international conference, Berkeley, CA, USA, June 22-25, 2010 : revised selected papers / by: (書目-電子資源)

Patterns in permutations and words by: (書目-電子資源)

High performance networking, computing, communication systems, and mathematical foundations = international conferences, ICHCC 2009-ICTMF 2009, Sanya, Hainan Island, China, December 13-14, 2009 : proceedings / by: (書目-電子資源)

Graphs, networks, and algorithms by: (書目-電子資源)

Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers / by: (書目-電子資源)

Matrix-Based Multigrid = Theory and Applications / by: (書目-電子資源)

Handbook of weighted automata by: (書目-電子資源)

Theoretical and mathematical foundations of computer science = second international conference, ICTMF 2011, Singapore, May 5-6, 2011, selected papers / by: (書目-電子資源)

The algorithm design manual by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

New Computational Paradigms = First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings / by: (書目-電子資源)

Deontic logic in computer science = 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings / by: (書目-電子資源)

Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings / by: (書目-電子資源)

QoS in Packet Networks by: (書目-電子資源)

Logic programming = 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 : proceedings / by: (書目-電子資源)

Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings / by: (書目-電子資源)

Computer science - theory and applications = 4th International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009 : Proceedings / by: (書目-電子資源)

Contemporary Cryptology by: (書目-電子資源)

High Performance Computing and Communications : = First International Conference, HPCC 2005, Sorrento, Italy, September, 21-23, 2005, Proceedings by: (書目-電子資源)

Service oriented infrastructures and cloud service platforms for the enterprise = a selection of common capabilities validated in real-life business trials by the BEinGRID consortium / by: (書目-電子資源)

Mathematical methods in computer science = essays in memory of Thomas Beth / by: (書目-電子資源)

Typed lambda calculi and applications = 9th international conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009 : proceedings/ by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part II / by: (書目-電子資源)

Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings / by: (書目-電子資源)

Categories for Software Engineering by: (書目-電子資源)

Grid generation methods by: (書目-電子資源)

Parallel processing and applied mathematics = 7th international conference, PPAM 2007, Gdansk, Poland, September 9-12, 2007 revised selected papers / by: (書目-電子資源)

High performance computing - HiPC 2008 = 15th international conference, Bangalore, India, December 17-20, 2008, proceedings / by: (書目-電子資源)

Automata, languages and programming = 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 : proceedings.. Part I / by: (書目-電子資源)

Biomedical image registration = 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012 : proceedings / by: (書目-電子資源)

Unconventional computation = 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings / by: (書目-電子資源)

Applied parallel and scientific computing = 10th International Conference, PARA 2010, Reykjavik, Iceland, June 6-9, 2010 : revised selected papers.. Part II / by: (書目-電子資源)

A Modern Perspective on Type Theory = From its Origins until Today / by: (書目-電子資源)

Database theory and application, bio-science and bio-Technology = International Conferences, DTA and BSBT 2010, held as part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010, proceedings / by: (書目-電子資源)

Tutorials on Emerging Methodologies and Applications in Operations Research = Presented at Informs 2004, Denver, CO / by: (書目-電子資源)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part II / by: (書目-電子資源)

High Performance Computing for Computational Science - VECPAR 2004 = 6th International Conference, Valencia, Spain, June 28-30, 2004, Revised Selected and Invited Papers / by: (書目-電子資源)

Parallel processing and applied mathematics = 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009 : revised selected papers.. part I / by: (書目-電子資源)

Foundations of Generic Optimization. 2. Applications of Fuzzy Control, Genetic Algorithms and Neural Networks / by: (書目-電子資源)

Mathematics of approximation by: (書目-電子資源)

Logical analysis of hybrid systems = proving theorems for complex dynamics / by: (書目-電子資源)

Computability of Julia sets by: (書目-電子資源)

Computation, physics and beyond = International Workshop on Theoretical Computer Science, WTCS 2012, Dedicated to Cristian S. Calude on the Occasion of His 60th Birthday, Auckland, New Zealand, February 21-24, 2012 : revised selected and invited papers / by: (書目-電子資源)

Dynamical Systems = Examples of Complex Behaviour / by: (書目-電子資源)

Constraint Theory = Multidimensional Mathematical Model Management / by: (書目-電子資源)

Domain Decomposition Methods for the Numerical Solution of Partial Differential Equations by: (書目-電子資源)

Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday / by: (書目-電子資源)

Handbook of large-scale random networks by: (書目-電子資源)

Algorithmic aspects in information and management = 6th International Conference, AAIM 2010, Weihai, China, July 19-21, 2010 : proceedings / by: (書目-電子資源)

Graphs, Networks and Algorithms by: (書目-電子資源)

Triangulations = structures for algorithms and applications / by: (書目-電子資源)

Domain Decomposition Methods �X Algorithms and Theory by: (書目-電子資源)

Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers / by: (書目-電子資源)

High Performance Computing - HiPC 2005 = 12th International Conference, Goa, India, December 18-21, 2005. Proceedings / by: (書目-電子資源)

Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings / by: (書目-電子資源)

Algorithmic algebraic combinatorics and Grobner bases by: (書目-電子資源)

Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings / by: (書目-電子資源)

Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings / by: (書目-電子資源)

Post-quantum cryptography by: (書目-電子資源)

Digital imaging and communications in medicine (DICOM) = a practical introduction and survival guide / by: (書目-電子資源)

Quaternions for computer graphics by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Mathematica = a problem-centered approach / by: (書目-電子資源)

A proof theory for description logics by: (書目-電子資源)

Digital Imaging and Communications in Medicine (DICOM) = A Practical Introduction and Survival Guide / by: (書目-電子資源)

Boolean function complexity = advances and frontiers / by: (書目-電子資源)

Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers / by: (書目-電子資源)

Combinatorial optimization = theory and algorithms / by: (書目-電子資源)

Abstract state machines, Alloy, B, VDM, and Z = third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012 : proceedings / by: (書目-電子資源)

Integrated methods for optimization by: (書目-電子資源)

Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings / by: (書目-電子資源)

Computer science = theory and applications : 6th international computer science symposium in Russia, CSR 2011, St. Petersburg, Russia, June 14-18, 2011 : proceedings / by: (書目-電子資源)

Spectral methods = algorithms, analysis and applications / by: (書目-電子資源)

Developments in language theory = 13th international conference, DLT 2009, Stuttgart, Germany, June 30 - July 3, 2009 ; proceedings / by: (書目-電子資源)

Mathematical theory and computational practice = 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009 : Proceedings / by: (書目-電子資源)

Transactions on computational science XI = special issue on security in computing, part II / by: (書目-電子資源)

Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings / by: (書目-電子資源)

Geometric algebra = an algebraic system for computer games and animation/ by: (書目-電子資源)

OpenMP in a New Era of Parallelism = 4th international workshop, IWOMP 2008, West Lafayette, IN, USA, May 12-14, 2008 : proceedings / by: (書目-電子資源)

Logic, language, information and computation = 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings / by: (書目-電子資源)

The mathematics of language = 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, revised selected papers / by: (書目-電子資源)

Theory and applications of satisfiability testing - SAT 2010 = 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010 : proceedings / by: (書目-電子資源)

A 25-Year perspective on logic programming = achievements of the Italian Association for Logic Programming, GULP / by: (書目-電子資源)

Adaptive and Natural Computing Algorithms = Proceedings of the International Conference in Coimbra, Portugal, 2005 / by: (書目-電子資源)

Computer science - theory and applications = 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010 : proceedings / by: (書目-電子資源)

Theory and applications of models of computation = 7th annual conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010 : proceedings / by: (書目-電子資源)

Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings / by: (書目-電子資源)

The block cipher companion by: (書目-電子資源)

Computational Electromagnetics by: (書目-電子資源)

Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / by: (書目-電子資源)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings / by: (書目-電子資源)

Frontiers in algorithmics = 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010, proceedings / by: (書目-電子資源)

Mathematics and modern art = proceedings of the First ESMA Conference, held in Paris, July 19-22, 2010 / by: (書目-電子資源)

Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings / by: (書目-電子資源)

Computational logic in multi-agent systems = b9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers / by: (書目-電子資源)

The modern algebra of information retrieval by: (書目-電子資源)

Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings / by: (書目-電子資源)

A primer on scientific programming with Python by: (書目-電子資源)

Computer science - theory and applications = 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012 : proceedings / by: (書目-電子資源)

Foundations of Generic Optimization. Volume 1,. A Combinatorial Approach to Epistasis / by: (書目-電子資源)

Handbook of continued fractions for special functions by: (書目-電子資源)