Verification and validation in scientific computing /
Uloženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | Kniha |
| Jazyk: | angličtina |
| Vydáno: |
Cambridge :
Cambridge University Press,
2010
|
| Vydání: | 1st ed. |
| Témata: | |
| ISBN: | 9780521113601 |
| On-line přístup: |
|
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Podobné jednotky
Softwarové inženýrství /
Autor: Sommerville, Ian 1951-
Vydáno: (2013)
Autor: Sommerville, Ian 1951-
Vydáno: (2013)
Software testing fundamentals : introduction to software verification theory /
Autor: Samuelis, Ladislav
Vydáno: (2013)
Autor: Samuelis, Ladislav
Vydáno: (2013)
Webové metodiky /
Autor: Molhanec, Martin 1955-
Vydáno: (2014)
Autor: Molhanec, Martin 1955-
Vydáno: (2014)
Objektovo-orientovaná tvorba systémov a jazyk C++. Analýza, návrh, implementácia /
Autor: Šešera, Ľubor
Vydáno: (1994)
Autor: Šešera, Ľubor
Vydáno: (1994)
ACM transactions on cyber-physical systems
SIMULATION
Concurrent engineering : research and applications
Handbook of research on computational science and engineering : theory and practice /
Vydáno: (2012)
Vydáno: (2012)
Architecture and principles of systems engineering /
Autor: Dickerson, C. E. 1949-, a další
Vydáno: (2009)
Autor: Dickerson, C. E. 1949-, a další
Vydáno: (2009)
ACM transactions on software engineering and methodology
Vydáno: (1992)
Vydáno: (1992)
Agilní programování. Metodiky efektivního vývoje softwaru /
Autor: Kadlec, Václav 1978-
Vydáno: (2004)
Autor: Kadlec, Václav 1978-
Vydáno: (2004)
Cesty moderního programování /
Autor: Koubský, Petr
Vydáno: (1991)
Autor: Koubský, Petr
Vydáno: (1991)
Programovanie /
Autor: Benedikovič, Miroslav
Vydáno: (1995)
Autor: Benedikovič, Miroslav
Vydáno: (1995)
Systems analysis and design with UML : Version 2.0 : an object-oriented approach /
Autor: Tegarden, David, a další
Vydáno: (2013)
Autor: Tegarden, David, a další
Vydáno: (2013)
Intellectual property rights, innovation and software technologies : the economics of monopoly rights and knowledge disclosure /
Autor: Harison, Elad
Vydáno: (2008)
Autor: Harison, Elad
Vydáno: (2008)
Technológia programovania /
Autor: Zorkovský, Marián
Vydáno: (1991)
Autor: Zorkovský, Marián
Vydáno: (1991)
ACM computing surveys : the survey and tutorial journal of the ACM
Vydáno: (1971)
Vydáno: (1971)
Software engineering notes : an informal newsletter of the Special Interest Committee on Software Engineering / ACM = SIGSOFT
Vydáno: (1976)
Vydáno: (1976)
International conference on software engineering : 2021 IEEE/ACM 43rd International Conference on Software Engineering ; virtual (originally Madrid, Spain) ; 25-28 May , 2021 /
Vydáno: (2021)
Vydáno: (2021)
IEEE transactions on software engineering
O softvéri od A do Z : úvahy nastupujúcich profesionálov /
Autor: Bieliková, Mária 1966-, a další
Vydáno: (2009)
Autor: Bieliková, Mária 1966-, a další
Vydáno: (2009)
Odporúčanie pre softvérových inžinierov : štúdie vybraných tém programových a informačných systémov.
Autor: Návrat, Pavol 1952-
Vydáno: (2015)
Autor: Návrat, Pavol 1952-
Vydáno: (2015)
International conference on software engineering : ICSE '17 : proceedings of the 39th international conference on software engineering ; Buenos Aires, Argentina, May 20 - 28, 2017 /
Vydáno: (2017)
Vydáno: (2017)
International conference on software engineering : 2019 IEEE/ACM 41st international conference on software engineering ; Montreal, Canada, May 25 - 31, 2019 /
Vydáno: (2019)
Vydáno: (2019)
Inretnational conference on software engineering : proceedings of the 2018 ACM/IEEE 40th; Gothenburg, Sweden, May 27-June 3, 2018/
Vydáno: (2018)
Vydáno: (2018)
International conference on software engineering : ICSE 2022 ACM/IEEE 44rd proceedings ; Pittsburgh, Pennsylvania ; 22-27 May , 2022 /
Vydáno: (2022)
Vydáno: (2022)
Optimization and probability in systems engineering /
Autor: Rau, John Gaylord
Vydáno: (1970)
Autor: Rau, John Gaylord
Vydáno: (1970)
Informatika /
Autor: Brookshear, J. Glenn, a další
Vydáno: (2013)
Autor: Brookshear, J. Glenn, a další
Vydáno: (2013)
Handbook of industrial engineering equations, formulas, and calculations /
Autor: Badiru, Adedeji Bodunde 1952-, a další
Vydáno: (2011)
Autor: Badiru, Adedeji Bodunde 1952-, a další
Vydáno: (2011)
Automated software engineering : ASE'10, proceedings of the 25th IEEE/ACM international conference, Antwerp, Belgium, September 20-24, 2010 /
Autor: Abdul Khalek, Shadi
Vydáno: (2010)
Autor: Abdul Khalek, Shadi
Vydáno: (2010)
Softwarové inženýrství. I. díl /
Autor: Richta, Karel
Vydáno: (1996)
Autor: Richta, Karel
Vydáno: (1996)
Objektové programovanie. Poznámky k prednáškam /
Autor: Havlice, Zdeněk
Vydáno: (2002)
Autor: Havlice, Zdeněk
Vydáno: (2002)
Scientific visualization : the visual extraction of knowledge from data /
Autor: Ertl, Thomas, a další
Vydáno: (2006)
Autor: Ertl, Thomas, a další
Vydáno: (2006)
IEEE internet computing
Logic program synthesis and transformation : Proceedings, Utrecht, The Netherlands, Sept. 20 - 22, 1995 /
Autor: Leuschel, Michael
Vydáno: (1996)
Autor: Leuschel, Michael
Vydáno: (1996)
Numerical solution, analysis and application of geometrical nonlinear diffusion equations /
Autor: Mikula, Karol 1963-
Vydáno: (2006)
Autor: Mikula, Karol 1963-
Vydáno: (2006)
Softvérové inžinierstvo v otázkach a odpovediach /
Autor: Šimko, Jakub, a další
Vydáno: (2017)
Autor: Šimko, Jakub, a další
Vydáno: (2017)
Computer personnel research conference : SIGMIS CPR'10, proceedings of the 2010 ACM SIGMIS, Vancouver, BC, Canada, May 20-22, 2010 /
Autor: Downey, Jack
Vydáno: (2010)
Autor: Downey, Jack
Vydáno: (2010)
Requirements engineering /
Autor: Macaulay, Linda A.
Vydáno: (1996)
Autor: Macaulay, Linda A.
Vydáno: (1996)
Softwarové inženýrství. I. díl /
Autor: Richta, Karel
Vydáno: (1998)
Autor: Richta, Karel
Vydáno: (1998)