Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
functionality securing » functionality setting, functionality using, functionality testing
https functionality » its functionality, bags functionality, cross functionality
program comparing » program comparison, programs compiling, problem comparing
comparing https » computing https, comparing hst, comparing things
securing https » security https, security http, securing rtp
1
Buchumschlag
von Siriwardena, Prabath., Siriwardena, Prabath.
Veröffentlicht 2014
Schlagworte: “...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
von Hazay, Carmit., Hazay, Carmit., Lindell, Yehuda.
Veröffentlicht 2010
Schlagworte: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Calculus for a Comparative Analysis of Bio-inspired Calculi -- Applicative Programming -- A Rewriting...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Cryptanalysis and Stream Cipher -- Algebraic Cryptanalysis of SMS4: Gröbner Basis Attack and SAT Attack Compared...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... molecular diagnostics in breeding programs -- Introgression libraries with wild relatives of crops -- High...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “...Virtualization -- Trusted VM Snapshots in Untrusted Cloud Infrastructures -- Secure and Robust...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... Mechanized Theory of regular trees in dependent type theory -- Deriving Comparators and Show-Functions...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “...-Oriented Programming -- Comparing White-Box, Black-Box, and Glass-Box Composition of Aspect Mechanisms...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2014
Inhaltsangabe: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... the Security in the GSM Radio Network Using Attack Jungles -- Formal Modeling and Verification of Sensor...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Quality -- Comparing Goal Modelling Languages: An Experiment -- Automatically Generating Requirements from...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Models of Epistasis -- Partial Orderings for Ranking Help Functions -- Robust Prediction with ANNBFIS...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
von Millard, Steven P., Millard, Steven P.
Veröffentlicht 2013
Schlagworte: “...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... Algorithm into Microcontroller -- Comparative Study of Distance Functions for Nearest Neighbors...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Remote I/O Using Multi-dimensional Data -- Vectorized AES Core for High-throughput Secure Environments...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern