Książki na temat „Formal Modeling”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Formal Modeling”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj książki z różnych dziedzin i twórz odpowiednie bibliografie.
Koikkalainen, Pasi. Neurocomputing systems: Formal modeling and software implementation. Lappeenranta: Lappeenrannan teknillinen korkeakoulou, 1992.
Znajdź pełny tekst źródłaDima, Catalin, i Mahsa Shirmohammadi, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-85037-1.
Pełny tekst źródłaBogomolov, Sergiy, i David Parker, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-15839-1.
Pełny tekst źródłaAbate, Alessandro, i Gilles Geeraerts, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-65765-3.
Pełny tekst źródłaFränzle, Martin, i Nicolas Markey, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-44878-7.
Pełny tekst źródłaJurdziński, Marcin, i Dejan Ničković, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-33365-1.
Pełny tekst źródłaBraberman, Víctor, i Laurent Fribourg, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40229-6.
Pełny tekst źródłaSankaranarayanan, Sriram, i Enrico Vicario, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-22975-1.
Pełny tekst źródłaBertrand, Nathalie, i Nils Jansen, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-57628-8.
Pełny tekst źródłaFahrenberg, Uli, i Stavros Tripakis, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24310-3.
Pełny tekst źródłaLegay, Axel, i Marius Bozga, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10512-3.
Pełny tekst źródłaOuaknine, Joël, i Frits W. Vaandrager, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04368-0.
Pełny tekst źródłaAndré, Étienne, i Mariëlle Stoelinga, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29662-9.
Pełny tekst źródłaAsarin, Eugene, i Patricia Bouyer, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11867340.
Pełny tekst źródłaKreowski, Hans-Jörg, Ugo Montanari, Fernando Orejas, Grzegorz Rozenberg i Gabriele Taentzer, red. Formal Methods in Software and Systems Modeling. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/b106390.
Pełny tekst źródłaLarsen, Kim Guldstrand, i Peter Niebert, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b12025.
Pełny tekst źródłaChatterjee, Krishnendu, i Thomas A. Henzinger, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15297-9.
Pełny tekst źródłaCassez, Franck, i Claude Jard, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85778-5.
Pełny tekst źródłaPettersson, Paul, i Wang Yi, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11603009.
Pełny tekst źródłaAgha, Gul, Olivier Danvy i José Meseguer, red. Formal Modeling: Actors, Open Systems, Biological Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24933-4.
Pełny tekst źródłaJansen, David N., i Pavithra Prabhakar, red. Formal Modeling and Analysis of Timed Systems. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-00151-3.
Pełny tekst źródłaRaskin, Jean-François, i P. S. Thiagarajan, red. Formal Modeling and Analysis of Timed Systems. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-75454-1.
Pełny tekst źródłaInternational Workshop on Formal Ontologies Meet Industry (4th 2009 Vicenza, Italy). Formal ontologies meet industry. Amsterdam: IOS Press, 2009.
Znajdź pełny tekst źródłaMiller, Stephen P. Detecting mode confusion through formal modeling and analysis. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.
Znajdź pełny tekst źródłaMiller, Stephen P. Detecting mode confusion through formal modeling and analysis. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1999.
Znajdź pełny tekst źródłaDrechsler, Rolf, i Ulrich Kühne, red. Formal Modeling and Verification of Cyber-Physical Systems. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7.
Pełny tekst źródłaEbert, Achim, Gerrit C. van der Veer, Gitta Domik, Nahum D. Gershon i Inga Scheler, red. Building Bridges: HCI, Visualization, and Non-formal Modeling. Berlin, Heidelberg: Springer Berlin Heidelberg, 2014. http://dx.doi.org/10.1007/978-3-642-54894-9.
Pełny tekst źródłaRuqian, Lu. Domain modeling-based software engineering: A formal approach. Boston, MA: Kluwer Academic, 2000.
Znajdź pełny tekst źródłaMargaria, Tiziana, i Bernhard Steffen, red. Leveraging Applications of Formal Methods, Verification and Validation. Modeling. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-03418-4.
Pełny tekst źródłaRozenberg, Grzegorz. Handbook of Formal Languages: Volume 2. Linear Modeling: Background and Application. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997.
Znajdź pełny tekst źródłaMuth, Thomas. Modeling Telecom Networks and Systems Architecture: Conceptual Tools and Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001.
Znajdź pełny tekst źródłaNeufeld, Richard W. J., red. Advances in clinical cognitive science: Formal modeling of processes and symptoms. Washington: American Psychological Association, 2007. http://dx.doi.org/10.1037/11556-000.
Pełny tekst źródłaJayaram, Murali Barathwaj. A formal method for functional modeling and conceptual design of complex mechatronic systems. Ottawa: National Library of Canada, 2002.
Znajdź pełny tekst źródłaModeling in event-b: System and software engineering. New York: Cambridge University Press, 2010.
Znajdź pełny tekst źródłaNicolas, Navet, i Merz Stephan, red. Modeling and verification of real-time systems: Formalisms and software tools. Hoboken, NJ: ISTE/John Wiley, 2008.
Znajdź pełny tekst źródłaNetherlands) International Workshop on Formal Ontologies Meet Industry (5th 2011 Delft. Formal ontologies meet industry: Proceedings of the fifth international workshop (FOMI 2011). Amsterdam: IOS Press, 2011.
Znajdź pełny tekst źródłaSpaccapietra, Stefano, Salvatore T. March i Yahiko Kambayashi. Conceptual Modeling ER 2002 00: 21st International Conference on Conceptual Modeling Tampere, Finland, October 711, 2002 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 2003.
Znajdź pełny tekst źródłaFORMATS, 2010 (2010 Klosterneuburg Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.
Znajdź pełny tekst źródłaWang, Ling Tok, Ram Sudha 1959- i Lee Mong Li, red. Conceptual modeling - ER '98: 17th International Conference on Conceptual Modeling, Singapore, November 16-19, 1998 : proceedings. Berlin: Springer, 1998.
Znajdź pełny tekst źródłaY, Lakhnech, Yovine Sergio, LINK (Online service) i FTRTFT 2004 (2004 : Grenoble, France), red. Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on formal modeling and analysis of timed systems, FORMATS 2004, and formal techniques in real-time and fault -tolerant systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004 : proceedings. Berlin: Springer, 2004.
Znajdź pełny tekst źródłaW, Vaandrager Frits, i SpringerLink (Online service), red. Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.
Znajdź pełny tekst źródłaHartmut, Ehrig, i Kreowski H. -J, red. Formal methods in software and systems modeling: Essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday. Berlin: Springer, 2005.
Znajdź pełny tekst źródłaFORMATS 2010 (2010 Klosterneuburg, Austria). Formal modeling and analysis of timed systems: 8th international conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010 : proceedings. Berlin: Springer, 2010.
Znajdź pełny tekst źródłaShvetsova, Olga, i Carol Mershon. Formal Modeling in Social Science. University of Michigan Press, 2019.
Znajdź pełny tekst źródłaFormal Modeling in Social Science. University of Michigan Press, 2019.
Znajdź pełny tekst źródłaShvetsova, Olga, i Carol Mershon. Formal Modeling in Social Science. University of Michigan Press, 2019.
Znajdź pełny tekst źródłaP. S. Thiagarajan,Jean-Francois Raskin. Formal Modeling and Analysis of Timed Systems. Springer, 2008.
Znajdź pełny tekst źródłaExperiences using formal methods for requirements modeling. [Washington, DC]: National Aeronautics and Space Administration, 1996.
Znajdź pełny tekst źródłaNational Aeronautics and Space Administration (NASA) Staff. Experiences Using Formal Methods for Requirements Modeling. Independently Published, 2018.
Znajdź pełny tekst źródłaMontanari, Ugo. Formal Methods in Software and Systems Modeling. Springer, 2008.
Znajdź pełny tekst źródła