1
Vydáno 2007
Obsah: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2014
Obsah: ...Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures -- How...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2012
Obsah: ... -- An Evaluation Method for Smart Variable Space in Living Space -- Modeling Robot Behavior with CCL -- Visual...
Získat plný text
Elektronický zdroj E-kniha
4
Autor West, Adrian W., West, Adrian W.
Vydáno 2013
Témata: ...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2007
Obsah: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2014
Obsah: ... Interfaces in the Context of the Internet of Services -- Interactive Service Composition and Query...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2007
Obsah: ... Method for Developing 3D User Interfaces of Information Systems -- GestAction3D: A Platform for Studying...
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2005
Obsah: ... to Interaction Charts -- Algebraic Properties of Interfaces -- ? T -Integration of Logics -- Functorial Semantics...
Získat plný text
Elektronický zdroj E-kniha
9
Autor Lee, Kent D., Lee, Kent D.
Vydáno 2014
Obsah: ...-Driven Programming -- Defining Classes -- Appendix A: Integer Operators -- Appendix B: Float Operators...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2012
Obsah: ....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2011
Obsah: ... Measurement Tool for XML Documents -- The Paradox of “StructuredMethods for Software Requirements Management...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2010
Obsah: ... the Applicability of Structural Analysis Techniques in Distributed Systems -- Web-based Systems Development...
Získat plný text
Elektronický zdroj E-kniha
13
Autor Wang, Wallace., Wang, Wallace.
Vydáno 2015
Obsah: ...Chapter 1: Understanding Programming -- Chapter 2: Getting to Know Xcode -- Chapter 3: The Basic...
Získat plný text
Elektronický zdroj E-kniha
14
Vydáno 2010
Obsah: ... in Pair Programming -- Continuous Selective Testing -- Applying SCRUM in an OSS Development Process...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2005
Obsah: ... and Case Study -- Formal Program Development with Approximations -- Practical Data Refinement for the Z...
Získat plný text
Elektronický zdroj E-kniha
16
Obsah: ... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...
Získat plný text
Elektronický zdroj E-kniha
17
Obsah: ... of Commands in ANSYS® -- Linear Structural Analysis -- Linear Analysis of Field Problems -- Nonlinear...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2005
Obsah: ... Malicious Attacks in Workflow Systems -- Towards Mining Structural Workflow Patterns -- Avoiding Error-Prone...
Získat plný text
Elektronický zdroj E-kniha
19
Vydáno 2010
Obsah: ... Interface -- Multi-dimensional Data Visualization using Concentric Coordinates -- Construct Connotation...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2008
Obsah: ...Virtual Reality Technology -- Virtual Reality Research in Europe: Towards Structuring the European...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání