System Komputerowej Ewidencji Publikacji - Uniwersytet Zielonogórski

	System Komputerowej Ewidencji Publikacji

Wyniki wyszukiwania

Szukanie:	w opisie bibliograficznym
Wprowadzona fraza:	{Metody Informatyki Stosowanej}
Opublikowane w latach:	1960 - 2019
Grupowanie:	brak
Znaleziono:	29 ( spośród około 61987 )

Strona: 1[2] [3] Następna

[1] Wprowadzenie do weryfikacji i symulacji w środowisku NuSMV / Iwona Grobelna // Metody Informatyki Stosowanej .- 2011, nr 1, s. 23--30, ISSN: 1898-5297, : bibliogr.rys.tab.summ.
Słowa kluczowe: NuSMV, model checking, simulation, system specification
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16063] [data modyf: 28-11-2012 12:22]

[2] Skala redukcji sieci a weryfikacja procesu produkcyjnego / Agnieszka Lasota // Metody Informatyki Stosowanej .- 2011, nr 2, s. 65--79, ISSN: 1898-5297, : bibliogr.rys.summ.
Słowa kluczowe: Petri nets, parallel reduction, production process, sequential reduction
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16150] [data modyf: 28-11-2012 12:22]

[3] Automatyczna weryfikacja i synteza regułowego modelu sterownika logicznego / Iwona Grobelna // Metody Informatyki Stosowanej .- 2011, nr 3, s. 59--65, ISSN: 1898-5297, : bibliogr.rys.summ.
Słowa kluczowe: logic controller, model checking, specification, synthesis
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16320] [data modyf: 28-11-2012 12:22]

[4] Proceduralne modelowanie obiektów trójwymiarowych z wykorzystaniem hybrydy gramatyki kształtu i morfingu / Tomasz Zawadzki // Metody Informatyki Stosowanej .- 2011, nr 2, s. 144--156, ISSN: 1898-5297, : bibliogr.rys.summ.
Słowa kluczowe: 3D graphics, morphing, procedural modeling, shape grammar
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16160] [data modyf: 28-11-2012 12:22]

[5] Bazy danych a język naturalny - ekstrakcja warunków zapytania / Piotr Wnęk, Jan Jagielski // Metody Informatyki Stosowanej .- 2011, nr 2, s. 137--143, ISSN: 1898-5297, : bibliogr.rys.tab.summ.
Słowa kluczowe: databases, natural language, query language
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16159] [data modyf: 26-09-2015 11:44]

[6] Skalowalność przestrzenno-czasowa falkowych koderów sekwencji wizyjnych / Andrzej Popławski, Wojciech Zając // Metody Informatyki Stosowanej .- 2011, nr 2, s. 113--119, ISSN: 1898-5297, : bibliogr.rys.tab.summ.
Słowa kluczowe: scalability, video compression, video sequences, wavelet codec
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16158] [data modyf: 28-11-2012 12:22]

[7] Wspomaganie realizacji grupowego projektu IT w oparciu o system SVN / Kamil Mielcarek, Anna Pławiak-Mowna // Metody Informatyki Stosowanej .- 2011, nr 2, s. 82--88, ISSN: 1898-5297, : bibliogr.rys.tab.summ.
Słowa kluczowe: SVN, education, team group project, version/revision control systems
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16151] [data modyf: 28-11-2012 12:22]

[8] Aspekty bezpieczeństwa telemetrii w medycynie w ramach transmisji internetowej / Kamil Mielcarek, Anna Pławiak-Mowna // Metody Informatyki Stosowanej .- 2011, nr 1, s. 73--79, ISSN: 1898-5297, : bibliogr.rys.summ.
Słowa kluczowe: computer networks, data encryption, telemedicine, telemetry
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16064] [data modyf: 28-11-2012 12:22]

[9] Zastosowanie nieparametrycznych estymatorów jądrowych do analizy danych sondażowych / Artur Gramacki, Jarosław Gramacki // Metody Informatyki Stosowanej .- 2011, nr 2, s. 37--43, ISSN: 1898-5297, : bibliogr.wykr.summ.
Słowa kluczowe: kernel estimators, nonparametric estimation, opinion polls, probability density function
Kod: CZR-WYKAZ BibTeX (pkt: 4)
[AWCZ-16149] [data modyf: 10-06-2015 20:20]

[10] Transmisja sekwencji wizyjnych w sieciach o zmiennej przepustowości / Andrzej Popławski // Metody Informatyki Stosowanej .- 2010, nr 1, s. 135--141, ISSN: 1898-5297, : bibliogr.rys.summ.
Kod: CZR-WYKAZ BibTeX (pkt: 6)
[AWCZ-15101] [data modyf: 19-10-2010 16:14]

Strona: 1[2] [3] Następna

Czas generacji strony: 0,03 s.