Search Results for Machines.

20 sonuç bulundu

Tümünü Seç

1 2

000000000000DEFAULTTR

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy, July 30 – August 1, 2014. Proceedings

Yazar

Duff, Armin. editor.

http://dx.doi.org/10.1007/978-3-319-09435-9

Format:

Electronic Resources

Alıntı:

Biomimetic and Biohybrid Systems Third International Conference, Living Machines 2014, Milan, Italy

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

Yazar

Ait Ameur, Yamine. editor.

http://dx.doi.org/10.1007/978-3-662-43652-3

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings

Yazar

Boniol, Frédéric. editor.

http://dx.doi.org/10.1007/978-3-319-07512-9

Format:

Electronic Resources

Alıntı:

Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings / Boniol

Language, Life, Limits 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings

Yazar

Beckmann, Arnold. editor.

http://dx.doi.org/10.1007/978-3-319-08019-2

Format:

Electronic Resources

Alıntı:

Machines -- Constraint Logic Programming for Resolution of Relative Time Expressions -- Maximal Parallelism

Programming Languages and Operational Semantics A Concise Overview

Yazar

Fernández, Maribel. author.

http://dx.doi.org/10.1007/978-1-4471-6368-8

Format:

Electronic Resources

Alıntı:

machines and structural operational semantics. Programming Languages and Operational Semantics gives an

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

Yazar

Shi, Xiaodong. editor.

http://dx.doi.org/10.1007/978-3-662-45701-6

Format:

Electronic Resources

Alıntı:

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings /

Transactions on Large-Scale Data- and Knowledge-Centered Systems XVI Selected Papers from ACOMP 2013

Yazar

Hameurlain, Abdelkader. editor.

http://dx.doi.org/10.1007/978-3-662-45947-8

Format:

Electronic Resources

Alıntı:

Transformation and Fuzzy Vault -- EPOBF: Energy Efficient Allocation of Virtual Machines in High Performance

Unconventional Computation and Natural Computation 13th International Conference, UCNC 2014, London, ON, Canada, July 14-18, 2014, Proceedings

Yazar

Ibarra, Oscar H. editor.

http://dx.doi.org/10.1007/978-3-319-08123-6

Format:

Electronic Resources

Alıntı:

for in Materio Evolution -- Compact Realization of Reversible Turing Machines by 2-State Reversible

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

Yazar

Calude, Cristian S. editor.

http://dx.doi.org/10.1007/978-3-319-13350-8

Format:

Electronic Resources

Alıntı:

Counterexamples -- One-Sided Random Context Grammars -- How Can We Construct Reversible Machines out of Reversible

10.

Membrane Computing 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers

Yazar

Gheorghe, Marian. editor.

http://dx.doi.org/10.1007/978-3-319-14370-5

Format:

Electronic Resources

Alıntı:

–Rozenberg Machines -- P System Computational Model as Framework for Hybrid (Membrane-Quantum) Computations

11.

Hacking Europe From Computer Cultures to Demoscenes

Yazar

Alberts, Gerard. editor.

http://dx.doi.org/10.1007/978-1-4471-5493-8

Format:

Electronic Resources

Alıntı:

machines in unintended ways. The book traces the user practices of chopping games in Warsaw, hacking

12.

Supercomputing 29th International Conference, ISC 2014, Leipzig, Germany, June 22-26, 2014. Proceedings

Yazar

Kunkel, Julian Martin. editor.

http://dx.doi.org/10.1007/978-3-319-07518-1

Format:

Electronic Resources

Alıntı:

-- Real-Time Olivary Neuron Simulations on Dataflow Computing Machines.- Tofu Interconnect 2: System-on-Chip

	{displayName}	{count}
{error}