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 e 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 e 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 e 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 e 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, e 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. Editado por Orlowska Ewa. Heidelberg: Physica-Verlag, 2003.

Encontre o texto completo da fonte

Estilos ABNT, Harvard, Vancouver, APA, etc.

17

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