1
...This paper proposes several concepts that form the basis for slicing object-oriented programs...
全文の入手
論文
2
出版事項 2010
目次: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
全文の入手
電子媒体 eBook
3
出版事項 2013
全文の入手
電子媒体 eBook
4
出版事項 2015
目次: ... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...
全文の入手
電子媒体 eBook
5
出版事項 2005
目次: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
全文の入手
電子媒体 eBook
6
出版事項 2006
目次: ... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...
全文の入手
電子媒体 eBook
7
8
著者: Raynal, Michel., Raynal, Michel.
出版事項 2013
目次: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
全文の入手
電子媒体 eBook
9
著者: Brainerd, Walter S., Brainerd, Walter S.
出版事項 2015
目次: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
全文の入手
電子媒体 eBook
10
著者: McLaughlin, Michael
出版事項 2014
主題: ...PL/SQL (Computer program language)....
図書
11
出版事項 2010
目次: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
全文の入手
電子媒体 eBook
12
出版事項 2010
目次: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
全文の入手
電子媒体 eBook
13
著者: Ahmad, Syarbaini
出版事項 2016
主題: ...Debugging in computer science - Computer programs...
全文の入手
学位論文
14
出版事項 2006
目次: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
全文の入手
電子媒体 eBook
15
出版事項 2006
目次: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
全文の入手
電子媒体 eBook
16
著者: Ben-Ari, Mordechai., Ben-Ari, Mordechai.
出版事項 2008
目次: ...Sequential Programming in Promela -- Verification of Sequential Programs -- Concurrency...
全文の入手
電子媒体 eBook
17
出版事項 2005
目次: ... -- Computational Simulation of Categorical Constructions -- Composing Transitions into Transactions in UML Diagrams...
全文の入手
電子媒体 eBook
18
目次: ... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...
全文の入手
電子媒体 eBook
19
目次: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
全文の入手
電子媒体 eBook
20
出版事項 2010
目次: ... Case Study of a Customer Satisfaction Problem: Bootstrap and Imputation Techniques -- Comparison...
全文の入手
電子媒体 eBook