Bibliografías temáticas / Logics and meaning of programs / Libros

Libros sobre el tema "Logics and meaning of programs"

Siga este enlace para ver otros tipos de publicaciones sobre el tema: Logics and meaning of programs.
Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 1 de febrero de 2022

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores mejores libros para su investigación sobre el tema "Logics and meaning of programs".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore libros sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Voronkov, Andrei. Programming Logics: Essays in Memory of Harald Ganzinger. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Binder, Walter. Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Live Data Structures in Logic Programs: Derivation by Means of Abstract Interpretation. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

P, Aalst Wil M., Balbo Gianfranco, Koutny Maciej 1958-, Wolf Karsten y SpringerLink (Online service), eds. Transactions on Petri Nets and Other Models of Concurrency VII. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Halpin, Harry. Social Semantics: The Search for Meaning on the Web. Boston, MA: Springer US, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Nelma, Moreira, Reis Rogério y SpringerLink (Online service), eds. Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Parikh, Rohit, ed. Logics of Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/3-540-15648-8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Felleisen, Matthias. Programming Languages and Systems: 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Johnsen, Einar Broch. Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Shankar, A. Udaya. Distributed Programming: Theory and Practice. New York, NY: Springer New York, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Glaser, Hugh, Herbert Kuchen y Pieter Hartel. Programming Languages: Implementations, Logics, and Programs: 9th International Symposium, PLILP '97 Including a Special Track on Declarative Programming Languages in Education Southampton, UK, September 35, 1997 Proceedings. Berlin: Springer-Verlag, 1997.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Wiggins, Geraint A. ALPUK 91: Proceedings of the 3rd UK Annual Conference on Logic Programming, Edinburgh, 10-12 April 1991. London: Springer London, 1992.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Bernardo, Marco. Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Robert, Craven, Kesim Çiçekli Nihan, Sadighi Babak, Stathis Kostas y SpringerLink (Online service), eds. Logic Programs, Norms and Action: Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Juan, Lara y SpringerLink (Online service), eds. Theory and Practice of Model Transformations: 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Fitting, Melvin. Beyond two: Theory and applications of multiple-valued logic. Editado por Orlowska Ewa. Heidelberg: Physica-Verlag, 2003.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

David, Parker y SpringerLink (Online service), eds. Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Baldoni, Matteo. Declarative Agent Languages and Technologies X: 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Rex, Page y SpringerLink (Online service), eds. Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

1963-, Assmann Uwe y SpringerLink (Online service), eds. Software Language Engineering: 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Keller, Hubert B. Reliable Software Technologies – Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10-14, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

João, Lourenço, Shehory Onn M. 1963- y SpringerLink (Online service), eds. Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

Miguel, Pinho Luís y SpringerLink (Online service), eds. Reliable Software Technologies – Ada-Europe 2012: 17th Ada-Europe International Conference on Reliable Software Technologies, Stockholm, Sweden, June 11-15, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

service), SpringerLink (Online, ed. Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Markus, Lumpe y SpringerLink (Online service), eds. Formal Aspects of Component Software: 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Flavio, Paoli, Gruhn Volker, Book Matthias y SpringerLink (Online service), eds. Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Lutz, Schröder y SpringerLink (Online service), eds. Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Pfenning, Frank. Foundations of Software Science and Computation Structures: 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Sagiv, Yehoshua, John Lloyd, Veronica Dahl, Kung-Kiu Lau, Catuscia Palamidessi, Ulrich Furbach, Peter J. Stuckey, Manfred Kerber y Lus Moniz Pereira. Computational Logic CL 2000 00: First International Conference London, UK, July 2428, 2000 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 2000.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Sebastian, Nanz y SpringerLink (Online service), eds. Objects, Models, Components, Patterns: 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

service), SpringerLink (Online, ed. Software Service and Application Engineering: Essays Dedicated to Bernd Krämer on the Occasion of His 65th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

Piterman, Nir. Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Kuchen, Herbert y S. Doaitse Swierstra, eds. Programming Languages: Implementations, Logics, and Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61756-6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Hermenegildo, Manuel y S. Doaitse Swierstra, eds. Programming Languages: Implementations, Logics and Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1995. http://dx.doi.org/10.1007/bfb0026808.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Glaser, Hugh, Pieter Hartel y Herbert Kuchen, eds. Programming Languages: Implementations, Logics, and Programs. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0033832.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

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

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

1956-, Bezem M. y Groote J. F. 1965-, eds. Typed lambda calculi and applications: International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings. Berlin: Springer-Verlag, 1993.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Andreas, Herzig, Mengin Jérôme y SpringerLink (Online service), eds. Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Alexandra, Silva y SpringerLink (Online service), eds. Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Nicola, Rocco. Coordination Models and Languages: 15th International Conference, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Duddy, Keith. Theory and Practice of Model Transformations: 6th International Conference, ICMT 2013, Budapest, Hungary, June 18-19, 2013. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Juha-Pekka, Tolvanen, Kindler Ekkart, Störrle Harald, Kolovos Dimitris y SpringerLink (Online service), eds. Modelling Foundations and Applications: 8th European Conference, ECMFA 2012, Kgs. Lyngby, Denmark, July 2-5, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Cámara, Javier. Assurances for Self-Adaptive Systems: Principles, Models, and Techniques. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

service), SpringerLink (Online, ed. Rewriting Logic and Its Applications: 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Gill, Andy. Implementation and Application of Functional Languages: 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Alireza, Tamaddoni-Nezhad, Lisi Francesca A y SpringerLink (Online service), eds. Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Leon, Torre, Dastani Mehdi, Governatori Guido y SpringerLink (Online service), eds. Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Vadim, Kimmelman, Roelofsen Floris, Sassoon Galit W, Schulz Katrin, Westera Matthijs y SpringerLink (Online service), eds. Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Katoen, Joost-Pieter. Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings. Berlin: Springer-Verlag Berlin Heidelberg, 1999.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Logics and meaning of programs" para otros tipos de fuentes:
Artículos de revistas Tesis
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía