Ugrás a tartalomhoz
Repozitóriumi közös kereső
OJS/OCS közös kereső
Egyéb források
in English
|
magyarul
Betűméret:
Súgó
Kereső
Címlap
Keresés
Archívumok
Súgó
Bejelentkezés
Belépés
Jelszó
Regisztráció
Kapcsolat
MTA KIK
MTA SZTAKI DSD
Gyűjtemény: Subject = Q Science / természettudomány: QA Mathematics / matematika: QA76 Computer software / programozás
Archívum:
REAL
Tárolt tételek száma:
566
Tételek
Nincs rendezés (gyors)
Legfrissebb legelöl
Név szerint rendezve
Szűkítés:
241
-
260
/
566
Formal Descripton of Software Components by Structured Abstract Models
Tartalom
|
Metaadatok
Dömölki, Bálint; Sántáné-Tóth, Edit
Formalising openCypher Graph Queries in Relational Algebra
Tartalom
|
Metaadatok
Marton, József; Szárnyas, Gábor; Varró, Dániel
Formalizing a relational model of concurrent programs in a dependently typed environment
Tartalom
|
Metaadatok
Donkó, István; Kaposi, Ambrus; Tóth, Melinda
Formula partitioning revisited
Tartalom
|
Metaadatok
Mann, Zoltán Ádám; Papp, Pál András
Forradalom, vagy folyamatos fejlődés?
Tartalom
|
Metaadatok
Kutor, László
Fractal characterization of complexity in temporal physiological signals
Tartalom
|
Metaadatok
Eke, A.; Herman, P.; Kocsis, L.; Kozák, L. R.
Fröccsöntés szimulációs szoftver vetemedésszámítási algoritmusainak pontosítása
Tartalom
|
Metaadatok
Tomin, Márton; Szabó, Ferenc
Functional Safety, Traceability, and Open Services
Tartalom
|
Metaadatok
Bíró, Miklós
Fundamentals of a Novel Debugging Mechanism for Orchestrated Cloud Infrastructures with Macrosteps and Active Control
Tartalom
|
Metaadatok
Ligetfalvi, Bence; Emődi, Márk; Kovács, József; Lovas, Róbert
Funkcionális programozás. Haskell-alapismeretek
Tartalom
|
Metaadatok
Márton, Gyöngyvér
Futball szimuláció megvalósítása fuzzy szabály interpoláció alapú fuzzy automatával
Tartalom
|
Metaadatok
Tóth, Alex; Vincze, Dávid
Fűtés optimalizáló és felügyeleti rendszer fejlesztése
Tartalom
|
Metaadatok
Hegyi, Ádám
Fuzzy Evaluation of Student Assignment Sheets
Tartalom
|
Metaadatok
Johanyák, Zsolt Csaba; Kovács, László
Fuzzy rendszerek és modellek elemzése és identifikációja = Analysis and identification of fuzzy systems and models
Tartalom
|
Metaadatok
Kóczy, László Tamás; Baranyi, Péter Zoltán; Botzheim, János; Tari, Tibor
GeLexi terv (lexikalista nyelvtan és diskurzusreprezentációs szemantika számítógépes implementációval) = GeLexi project (lexicalist grammar and discourse representation semantics with computational implementation)
Tartalom
|
Metaadatok
Alberti, Gábor; Balogh, Katalin; Kleiber, Judit; Viszket, Anita
Gépi tanulás és bestsellerek
Tartalom
|
Metaadatok
Uzonyi, Noémi
Gépjárműre szerelt omnidirekcionális kamerarendszerek
Tartalom
|
Metaadatok
Kátai-Urbán, Gábor; Koszna, Ferenc; Megyesi, Zoltán
Géporvos? : Beszélgetés dr. Jávor András főorvossal
Tartalom
|
Metaadatok
Gállos, Erzsébet
Gerl Zsolt cikksorozata az információs társadalomról
Tartalom
|
Metaadatok
Gerl, Zsolt
Globális optimalizálási problémák ellenőrzött pontosságú megoldása mérnöki alkalmazásokban = Solving Global Optimization Problems with Validated Accuracy in Engineering Applications
Tartalom
|
Metaadatok
Csallner, András Erik; Csébfalvi, Anikó; Csendes, Tibor; Kocsis, András Balázs; Kovács, Zoltán
Nincs rendezés (gyors)
Legfrissebb legelöl
Név szerint rendezve
Szűkítés:
241
-
260
/
566