-
641
-
642Published in Springer eBooks (2013)Table of Contents: “... Properties for Java Code -- Modbat: A Model-Based API Tester for Event-Driven Systems -- Predictive Taint...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
643by McAnlis, Colt, Lubbers, Petter, Jones, Brandon, Tebbs, Duncan, Manzur, Andrzej, Bennett, Sean, d'Erfurth, Florian, Garcia, Bruno, Lin, Shun, Popelyshev, Ivan, Gauci, Jason, Howard, Jon, Ballantyne, Ian, Freeman, Jesse, Kihira, Takuo, Smith, Tyler, Olmstead, Don, McCutchan, John, Austin, Chad, Pagella, AndresGet full text
Published in Springer eBooks (2014)
Перейти в каталог НБ ТГУ
eBook -
644
-
645
-
646Published in Springer eBooks (2015)Table of Contents: “... -- Secure Obfuscation of Authoring Style -- DET-ABE: a Java API for data confidentiality and fine-grained...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
647Published in Springer eBooks (2015)Table of Contents: “... by Word Occurrence in Identifiers -- The Influence of Alias and References Escape on Java Program Analysis...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
648Published in Springer eBooks (2013)Table of Contents: “... on Attribute Grammars into Java -- Sensitivity Analysis for Declarative Relational Query Languages with Ordinal...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
649Published in Springer eBooks (2015)Table of Contents: “... Evaluation for Java Malware Detection -- Access control and obligations in the category-based metamodel: a...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
650Table of Contents: “... - Writing ScreenCode -- 08. Refining HTML Client Screens with JavaScript/CSS -- 09. Enhancing Desktop...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
651
-
652Published in Springer eBooks (2013)Table of Contents: “...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
653Published in Springer eBooks (2013)Table of Contents: “... Applications -- VerChor: A Framework for Verifying Choreographies -- Javanni: A Verifier for Java...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
654Published in Springer eBooks (2013)Table of Contents: “... for the Java Platform -- Ant: A Debugging Framework for MPI Parallel Programs -- Compiler Automatic Discovery...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
655Published in Springer eBooks (2013)Table of Contents: “... - Deterministic Execution Replayability-as-a-Service for Java VM on Multiprocessors -- DynaSoRe: Efficient...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
656
-
657Published in Springer eBooks (2014)Table of Contents: “...-elevation montane colobines: the ebony langur on Java -- 8. Snow tolerance of Japanese macaques inhabiting...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
658Published in Springer eBooks (2014)Table of Contents: “... Paper) -- Part: Automation-Supported Testing -- Automated Test Generation for Java Generics (Short Paper...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
659Published in Springer eBooks (2014)Table of Contents: “... user interface for Big Bang-Big -- Crunch Learning for FCM and Evaluation -- JFCM - A Java library...”
Get full text
Перейти в каталог НБ ТГУ
eBook -
660Published in Springer eBooks (2014)Table of Contents: “...: Review and Lessons from Aceh, Yogyakarta, West Java and West Sumatra Earthquakes -- Coastal Zone...”
Get full text
Перейти в каталог НБ ТГУ
eBook