Bücher zum Thema „Formats orientés objets“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-45 Bücher für die Forschung zum Thema "Formats orientés objets" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Bücher für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
1926-, Goldsack Stephen J., und Kent, S. J. H. 1966-, Hrsg. Formal methods and object technology. London: Springer, 1996.
Den vollen Inhalt der Quelle findenRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.
Den vollen Inhalt der Quelle findenFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Den vollen Inhalt der Quelle findenN.Z.) SOFL+MSVL (Workshop) (3rd 2013 Queenstown. Structured object-oriented formal language and method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013 : revised selected papers. Cham: Springer, 2014.
Den vollen Inhalt der Quelle findenFMCO 2003 (2003 Leiden, Netherlands). Formal methods for components and objects: Second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures. Berlin: Springer, 2004.
Den vollen Inhalt der Quelle findenCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Den vollen Inhalt der Quelle findenservice), SpringerLink (Online, Hrsg. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Den vollen Inhalt der Quelle findenElie, Najm, Nestmann Uwe und Stevens Perdita, Hrsg. Formal methods for open object-based distributed systems: 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings. Berlin: Springer-Verlag, 2003.
Den vollen Inhalt der Quelle findenInternational Conference on Formal Methods for Open Object-Based Distributed Systems (12th 2010 Amsterdam, Netherlands). Formal techniques for distributed systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, the Netherlands, June 7-9, 2010 : proceedings. Berlin: Springer, 2010.
Den vollen Inhalt der Quelle findenJ, Tarr Michael, und Bülthoff Heinrich H, Hrsg. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.
Den vollen Inhalt der Quelle findenBoer, Frank S. de. Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2010.
Den vollen Inhalt der Quelle findende, Boer Frank S., und SpringerLink (Online service), Hrsg. Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2008.
Den vollen Inhalt der Quelle findenLano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.
Den vollen Inhalt der Quelle findenLarsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef und John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.
Den vollen Inhalt der Quelle findenBonsangue, Marcello M., und Eric Madelaine. Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey. Springer London, Limited, 2009.
Den vollen Inhalt der Quelle findenRoever, Willem-Paul de, Susanne Graf und Marcello M. Bonsangue. Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007, Revised Lectures. Springer London, Limited, 2008.
Den vollen Inhalt der Quelle findenFormal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.
Den vollen Inhalt der Quelle findenRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf und Marcello M. Bonsangue. Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures. Springer London, Limited, 2008.
Den vollen Inhalt der Quelle findenRoever, Willem-Paul de, Susanne Graf, Marcello Bonsangue und Frank S. de Boer. Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002, Revised Lectures. Springer London, Limited, 2003.
Den vollen Inhalt der Quelle findenKrogdahl, Stein, Tom Lyche und Olaf Owe. From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.
Den vollen Inhalt der Quelle findenFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) und Willem-Paul de Roever (Editor), Hrsg. Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science). Springer, 2004.
Den vollen Inhalt der Quelle findenEcoop 2014 -- Object-Oriented Programming: 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.
Den vollen Inhalt der Quelle findenLambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.
Den vollen Inhalt der Quelle findenBoer, Frank S. de, Reiner Hähnle, Elena Giachino und Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer, 2013.
Den vollen Inhalt der Quelle finden(Editor), Bernhard Beckert, Reiner Hähnle (Editor) und Peter H. Schmitt (Editor), Hrsg. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science). Springer, 2007.
Den vollen Inhalt der Quelle findenLechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.
Der volle Inhalt der QuelleFormal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010. Springer London, Limited, 2011.
Den vollen Inhalt der Quelle findenBoer, Frank S. de, Reiner Hähnle, Elena Giachino und Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer London, Limited, 2013.
Den vollen Inhalt der Quelle findenRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf und Marcello M. Bonsangue. Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, the Netherlands, November 1-4, 2005, Revised Lectures. Springer London, Limited, 2006.
Den vollen Inhalt der Quelle findenRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf und Marcello M. Bonsangue. Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003. Revised Lectures. Springer London, Limited, 2004.
Den vollen Inhalt der Quelle findenRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf und Marcello M. Bonsangue. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004, Revised Lectures. Springer London, Limited, 2005.
Den vollen Inhalt der Quelle findenPractical UML statecharts in C/C++: Event-driven programming for embedded systems. 2. Aufl. Amsterdam: Newnes/Elsevier, 2009.
Den vollen Inhalt der Quelle findenSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Den vollen Inhalt der Quelle findenSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Den vollen Inhalt der Quelle findenPetersson, Sonya, Christer Johansson, Magdalena Holdar und Sara Callahan, Hrsg. The Power of the In-Between: Intermediality as a Tool for Aesthetic Analysis and Critical Reflection. Stockholm University Press, 2018. http://dx.doi.org/10.16993/baq.
Der volle Inhalt der QuelleFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) und Willem-Paul de Roever (Editor), Hrsg. Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures (Lecture Notes in Computer Science). Springer, 2005.
Den vollen Inhalt der Quelle findenSteffen, Martin, und Gianluigi Zavattaro. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6. 1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Springer London, Limited, 2005.
Den vollen Inhalt der Quelle finden(Editor), Martin Steffen, und Gianluigi Zavattaro (Editor), Hrsg. Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings (Lecture Notes in Computer Science). Springer, 2005.
Den vollen Inhalt der Quelle findenFort, Federico Ignacio. ¿Solo imágenes de propaganda? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.
Der volle Inhalt der QuelleBarrio Maestre, José María. El desafío de la formación intelectual. Teseo, 2020. http://dx.doi.org/10.55778/ts508939166.
Der volle Inhalt der QuelleAndruchow, Marcela, Hrsg. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.
Der volle Inhalt der QuelleSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Den vollen Inhalt der Quelle findenSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.
Den vollen Inhalt der Quelle findenMartins Rodrigues, Jorge José, und Maria Amélia Marques. Ciências Socialmente Aplicáveis: Integrando Saberes e Abrindo Caminhos III. Editora Artemis, 2022. http://dx.doi.org/10.37572/edart_290522583.
Der volle Inhalt der QuelleDonato, Oscar. Redefinir lo humano en la era técnica: perspectivas filosóficas. Universidad Libre sede principal, 2020. http://dx.doi.org/10.18041/978-958-5578-23-4.
Der volle Inhalt der Quelle