-
Electron spin resonance (ESR) based quantum computing
Electron paramagnetic resonance;Quantum computing
Berliner, Lawrence J;Hanson, Graeme;Takui, Takeji - Springer 2016
-
Cryptography made simple
Cryptography;Data encryption (Computer science)
Smart, Nigel P - Springer 2016
-
Polynomial translation of mobile ambients into safe petri nets : understanding a calculus of hierarchical protection domains, A
Computer science;Petri nets
Göbel, Susanne - Springer Vieweg 2016
-
Structured object-oriented formal language and method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015, Revised selected papers
Formal methods (Computer science);Object-oriented methods (Computer science);Conference papers and proceedings
Duan, Zhenhua;Liu, Shaoying - Springer 2016
-
Applications of evolutionary computation : 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30-April 1, 2016, Proceedings, Part I
Evolutionary computation;Conference papers and proceedings
Burelli, Paolo;Squillero, Giovanni - Springer 2016
-
WALCOM : algorithms and computation : 10th International Workshop, WALCOM 2016, Kathmandu, Nepal, March 29-31, 2016, Proceedings
Computer algorithms;Conference papers and proceedings
Kaykobad, Mohammad;Petreschi, Rossella - Springer 2016
-
Encyclopedia of algorithms
Algorithms;Computer algorithms;Encyclopedias
Kao, Ming-Yang - SpringerReference 2016 Second edition.
-
Principles and methods of quantum information technologies
Quantum computing
Semba, Kouichi;Yamamoto, Yoshihisa - Springer 2016
-
Skyrmions in Magnetic Materials
Electronics;Magnetic materials;Magnetism;Nanochemistry;Nuclear physics;Optical materials;Physics;Quantum computers;Spintronics
Seki, Shinichiro;Mochizuki, Masahito - Springer 2016 1st ed. 2016.
-
Experimental algorithms : 15th International Symposium, SEA 2016, St. Petersburg, Russia, June 5-8, 2016, proceedings
Computer algorithms;Software engineering;Conference papers and proceedings
Goldberg, Andrew V;Kulikov, Alexander S - Springer 2016
-
Cellular automata and discrete complex systems : 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings
Cellular automata;Computer science;Conference papers and proceedings
Cook, Matthew;Neary, Turlough - Springer 2016
-
Theory and applications of satisfiability testing -- SAT 2016 : 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings
Computer algorithms;Computer software;Conference papers and proceedings
Creignou, Nadia;Le Berre, Daniel - Springer 2016
-
Application and theory of petri nets and concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings
Computer multitasking;Petri nets;Conference papers and proceedings
Kordon, Fabrice;Moldt, Daniel - Springer 2016
-
Pursuit of the universal : 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27-July 1, 2016, Proceedings
Computable functions;Computer science;Conference papers and proceedings
Beckmann, Arnold;Bienvenu, Laurent;Jonoska, Nataša - Springer 2016
-
Frontiers in algorithmics : 10th International Workshop, FAW 2016, Qingdao, China, June 30-July 2, 2016, Proceedings
Computer algorithms;Conference papers and proceedings
Bereg, Sergey;Zhu, Daming - Springer 2016
-
Turing computability : theory and applications
Computable functions;Computer science;Turing test
Soare, R. I - Springer 2016
-
Reversible computation : 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings
Algorithms;Computer logic;Computer science;Computers;Logic design;Programming languages (Electronic computers);Quantum computers;Reversible computing;Conference papers and proceedings
Devitt, Simon;Lanese, Ivan - Springer 2016
-
Algorithmic aspects in information and management : 11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings
Computer algorithms;Management science;Conference papers and proceedings
Dondi, Riccardo;Fertin, Guillaume;Mauri, Gian Carlo - Springer 2016
-
Developments in language theory : 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings
Formal languages;Conference papers and proceedings
Brlek, Srečko;Reutenauer, Christophe - Springer 2016
-
Logic, language, information, and computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
Language and logic;Logic, Symbolic and mathematical;Conference papers and proceedings
Hirvonen, Åsa;Queiroz, Ruy J. G. B. de;Väänänen, J - Springer 2016