Książki na temat „Formats orientés objets”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 45 najlepszych książek naukowych na temat „Formats orientés objets”.
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.
1926-, Goldsack Stephen J., i Kent, S. J. H. 1966-, red. Formal methods and object technology. London: Springer, 1996.
Znajdź pełny tekst źródłaRoth, Andreas. Specification and verification of object oriented software components. Karlsruhe: Univ.-Verl. Karlsruhe, 2006.
Znajdź pełny tekst źródłaFMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Berlin: Springer, 2008.
Znajdź pełny tekst źródłaN.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.
Znajdź pełny tekst źródłaFMCO 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.
Znajdź pełny tekst źródłaCastagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.
Znajdź pełny tekst źródłaservice), SpringerLink (Online, red. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Znajdź pełny tekst źródłaElie, Najm, Nestmann Uwe i Stevens Perdita, red. 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.
Znajdź pełny tekst źródłaInternational 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.
Znajdź pełny tekst źródłaJ, Tarr Michael, i Bülthoff Heinrich H, red. Object recognition in man, monkey, and machine. Cambridge, Mass: MIT Press, 1998.
Znajdź pełny tekst źródłaBoer, 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.
Znajdź pełny tekst źródłade, Boer Frank S., i SpringerLink (Online service), red. 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.
Znajdź pełny tekst źródłaLano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.
Znajdź pełny tekst źródłaLarsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef i John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.
Znajdź pełny tekst źródłaBonsangue, Marcello M., i 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.
Znajdź pełny tekst źródłaRoever, Willem-Paul de, Susanne Graf i 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.
Znajdź pełny tekst źródłaFormal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.
Znajdź pełny tekst źródłaRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf i 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.
Znajdź pełny tekst źródłaRoever, Willem-Paul de, Susanne Graf, Marcello Bonsangue i 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.
Znajdź pełny tekst źródłaKrogdahl, Stein, Tom Lyche i Olaf Owe. From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.
Znajdź pełny tekst źródłaFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) i Willem-Paul de Roever (Editor), red. 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.
Znajdź pełny tekst źródłaEcoop 2014 -- Object-Oriented Programming: 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.
Znajdź pełny tekst źródłaLambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.
Znajdź pełny tekst źródłaBoer, Frank S. de, Reiner Hähnle, Elena Giachino i Marcello M. Bonsangue. Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures. Springer, 2013.
Znajdź pełny tekst źródła(Editor), Bernhard Beckert, Reiner Hähnle (Editor) i Peter H. Schmitt (Editor), red. Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science). Springer, 2007.
Znajdź pełny tekst źródłaLechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.
Pełny tekst źródłaFormal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1 2010. Springer London, Limited, 2011.
Znajdź pełny tekst źródłaBoer, Frank S. de, Reiner Hähnle, Elena Giachino i 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.
Znajdź pełny tekst źródłaRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf i 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.
Znajdź pełny tekst źródłaRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf i 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.
Znajdź pełny tekst źródłaRoever, Willem-Paul de, Frank S. de Boer, Susanne Graf i 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.
Znajdź pełny tekst źródłaPractical UML statecharts in C/C++: Event-driven programming for embedded systems. Wyd. 2. Amsterdam: Newnes/Elsevier, 2009.
Znajdź pełny tekst źródłaSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Znajdź pełny tekst źródłaSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Znajdź pełny tekst źródłaPetersson, Sonya, Christer Johansson, Magdalena Holdar i Sara Callahan, red. 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.
Pełny tekst źródłaFrank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor) i Willem-Paul de Roever (Editor), red. 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.
Znajdź pełny tekst źródłaSteffen, Martin, i 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.
Znajdź pełny tekst źródła(Editor), Martin Steffen, i Gianluigi Zavattaro (Editor), red. 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.
Znajdź pełny tekst źródłaFort, Federico Ignacio. ¿Solo imágenes de propaganda? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.
Pełny tekst źródłaBarrio Maestre, José María. El desafío de la formación intelectual. Teseo, 2020. http://dx.doi.org/10.55778/ts508939166.
Pełny tekst źródłaAndruchow, Marcela, red. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.
Pełny tekst źródłaSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.
Znajdź pełny tekst źródłaSamek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.
Znajdź pełny tekst źródłaMartins Rodrigues, Jorge José, i 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.
Pełny tekst źródłaDonato, 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.
Pełny tekst źródła