Książki na temat „Timed automata”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych książek naukowych na temat „Timed automata”.
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.
Kaynar, Dilsun K., Nancy Lynch, Roberto Segala i Frits Vaandrager. The Theory of Timed I/O Automata. Cham: Springer International Publishing, 2011. http://dx.doi.org/10.1007/978-3-031-02003-2.
Pełny tekst źródłaKaynar, Dilsun K., Nancy Lynch, Roberto Segala i Frits Vaandrager. The Theory of Timed I/O Automata. Cham: Springer International Publishing, 2006. http://dx.doi.org/10.1007/978-3-031-01794-0.
Pełny tekst źródłaThe theory of timed I/O automata. Wyd. 2. San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA): Morgan & Claypool, 2011.
Znajdź pełny tekst źródłaPenczek, Wojciech, i Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/978-3-540-32870-4.
Pełny tekst źródłaJansen, Nils, Mariëlle Stoelinga i Petra van den Bos, red. A Journey from Process Algebra via Timed Automata to Model Learning. Cham: Springer Nature Switzerland, 2022. http://dx.doi.org/10.1007/978-3-031-15629-8.
Pełny tekst źródłaRodolfo, Gomez, red. Concurrency theory: Calculi and automata for modelling untimed and timed concurrent systems. London: Springer, 2006.
Znajdź pełny tekst źródła1957-, Larsen K. G., i Niebert Peter, red. Formal modeling and analysis of timed systems: First international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers. Berlin: Springer, 2004.
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ł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łaFORMATS 2004 (2004 Grenoble, France). Formal techniques, modelling and analysis of timed and fault-tolerant systems: Joint international conferences on Formal Modelling 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ł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łaFahrenberg, Uli. Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings. Berlin, Heidelberg: Springer-Verlag GmbH Berlin Heidelberg, 2011.
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łaDejan, Ničković, i SpringerLink (Online service), red. Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Znajdź pełny tekst źródłaNicol, David M. Automated parallelization of timed petri-net simulations. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.
Znajdź pełny tekst źródłaWeizhen, Mao, i Langley Research Center, red. Automated parallelization of timed petri-net simulations. Hampton, Va: National Aeronautics and Space Administration, Langley Research Center, 1994.
Znajdź pełny tekst źródłaAutomated Alice. London: Corgi, 1997.
Znajdź pełny tekst źródłaNoon, Jeff. Automated Alice. London: Doubleday, 1996.
Znajdź pełny tekst źródłaNoon, Jeff. Automated Alice. New York: Crown Publishers, 1996.
Znajdź pełny tekst źródłaHawaii. Legislature. Legislative Reference Bureau. Hawaii's automatic permit approval law. Honolulu, Hawaii: Legislative Reference Bureau, 2000.
Znajdź pełny tekst źródłaD, Riley Michael. Speech time-frequency representations. Boston (Mass.): Kluwer Academic, 1988.
Znajdź pełny tekst źródłaD, Riley Michael. Speech time-frequency representations. Boston: Kluwer Academic Publishers, 1989.
Znajdź pełny tekst źródłaGust, Jeff C. Stopwatch and timer calibrations. Wyd. 2. [Gaithersburg, MD]: U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.
Znajdź pełny tekst źródłaGust, Jeff C. Stopwatch and timer calibrations. Wyd. 2. [Gaithersburg, MD]: U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.
Znajdź pełny tekst źródłaGust, Jeff C. Stopwatch and timer calibrations. Wyd. 2. [Gaithersburg, MD]: U.S. Dept. of Commerce, National Institute of Standards and Technology, 2009.
Znajdź pełny tekst źródłaLudyk, Günter. Stability of time-variant discrete-time systems. Braunschweig: Vieweg, 1985.
Znajdź pełny tekst źródłaLudyk, Günter. Stability of time-variant discrete-time systems. Braunschweig: Friedr. Vieweg, 1985.
Znajdź pełny tekst źródłaThe automatic Mac: QuicKeys to time-saving macros. New York: Brady Books, 1992.
Znajdź pełny tekst źródłaH, Dierks, red. Real-time systems: Formal specification and automatic verification. Cambridge, UK: Cambridge University Press, 2008.
Znajdź pełny tekst źródłaSeatzu, Carla. Control of Discrete-Event Systems: Automata and Petri Net Perspectives. London: Springer London, 2013.
Znajdź pełny tekst źródłaLe grand empereur et ses automates: Roman. Paris: A. Michel, 1985.
Znajdź pełny tekst źródłaLe Grand Empereur et ses automates: Roman. Paris: A. Michel, 1985.
Znajdź pełny tekst źródłaJ, Fleming P., red. Transputers in real-time control. Taunton, Somerset, England: Research Studies Press, 1992.
Znajdź pełny tekst źródłaHamann, Heiko. Space-time continuous models of swarm robotic systems: Supporting global-to-local programming. Berlin: Springer-Verlag, 2010.
Znajdź pełny tekst źródłaCongress, Nita. The automated highway system: An idea whose time has come. [Washington, D.C.?]: U.S. Dept. of Transportation, Federal Highway Administration, 1994.
Znajdź pełny tekst źródłaJackson, Richard Henry Frymuth. Hierarchical control and real-time optimization in automated manufacturing systems. [Washington, D.C.?]: U.S. Dept. of Commerce, National Bureau of Standards, 1986.
Znajdź pełny tekst źródłaSteve, Purinton, i George C. Marshall Space Flight Center., red. Automatic mathematical modeling for real time simulation program (AI application). [Huntsville, Ala.]: National Aeronautics and Space Administration, George C. Marshall Space Flight Center, 1989.
Znajdź pełny tekst źródłaChan, Bryan. Run-time support for the automatic parallelization of java programs. Ottawa: National Library of Canada, 2002.
Znajdź pełny tekst źródłaJudah, Levine, i National Institute of Standards and Technology (U.S.), red. Technical reference manual for NIST automated computer time service (ACTS). [Gaithersburg, Md.]: U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 2001.
Znajdź pełny tekst źródłaSilviu-Iulian, Niculescu, i Gu Keqin 1957-, red. Advances in time-delay systems. Berlin: Springer-Verlag, c2004., 2004.
Znajdź pełny tekst źródłaSilviu-Iulian, Niculescu, i Gu Keqin 1957-, red. Advances in time-delay systems. Berlin: Springer-Verlag, 2004.
Znajdź pełny tekst źródłaTimed Safety Automata and Logic Conformance. Storming Media, 1999.
Znajdź pełny tekst źródłaKaynar, Dilsun, Nancy Lynch, Roberto Segala i Frits Vaandrager. Theory of Timed I/o Automata, Second Edition. Springer International Publishing AG, 2010.
Znajdź pełny tekst źródłaLynch, Nancy, Dilsun K. Kaynar, Roberto Segala i Frits Vaandrager. The Theory of Timed I/O Automata (Synthesis Lectures in Computer Science). Morgan & Claypool Publishers, 2006.
Znajdź pełny tekst źródłaPenczek, Wojciech, i Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer, 2010.
Znajdź pełny tekst źródłaPenczek, Wojciech, i Agata Pólrola. Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. Springer London, Limited, 2007.
Znajdź pełny tekst źródłaBowman, Howard, i Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer London, Limited, 2010.
Znajdź pełny tekst źródłaBowman, Howard, i Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer London, Limited, 2006.
Znajdź pełny tekst źródłaBowman, Howard, i Rodolfo Gomez. Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurrent Systems. Springer, 2005.
Znajdź pełny tekst źródła(Editor), Kim G. Larsen, i Peter Niebert (Editor), red. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers (Lecture Notes in Computer Science). Springer, 2004.
Znajdź pełny tekst źródła