Theory of Computation.
概要
| 作品: | 101 作品在 101 項出版品 101 種語言 | |
|---|---|---|
書目資訊
The realism-antirealism debate in the age of alternative logics[electronic resource] /
by:
(書目-語言資料,印刷品)
The universe as automaton[electronic resource] :from simplicity and symmetry to complexity /
by:
(書目-語言資料,印刷品)
Computational complexity[electronic resource] :theory, techniques, and applications /
by:
(書目-語言資料,印刷品)
Transactions on petri nets and other models of concurrency V[electronic resource] /
by:
(書目-語言資料,印刷品)
Theory and practice of computation[electronic resource] :Workshop on Computation: Theory and Practice Quezon City, Philippines, September 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Quantum interaction[electronic resource] :6th international symposium, QI 2012, Paris, France, June 27-29, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Natural computing[electronic resource] :2nd international workshop on natural computing, Nagoya, Japan, December 2007 : proceedings /
by:
(書目-語言資料,印刷品)
Field-coupled nanocomputing[electronic resource] :paradigms, progress, and perspectives /
by:
(書目-語言資料,印刷品)
Foundations of security analysis and design VII[electronic resource] :FOSAD 2012/2013 tutorial lectures /
by:
(書目-語言資料,印刷品)
Mathematical software - ICMS 2014[electronic resource] :4th International Congress, Seoul, South Korea, August 5-9, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Constructivity and computability in historical and philosophical perspective[electronic resource] /
by:
(書目-語言資料,印刷品)
Supercomputing[electronic resource] :29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Applied cryptography and network security[electronic resource] :12th International Conference, ACNS 2014, Lausanne, Switzerland, June 10-13, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on computational science XXIII[electronic resource] :special issue on cyberworlds /
by:
(書目-語言資料,印刷品)
Theory and principled methods for the design of metaheuristics[electronic resource] /
by:
(書目-語言資料,印刷品)
Pairing-based cryptography - Pairing 2013[electronic resource] :6th International Conference, Beijing, China, November 22-24, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and operational semantics[electronic resource] :a concise overview /
by:
(書目-語言資料,印刷品)
Model-driven software migration[electronic resource] :a methodology : Reengineering, recovery and modernization of legacy systems /
by:
(書目-語言資料,印刷品)
High performance computing[electronic resource] :30th International Conference, ISC High Performance 2015, Frankfurt, Germany, July 12-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Behavior modeling[electronic resource] :foundations and applications : International Workshops, BM-FA 2009-2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Biomimetic and biohybrid systems[electronic resource] :4th International Conference, Living Machines 2015, Barcelona, Spain, July 28 - 31, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Bridging constraint satisfaction and Boolean satisfiability[electronic resource] /
by:
(書目-語言資料,印刷品)
Energy time series forecasting[electronic resource] :efficient and accurate forecasting of evolving time series from the energy domain /
by:
(書目-語言資料,印刷品)
Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Introduction to concurrency theory[electronic resource] :transition systems and CCS /
by:
(書目-語言資料,印刷品)
Algorithmic learning theory[electronic resource] :26th International Conference, ALT 2015, Banff, AB, Canada, October 4-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Graph and model transformation[electronic resource] :general framework and applications /
by:
(書目-語言資料,印刷品)
The digital synaptic neural substrate[electronic resource] :a new approach to computational creativity /
by:
(書目-語言資料,印刷品)
An introduction to online computation[electronic resource] :determinism, randomization, advice /
by:
(書目-電子資源)
An introduction to transfer entropy[electronic resource] :information flow in complex systems /
by:
(書目-語言資料,印刷品)
主題