Einloggen

Thematische Bibliographien / Formats orientés objets / Bücher

Um die anderen Arten von Veröffentlichungen zu diesem Thema anzuzeigen, folgen Sie diesem Link: Formats orientés objets.

Bücher zum Thema „Formats orientés objets“

Autor: Grafiati

Veröffentlicht am 5. April 2025

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

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.

1

1926-, Goldsack Stephen J., and Kent, S. J. H. 1966-, eds. Formal methods and object technology. Springer, 1996.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

2

Roth, Andreas. Specification and verification of object oriented software components. Univ.-Verl. Karlsruhe, 2006.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

3

FMCO 2008 (2008 Amsterdam, Netherlands). Formal methods for components and objects: 6th international symposium. Springer, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

4

N.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. Springer, 2014.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

5

FMCO 2003 (2003 Leiden, Netherlands). Formal methods for components and objects: Second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures. Springer, 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

6

Castagna, Giuseppe. ECOOP 2013 – Object-Oriented Programming: 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings. Springer Berlin Heidelberg, 2013.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

7

service), SpringerLink (Online, ed. ECOOP 2012 – Object-Oriented Programming: 26th European Conference, Beijing, China, June 11-16, 2012. Proceedings. Springer Berlin Heidelberg, 2012.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

8

Elie, Najm, Nestmann Uwe, and Stevens Perdita, eds. Formal methods for open object-based distributed systems: 6th IFIP WG 6.0 international conference, FMOODS 2003, Paris, France, November 2003 : proceedings. Springer-Verlag, 2003.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

9

International 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. Springer, 2010.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

10

J, Tarr Michael, and Bülthoff Heinrich H, eds. Object recognition in man, monkey, and machine. MIT Press, 1998.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

11

Boer, Frank S. de. Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Springer Berlin Heidelberg, 2010.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

12

de, Boer Frank S., and SpringerLink (Online service), eds. Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings. Springer-Verlag Berlin Heidelberg, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

13

Lano, Kevin. Formal Object-Oriented Development. Springer London, Limited, 2012.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

14

Larsen, Peter G., Paul Mukherjee, Nico Plat, Marcel Verhoef, and John Fitzgerald. Validated Designs for Object-oriented Systems. Springer, 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

15

Bonsangue, Marcello M., and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

16

Roever, Willem-Paul de, Susanne Graf, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

17

Formal Methods For Components And Objects 5th International Symposium Fmco 2006 Amsterdam Netherlands November 710 2006 Revised Lectures. Springer, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

18

Roever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

19

Roever, Willem-Paul de, Susanne Graf, Marcello Bonsangue, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

20

Krogdahl, Stein, Tom Lyche, and Olaf Owe. From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl. Springer London, Limited, 2004.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

21

Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), and Willem-Paul de Roever (Editor), eds. 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

22

Ecoop 2014 -- Object-Oriented Programming: 28th Europan Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings. Springer Berlin / Heidelberg, 2014.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

23

Lambrix, Patrick. Part-Whole Reasoning in an Object-Centered Framework. Springer, 2003.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

24

Boer, Frank S. de, Reiner Hähnle, Elena Giachino, and 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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

25

(Editor), Bernhard Beckert, Reiner Hähnle (Editor), and Peter H. Schmitt (Editor), eds. 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

26

Lechte, John. Philosophy of the Medium. Bloomsbury Publishing Plc, 2023. http://dx.doi.org/10.5040/9781350299214.

Der volle Inhalt der Quelle

Annotation:

Taking the principle of the ‘disappearance of the medium’ into new territory, this book questions the pervasive influence of the principle that the ‘medium is the message’ – that the best we can hope for is a knowledge of the world that is media specific, and that it is this specificity, rather than media content, that should be made an object of study. Bold and investigative, this book argues that we have for too long focused on the technical specificities of media, when we should have been focusing on what it is that mediums do, that is, on their ‘content’ rather than their formal and techni

APA, Harvard, Vancouver, ISO und andere Zitierweisen

27

Formal 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

28

Boer, Frank S. de, Reiner Hähnle, Elena Giachino, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

29

Roever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

30

Roever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

31

Roever, Willem-Paul de, Frank S. de Boer, Susanne Graf, and 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

32

Practical UML statecharts in C/C++: Event-driven programming for embedded systems. 2nd ed. Newnes/Elsevier, 2009.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

33

Samek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

34

Samek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

35

Petersson, Sonya, Christer Johansson, Magdalena Holdar, and Sara Callahan, eds. 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 Quelle

Annotation:

