Books on the topic 'PETRA (Program)'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 25 books for your research on the topic 'PETRA (Program).'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Goltz, Ursula. On representing CCS programs by finite petri nets. Sankt Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1988.
Find full textLundstrom, Stephen F. Design of testbed and emulation tools. Stanford, CA: Computer Systems Laboratory, 1986.
Find full textDahr, Michael. Petri net semantics of logic programs and deductive databases. Hamburg: Kovac, 1994.
Find full textHuck, Volker. Petri-Netze im Flughafenverkehr: Möglichkeiten, Grenzen, Perspektiven. Braunschweig: Deutsche Forschungsanstalt für Luft- und Raumfahrt, 1991.
Find full textTaubner, Dirk. Finite representations of CCS and TCSP programs by automata and Petri nets. Berlin: Springer-Verlag, 1989.
Find full textTaubner, Dirk. Finite representations of CCS and TCSP programs by automata and Petri nets. Berlin: Springer-Verlag, 1989.
Find full textTaubner, Dirk A. Finite Reresentations of CCS and TCSP Programs by Automata and Petri Nets. Berlin, Heidelberg: Springer Berlin Heidelberg, 1989. http://dx.doi.org/10.1007/3-540-51525-9.
Full textP, Aalst Wil M., Balbo Gianfranco, Koutny Maciej 1958-, Wolf Karsten, and SpringerLink (Online service), eds. Transactions on Petri Nets and Other Models of Concurrency VII. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Find full textLucia, Pomello, and SpringerLink (Online service), eds. Application and Theory of Petri Nets: 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Find full textColom, José-Manuel. Application and Theory of Petri Nets and Concurrency: 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Find full textYoeli, Michael. Verification of systems and circuits using LOTOS, Petri Nets, and CCS. Hoboken, N.J: John Wiley & Sons, 2008.
Find full textFossum, John Erik. Oil, the state, and federalism: The rise and demise of Petro-Canada as a statist impulse. Toronto: University of Toronto Press, 1997.
Find full textOil, the state, and federalism: The rise and demise of Petro-Canada as a statist impulse. Toronto: University of Toronto Press, 1997.
Find full textL' Europe et la formation professionnelle des jeunes: Transférer les acquis de PETRA dans LEONARDO et Emploi/Youthstart. Paris: Racine éditions, 1995.
Find full textL'Europe et la formation professionnelle des jeunes: Transferer les acquis de PETRA dans LEONARDO et Emploi/Youthstart. Diffusion, Documentation francaise, 1995.
Find full textEuropean Commission. Directorate-General XXII, Education, Training, and Youth., ed. Leonardo da Vinci: Analysis of the results of studies on vocational training in Europe : findings of the Comett, Eurotecnet, FORCE, Lingua, and PETRA programmes. Luxembourg: Office for Official Publications of the European Communities, 1998.
Find full textLeonardo da Vinci: Analysis of the results of studies on vocational training in Europe : Findings of the Comett, Eurotecnet, FORCE, Lingua, and PETRA programmes. Bernan Associates [distributor], 1998.
Find full textMota, Miguel Mujica, Idalia Flores De La Mota, Antoni Guasch, and Miquel Angel Piera. Robust Modelling and Simulation: Integration of SIMIO with Coloured Petri Nets. Springer, 2017.
Find full textVilhar, Urša, ed. Didaktični programi za gozdno pedagogiko za Vrtec Petra Klepca in Osnovno šolo Cerkno. Gozdarski inštitut Slovenije, Založba Silva Slovenica, 2019. http://dx.doi.org/10.20315/silvaslovenica.0012.
Full textFinite Representations Of Ccs And Tcsp Programs By Automata And Petri Nets. Springer, 1989.
Find full textYoeli, Michael, and Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Wiley & Sons, Incorporated, John, 2008.
Find full textYoeli, Michael, and Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS. Wiley & Sons, Incorporated, John, 2010.
Find full textGiorgio, De Michelis, Diaz Michel 1945-, and International Conference on Applications and Theory of Petri Nets (16th : 1995 : Turin, Italy), eds. Application and theory of Petri nets, 1995: 16th International Conference, Turin, Italy, June 26-30, 1995 : proceedings. Berlin: Springer-Verlag, 1995.
Find full textYoeli, Michael, and Rakefet Kol. Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS (Wiley Series on Parallel and Distributed Computing). Wiley-Interscience, 2008.
Find full textJensen, Kurt. Application and Theory of Petri Nets 1992: 13th International Conference, Sheffield, UK, June 22-26, 1992. Proceedings (Lecture Notes in Computer Science). Springer, 1992.
Find full text