Books on the topic 'Interactive computation'

Goldin, Dina, Scott A. Smolka, and Peter Wegner, eds. Interactive Computation. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/3-540-34874-3.

Garg, Akash. Interactive, Computation Assisted Design Tools. [New York, N.Y.?]: [publisher not identified], 2020.

France, Société mathématique de, ed. Interactive models of computation and program behavior. Paris: Société mathématique de France, 2009.

Paulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge: Cambridge University Press, 1987.

Paulson, Lawrence C. Logic and computation: Interactive proof with Cambridge LCF. Cambridge: Cambridge University Press, 1987.

Barkey, Derek A. Manual for program PSTRESS: Peel stress computation. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1987.

C, Madan Ram, and Langley Research Center, eds. Manual for program PSTRESS: Peel stress computation. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1987.

M, Vose Emily, ed. Oracle Hyperion interactive reporting 11 expert guide: Master advanced dashboards, JavaScript and computation features of Oracle Hyperion Interactive Reporting 11 and much more. Birmingham, U.K: Packt Pub., 2011.

Aman, Bogdan. Mobility in Process Calculi and Natural Computing. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2011.

E, Taplin John H., ed. Cost-benefit analysis and evolutionary computing: Optimal scheduling of interactive road projects. Cheltenham, UK: E. Elgar Pub., 2005.

Crowdsourcing. Cambridge, Massachusetts: The MIT Press, 2013.

Amy, Felty, and SpringerLink (Online service), eds. Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Bazilevs, Yuri, Kenji Takizawa, and Tayfun E. Tezduyar. Computational Fluid-Structure Interaction. Chichester, UK: John Wiley & Sons, Ltd, 2013. http://dx.doi.org/10.1002/9781118483565.

Kajler, N., ed. Computer-Human Interaction in Symbolic Computation. Vienna: Springer Vienna, 1998. http://dx.doi.org/10.1007/978-3-7091-6461-7.

N, Kajler, ed. Computer-human interaction in symbolic computation. Wien: Springer-Verlag, 1998.

Protein interaction networks: Computational analysis. Cambridge: Cambridge University Press, 2009.

M, Baecker Ronald, and University of Toronto at Mississauga. Dept. of Computer Science., eds. The design of interactive computational media : CSC 318S. Mississauga: University of Toronto at Mississauga, 2005.

Jaiman, Rajeev Kumar, and Vaibhav Joshi. Computational Mechanics of Fluid-Structure Interaction. Singapore: Springer Singapore, 2022. http://dx.doi.org/10.1007/978-981-16-5355-1.

Haller, Susan, Alfred Kobsa, and Susan McRoy, eds. Computational Models of Mixed-Initiative Interaction. Dordrecht: Springer Netherlands, 1999. http://dx.doi.org/10.1007/978-94-017-1118-0.

Haase, Werner, Vittorio Selmin, and Bengt Winzell, eds. Progress in Computational Flow-Structure Interaction. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-540-45489-2.

Susan, Haller, Kobsa Alfred, and McRoy Susan, eds. Computational models of mixed-initiative interaction. Dordrecht: Kluwer Academic, 1999.

Philip, Agre, and Rosenschein Stanley J, eds. Computational theories of interaction and agency. Cambridge, Mass: MIT Press, 1996.

1932-, Miller C. A., U.S. Nuclear Regulatory Commission. Office of Nuclear Reactor Regulation. Division of Engineering., City University of New York. City College. Earthquake Research Center., and Viking Systems International, eds. Consideration of uncertainties in soil-structure interaction computations. Washington, DC: Division of Engineering, Office of Nuclear Reactor Regulation, U.S. Nuclear Regulatory Commission, 1992.

