Conecte-se

Bibliografias temáticas / Logics and meaning of programs / Livros

Siga este link para ver outros tipos de publicações sobre o tema: Logics and meaning of programs.

Livros sobre o tema "Logics and meaning of programs"

Autor: Grafiati

Publicado: 4 de junho de 2021

Última modificação: 1 de fevereiro de 2022

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores livros para estudos sobre o assunto "Logics and meaning of programs".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja os livros das mais diversas áreas científicas e compile uma bibliografia correta.

1

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

2

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

3

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

4

P, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

5

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

6

Nelma, Moreira, Reis Rogério, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

10

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

11

Glaser, Hugh, Herbert Kuchen, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

14

Robert, Craven, Kesim Çiçekli Nihan, Sadighi Babak, Stathis Kostas, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

15

Juan, Lara, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

16

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

David, Parker, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

19

Rex, Page, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

20

1963-, Assmann Uwe, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

22

João, Lourenço, Shehory Onn M. 1963-, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

23

Miguel, Pinho Luís, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

25

Markus, Lumpe, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

26

Flavio, Paoli, Gruhn Volker, Book Matthias, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

27

Lutz, Schröder, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

30

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

31

Sebastian, Nanz, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

34

Kuchen, Herbert, and 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

35

Hermenegildo, Manuel, and 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 da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

36

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

Texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

38

1956-, Bezem M., and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

39

Andreas, Herzig, Mengin Jérôme, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

40

Alexandra, Silva, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

43

Juha-Pekka, Tolvanen, Kindler Ekkart, Störrle Harald, Kolovos Dimitris, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

44

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

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

47

Alireza, Tamaddoni-Nezhad, Lisi Francesca A, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

48

Leon, Torre, Dastani Mehdi, Governatori Guido, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

49

Vadim, Kimmelman, Roelofsen Floris, Sassoon Galit W, Schulz Katrin, Westera Matthijs, and 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, 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.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!