The Power of the In-Between: Intermediality as a Tool for Aesthetic Analysis and Critical Reflection gathers fourteen individual case studies where intermedial issues—issues concerning that which takes place in between media—are explored in relation to a range of different cultural objects and contexts, different methodological approaches, and different disciplinary perspectives. The cases investigate the intermediality of such manifold objects and phenomena as contemporary installation art, twentieth-century geography books, renaissance sculpture, media theory, and public architecture of the

APA, Harvard, Vancouver, ISO und andere Zitierweisen

36

Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), and Willem-Paul de Roever (Editor), eds. 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

37

Steffen, Martin, and 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

APA, Harvard, Vancouver, ISO und andere Zitierweisen

38

(Editor), Martin Steffen, and Gianluigi Zavattaro (Editor), eds. 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 finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

39

Fort, Federico Ignacio. ¿Solo imágenes de propaganda? Teseo, 2022. http://dx.doi.org/10.55778/ts878852775.

Der volle Inhalt der Quelle

Annotation:

<p>El Estado Islámico de Irak y Siria (EIIS), también conocido como ISIS por sus siglas en inglés, es un actor que a partir del 2014 ha cobrado central relevancia en la dinámica política, social, geográfica y cultural de Medio Oriente. Siendo que, al mismo tiempo, ha conmovido (de una u otra forma) a las denominadas, coloquialmente, “sociedades occidentales”. El gran impacto logrado por la profesional producción de sus videos, la violencia de sus imágenes y la vertiginosa circulación que adquirieron a partir de la viralización en redes sociales han despertado gran atención no sólo en los

APA, Harvard, Vancouver, ISO und andere Zitierweisen

40

Barrio 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 Quelle

Annotation:

<p>El quehacer de los educadores en general –y en particular el trabajo de los maestros– tiene mucho que ver con el desarrollo intelectual de sus alumnos. Naturalmente, hay otras dimensiones sustantivas del crecimiento personal en las que la tarea educativa juega un papel relevante. Pero me parece que en el entorno escolar estas otras van en la estela de la dimensión intelectual.</p><p>Resulta obvio que el ecosistema escolar ha de proveer, además, un ambiente propicio a otro tipo de aprendizajes –intelectuales, morales, cívicos– en los que hace falta entender, de forma gradua

APA, Harvard, Vancouver, ISO und andere Zitierweisen

41

Andruchow, Marcela, ed. Colección de obras de la Facultad de Artes. Papel Cosido, 2020. http://dx.doi.org/10.35537/10915/120423.

Der volle Inhalt der Quelle

Annotation:

El presente catálogo y los ensayos críticos que lo acompañan son resultado del trabajo de investigación de un grupo de docentes y estudiantes avanzados, integrantes del Instituto del Historia de Arte Argentino y Americano (IHAAA), de la Facultad de Bellas Artes de la Universidad Nacional de La Plata. La investigación básica que da cuerpo a los textos y fichas de artistas presentados se enmarcó en dos proyectos de investigación del Programa de Incentivos a docentes investigadores de las Universidades Nacionales del Ministerio de Educación de la Nación. Dichos proyectos se desarrollaron durante

APA, Harvard, Vancouver, ISO und andere Zitierweisen

42

Samek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2008.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

43

Samek, Miro. Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Systems. Taylor & Francis Group, 2018.

Den vollen Inhalt der Quelle finden

APA, Harvard, Vancouver, ISO und andere Zitierweisen

44

Martins Rodrigues, Jorge José, and 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 Quelle

Annotation:

O livro que ora se encontra nas vossas mãos, no seu terceiro volume, é por tradição um livro de temática interdisciplinar e transdisciplinar no campo das ciências sociais aplicadas. É interdisciplinar porque cruza várias disciplinas do saber. A sua transdisciplinaridade fica a dever-se aos múltiplos campos do conhecimento abrangidos, com os trabalhos apresentados a inserirem-se em temáticas emergentes nos vários campos científicos. A metodologia seguida na organização deste volume, podendo ser discutível, privilegiou os conteúdos dos artigos, o que originou o chapéu Educação-Organização-Inform

APA, Harvard, Vancouver, ISO und andere Zitierweisen

45

Donato, 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

Annotation:

Finalizando la segunda década del siglo XXI no cabe duda alguna de que nos ha correspondido ser testigos de primera mano de una revolución tecnológica sin antecedentes en la historia de la humanidad. Los acelerados desarrollos que tienen lugar cada día en campos como la inteligencia artificial, la robótica, la bioingeniería, entre otros más, así lo demuestran. Sin embargo, junto con el entusiasmo que naturalmente provoca ver aparecer nuevas e insospechadas posibilidades de bienestar —en áreas tan importantes como la salud, la economía y las comunicaciones—, conviven también el desconcierto y e

APA, Harvard, Vancouver, ISO und andere Zitierweisen

Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!