1932-, Miller C. A., U.S. Nuclear Regulatory Commission. Office of Nuclear Reactor Regulation. Division of Engineering., City University of New York. City College. Earthquake Research Center., and Viking Systems International, eds. Consideration of uncertainties in soil-structure interaction computations. Washington, DC: Division of Engineering, Office of Nuclear Reactor Regulation, U.S. Nuclear Regulatory Commission, 1992.

Computational cancer biology: An interaction network approach. London: Springer, 2012.

Vidyasagar, Mathukumalli. Computational Cancer Biology: An Interaction Network Approach. London: Springer London, 2012.

A, Tsihrintzis George, and Jain L. C, eds. Multimedia services in intelligent environments: Advanced tools and methodologies. Berlin: Springer, 2008.

Jankowski, Andrzej. Interactive Granular Computations in Networks and Systems Engineering: A Practical Perspective. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57627-5.

Karapanos, Evangelos. Modeling Users' Experiences with Interactive Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

United States. National Aeronautics and Space Administration., ed. Interactive computer graphics applications for compressible aerodynamics. [Washington, DC]: National Aeronautics and Space Administration, 1994.

Interactive Computation: The New Paradigm. Springer, 2006.

Wegner, Peter, Scott A. Smolka, and Dina Goldin. Interactive Computation: The New Paradigm. Springer, 2010.

Wegner, Peter, Scott A. Smolka, and Dina Goldin. Interactive Computation: The New Paradigm. Springer London, Limited, 2006.

Paulson, Lawrence C. Logic and Computation: Interactive Proof with Cambridge LCF. Cambridge University Press, 2011.

McDill, Jean Marie, Beverly West, Steven H. Strogatz, and John Cantwell. Interactive Differential Equations. 2nd ed. Addison Wesley, 1999.

McDill, Jean Marie, Beverly West, Hubert Hohn, Steven H. Strogatz, and John Cantwell. Interactive Differential Equations. Addison Wesley Longman, 1996.

McDill, Jean Marie, Beverly West, Hubert Hohn, Steven H. Strogatz, and John Cantwell. Interactive Differential Equations. 2nd ed. Addison-Wesley, 1997.

Wang, Jay, and Adam Wang. Introduction to Computation in Physical Sciences: Interactive Computing and Visualization with Python. Springer International Publishing AG, 2022.

Logic and Computation: Interactive Proof with Cambridge LCF (Cambridge Tracts in Theoretical Computer Science). Cambridge University Press, 1990.

Makedon, Fillia, and Peter A. Gloor. Parallel Computation: Practical Implementation of Algorithms and Machines : Interactive Conference Proceedings/Booklet and Cd-Rom. Springer-Verlag Telos, 1993.

Aman, Bogdan, and Gabriel Ciobanu. Mobility in Process Calculi and Natural Computing. Springer, 2014.

Oulasvirta, Antti, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes, eds. Computational Interaction. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198799603.001.0001.

Oulasvirta, Antti, Per Ola Kristensson, Xiaojun Bi, and Andrew Howes. Computational Interaction. Oxford University Press, 2018.

Computational Interaction. Oxford University Press, 2018.

Brabham, Daren C. Crowdsourcing. MIT Press, 2013.

Taplin, John H. E., Min Qiu, and Renlong Han. Cost-Benefit Analysis And Evolutionary Computing: Optimal Scheduling of Interactive Road Projects (Transport Economics, Management and Policy). Edward Elgar Publishing, 2005.

Law, Edith, and Luis von Ahn. Human Computation. Morgan & Claypool Publishers, 2011.

Computational Fluid-Structure Interaction. Elsevier, 2019. http://dx.doi.org/10.1016/c2017-0-00711-5.

Thomaz, Andrea, Maya Cakmak, and Guy Hoffman. Computational Human-Robot Interaction. Now Publishers, 2016.

Brumby, Duncan P., Christian P. Janssen, Tuomo Kujala, and Dario D. Salvucci. Computational Models of User Multitasking. Oxford University Press, 2018. http://dx.doi.org/10.1093/oso/9780198799603.003.0013.