1
by Lee, Kent D., Lee, Kent D.
Published 2014
Table of Contents: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
View full text
Electronic eBook
2
by Lee, Kent D., Lee, Kent D.
Published 2011
Table of Contents: ...-driven Programming -- Defining Classes....
View full text
Electronic eBook
3
Table of Contents: ... User Interfaces -- Database Support -- Network Programming -- Python and the Web -- Testing, 1-2-3...
View full text
Electronic eBook
4
Table of Contents: ... Interface -- 8. Nonlinear Programming with Pyomo -- 9. Stochastic Programming Extensions -- 10. Scripting...
View full text
Electronic eBook
5
Published 2007
Table of Contents: ... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...
View full text
Electronic eBook
6
Published 2014
Table of Contents: ...-Computer Interaction -- Immediacy in User Interfaces: An Activity Theoretical Approach -- The Resilience...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ..., Searching, Browsing and Navigation -- IV: Development Methods and Techniques -- V: Advanced Interaction...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...
View full text
Electronic eBook
9
Published 2014
Table of Contents: ... -- Visualization of successor relations in business process models -- Developing and enforcing policies for access...
View full text
Electronic eBook
10
Table of Contents: ... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...
View full text
Electronic eBook
11
Published 2013
Table of Contents: ... Interaction -- Transparent Digital Contents Sharing for Science Teachers -- Development of a Computer...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Tools for User Interface Design -- From Task to Dialog Model in the UML -- Towards Method Engineering...
View full text
Electronic eBook
13
Table of Contents: ...List of Figures -- 1. Introduction -- 2. An Overview of Formal Methods Tools and Techniques -- 3...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... -- An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Human Computer Interaction and Software Engineering in Practice -- Convergence or Competition between...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... in Human Robot Interaction Contexts -- Motivation-Based Autonomous Behavior Control of Robotic Computer...
View full text
Electronic eBook
18
Published 2015
Table of Contents: ... heritage -- A Review of Research Methods in End User Development -- My program, my world: Insights from 1st...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Railway Signaling Manufacturer -- Partially Introducing Formal Methods into Object-Oriented Development...
View full text
Electronic eBook