Przejdź do treści
Czekaj...
Wczytywanie...
Nie jesteś zalogowany |
zaloguj się
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Menu główne
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
Rada Wydziału
formularze, dokumenty
struktura i organizacja
pracownicy i doktoranci
aktualności
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
Formularz wyszukiwania
Szukaj
PL /
EN
USOSweb
SRS
APD
Moodle
Lab. komputerowe
poczta studencka
poczta pracownicza
Plany
Biblioteka
Wspomnienia
Praca
Deklaracja dostępności
Skala szarości
Wysoki kontrast
Negatyw
Podkreślenie linków
Reset
Powrót do listy instytutów
Publikacje
Czasopismo: Science Of Computer Programming
Liczba publikacji: 4
2018
Kamil Kedzia, Wojtek Ptak,
Jacek Sroka
i Andrzej M. Kierzek,
Simulation of multicellular populations with Petri nets and genome scale intracellular networks
,
Science Of Computer Programming
157 2018, s. 3–16.
zobacz w PBN
2017
Mihai Codescu, Till Mossakowski, Donald Sannella i
Andrzej Tarlecki
,
Specification refinements: Calculi, tools, and applications
,
Science Of Computer Programming
144 2017, s. 1–49.
zobacz w PBN
1997
Michal Iglewski i
Janina Mincer-Daszkiewicz
,
Internal design of modules specified in the trace assertion method
,
Science Of Computer Programming
28 (2-3) 1997, s. 139–170.
zobacz w PBN
1995
David Lorge Parnas i
Jan Madey
,
Functional documents for computer systems
,
Science Of Computer Programming
25 1995, s. 41–61.
zobacz w PBN