- Pedagogų kompiuterinio raštingumo problematika
- Pradinio ir specialiojo ugdymo Lietuvoje analizė informacinių technologijų naudojimo požiūriu
- Prefixed tableaux for multi-modal logic of knowledge with inclusions
- Procedure of the removal of the outliers from the sample satisfying the multidimensional Gaussian mixture model
- Programavimo stilius ir programų internacionalizavimo mokymas
- Programinio komponento ontologijos formalioji specifikacija
- Programinės įrangos kurtiesiems ir neprigirdintiesiems lokalizavimo ypatumai
- Programinės įrangos vertimo specifika ir dalinis automatizavimas
- Programų inžinerijos nefunkcinių reikalavimų neprieštaringumo ir išsamumo vertinimas
- Programų sistemos reikalavimų derinimo su verslo veiklos strategija ir struktūra metodai
- Programų sistemų automatizuoto surinkimo iš gatavų komponentų uždavinys
- Programų, informacinių ir verslo sistemoms kurti naudojamų žinių formalizavimo problemos
- Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
- Quantum chemical calculations by parallel computer from commodity PC components
- Relation between classical and intuitionistic sequent calculi of temporal logic
- Reprezentatyvių pavyzdžių specifikavimo kalbų funkcionalumui vertinti konstravimas
- Sammono projekcijos paklaidos minimizavimo strategijos
- Sequent calculus for propositional likelihood logic
- Skaitmeniniai aplankai ir tinklaraščiai vertinant IKT kompetenciją
- Some advanced fiber-optic amplitude modulated reflection displacement and refractive index sensors
- Some estimates of the normal approximation for mixture of Poisson and gamma random variables
- Specialization of derivations in modal logic S5
- Specifikavimo kalbos kokybės vertinimo procedūra
- Spektro įvertinimo algoritmų palyginamoji analizė
- Spūdaus skysčio tekėjimo išorinėje srityje lygčių aproksimacijos problemos
- Statistical analysis of the influence of papillomavirus infection on human immune and antioxidative sytems
- Statistinis tyrimas medicininių vaizdų suspaudimui "bangelių" transformacijos metodu įvertinti
- Statistinė struktūrų analizė: kai kurios jos taikymo problemos
- Stochastic approximation algorithms for support vector machines semi-supervised binary classification
- Stochastinių mokslo terminų aplinkų modelių tyrimas
- Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and
- Sumos vertinimas asimetriškoje populiacijoje
- Tadas Kundzičius - aukštosios taikomosios matematikos profesorius Vilniaus universitete 18 amžiuje
- Tampriai plastinio uždavinio sprendimas komutuojančių matricų erdvėje
- Tarptautinės informacinių technologijų varžybos: modelis ir patirties analizė
- Teisinių žinių bazių ir teisinių dokumentų izomorfizmo realizavimo metodas
- Teisinių žinių bazių lyginamoji analizė ir modelių generavimas
- Teisinių žinių bazių situacinio taikomumo analizės metodas
- Teisinių žinių bazių trasavimo problemos
- Teisės aktams rengti skirtų sistemų vartotojo interfeiso ypatumai
- The influence of the diffusion space geometry on behavior of some processes in biochemistry and electrochemistry
- Tikimybinis dažnų posekių paieškos algoritmas
- Tinklo apkrovos savastingumo tyrimas realiu laiku
- Tirpalų mišinių koncentracijų klasifikavimas, naudojant apibendrintą pagrindinių komponenčių regresiją
- VU studentų matematikos olimpiadai praėjus
- Verslo ir informacinių sistemų integravimas: architektūrinis aspektas
- Verslo ir informacinių technologijų darna
- Verslo tikslų transformavimas į programų sistemos reikalavimus
- Vienalaikio trikdžio stochastinės aproksimacijos konvergavimas Lipšico funkcijų klasėje
- Vieno kompiuterinės geometrijos uždavinio variacijos