Showing
1 - 12
results of
12
for search '
Kádár István
'
Skip to content
Toggle navigation
SZTE Klebelsberg Könyvtár
Repozitóriumok közös keresője
Feedback
Your Account
Log Out
Login
Language
English
Magyar
All Fields
Title
Author
Teljes szöveg
Find
Advanced
Author
Kádár István
Showing
1 - 12
results of
12
for search '
Kádár István
'
, query time: 0.04s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
First modified
Last modified
Author
Title
1
Symbolic Execution for Runtime Error Detection and Investigation of Refactoring Activities Based on a New Dataset
Kádár
István
2018
Call Number:
Loading...
Located:
Loading...
Online elérés
Dissertation
Show QR Code
Save to List
Saved in:
2
The optimization of a symbolic execution engine for detecting runtime errors
Kádár
István
2016
Call Number:
Loading...
Located:
Loading...
Online elérés
Book part
Show QR Code
Save to List
Saved in:
3
The optimization of a symbolic execution engine for detecting runtime errors
Kádár
István
2017
Call Number:
Loading...
Located:
Loading...
Online elérés
Article
Show QR Code
Save to List
Saved in:
4
Java programok implementációs problémáinak detektálása szimbolikus végrehajtás segítségével
Kádár
István
2012
Call Number:
Loading...
Located:
Loading...
Online elérés
Thesis
Show QR Code
Save to List
Saved in:
5
Szimbolikus végrehajtó keretrendszer kiegészítése constraint építő mechanizmusokkal
Kádár
István
2014
Call Number:
Loading...
Located:
Loading...
Online elérés
Thesis
Show QR Code
Save to List
Saved in:
6
Adding Constraint Building Mechanisms to a Symbolic Execution Engine Developed for Detecting Runtime Errors
Kádár
István
,
Hegedűs Péter
,
Ferenc Rudolf
2015
Call Number:
Loading...
Located:
Loading...
Online elérés
Book part
Show QR Code
Save to List
Saved in:
7
Runtime Exception detection in Java programs using symbolic execution
Kádár
István
,
Hegedűs Péter
,
Ferenc Rudolf
2013
Call Number:
Loading...
Located:
Loading...
Online elérés
Book part
Show QR Code
Save to List
Saved in:
8
Runtime exception detection in Java programs using symbolic execution
Kádár
István
,
Hegedűs Péter
,
Ferenc Rudolf
2014
Call Number:
Loading...
Located:
Loading...
Online elérés
Article
Show QR Code
Save to List
Saved in:
9
Runtime Exception Detection in Java Programs Using Symbolic Execution
Kádár
István
,
Hegedűs Péter
,
Ferenc Rudolf
2014
Call Number:
Loading...
Located:
Loading...
Online elérés
Article
Show QR Code
Save to List
Saved in:
10
A Code Refactoring Dataset and Its Assessment Regarding Software Maintainability
Kádár
István
,
Hegedűs Péter
,
Ferenc Rudolf
,
Gyimóthy Tibor
2016
Call Number:
Loading...
Located:
Loading...
Online elérés
Book part
Show QR Code
Save to List
Saved in:
11
Empirical evaluation of software maintainability based on a manually validated refactoring dataset
Hegedűs Péter
,
Kádár
István
,
Ferenc Rudolf
,
Gyimóthy Tibor
2018
Call Number:
Loading...
Located:
Loading...
Online elérés
Article
Show QR Code
Save to List
Saved in:
12
Permutációs tömörítés
Késmárki Csobán
1999
Other Authors:
“
...
Kádár
István
...
”
Call Number:
Loading...
Located:
Loading...
Online elérés
Thesis
Show QR Code
Save to List
Saved in:
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Related Subjects
Természettudományok
Informatika
Számítás- és információtudomány
Computer and information sciences
Matematika
matematika- és számítástudományok
Loading...