ACM computing surveys : the survey and tutorial journal of the ACM

ACM transactions on programming languages and systems
Published: (1979)

SIMULATION

Concurrent engineering : research and applications

Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM = SIGSOFT
Published: (1976)

Inretnational conference on software engineering : proceedings of the 2018 ACM/IEEE 40th; Gothenburg, Sweden, May 27-June 3, 2018/
Published: (2018)

International conference on software engineering : ICSE 2022 ACM/IEEE 44rd proceedings ; Pittsburgh, Pennsylvania ; 22-27 May , 2022 /
Published: (2022)

ACM transactions on information and system security
Published: (1998)

International conference on software engineering : 2019 IEEE/ACM 41st international conference on software engineering ; Montreal, Canada, May 25 - 31, 2019 /
Published: (2019)

Mathematische Methoden für Digitalrechner.
by: Ralston, Anthony
Published: (1972)

Mathematische Methoden für Digitalrechner.
by: Ralston, Anthony
Published: (1969)

International conference on software engineering : 2021 IEEE/ACM 43rd International Conference on Software Engineering ; virtual (originally Madrid, Spain) ; 25-28 May , 2021 /
Published: (2021)

Matematická logika : určeno pro posluchače přírodověd. fak. /
by: Dymáček, Michael, 1943-
Published: (1968)

Agilní programování. Metodiky efektivního vývoje softwaru /
by: Kadlec, Václav 1978-
Published: (2004)

Automated software engineering : ASE'10, proceedings of the 25th IEEE/ACM international conference, Antwerp, Belgium, September 20-24, 2010 /
by: Abdul Khalek, Shadi
Published: (2010)

Understanding digital computers /
by: Benrey, Ronald M.
Published: (1965)

Engineering applications of digital computers /
by: Bashkow, Theodore R.
Published: (1968)

Federated events on component-based software engineering & software architecture : CompArch'13 ; CBSE'13, ISARCS'13, QoSA'13 & WCOP'13 ; the compilation proceedings, Vancouver, BC, Canada, June 17-21, 2013 /
Published: (2013)

Vvedenije v matematičeskuju logiku /
by: Mendelson, Elliott
Published: (1971)

Computer personnel research conference : SIGMIS CPR'10, proceedings of the 2010 ACM SIGMIS, Vancouver, BC, Canada, May 20-22, 2010 /
by: Downey, Jack
Published: (2010)

Vvedenije v matematičeskuju logiku.
by: Church, Alonzo
Published: (1960)

Světonázorové problémy v matematice. 1. díl : Matematická logika a formální teorie, ... /
by: Drábek, Jaroslav
Published: (1986)

Zaujímavá logika /
by: Bizám, György
Published: (1982)

Algebra pravdivostných hodnôt výrobkov pre 4. ročník gymnázia s triedami zameranými na matematiku /
by: Odvárko, Oldřich 1938-
Published: (1988)

Elektronika. I. diel. Vybrané obvody číslicovej techniky /
by: Petrovič, Pavol
Published: (2002)

IEEE transactions on software engineering

International conference on software engineering : ICSE '17 : proceedings of the 39th international conference on software engineering ; Buenos Aires, Argentina, May 20 - 28, 2017 /
Published: (2017)

Optimization and probability in systems engineering /
by: Rau, John Gaylord
Published: (1970)

O softvéri od A do Z : úvahy nastupujúcich profesionálov /
by: Bieliková, Mária 1966-, et al.
Published: (2009)

Odporúčanie pre softvérových inžinierov : štúdie vybraných tém programových a informačných systémov.
by: Návrat, Pavol 1952-
Published: (2015)

Empirical software engineering and measurement and co-located workshops : ESEM'12, compilation proceedings of the 202 ACM-IEEE international symposium ; EAST'12 & MetriSec'12 ; Lund, Sweden, September 19-20, 2012 /
Published: (2012)

Softwarové inženýrství /
by: Sommerville, Ian 1951-
Published: (2013)

Verification and validation in scientific computing /
by: Oberkampf, William L. 1944-, et al.
Published: (2010)

IEEE internet computing

Notes on the limits to knowledge explored with Darwinian logic /
by: Marchetti, Cesare
Published: (1998)

Metoda GUHA /
by: Hájek, Petr 1955-
Published: (1977)

ACM Transactions on Parallel Computing
Published: (2014)