Увійти

Готові списки джерел за темами / Logics and meaning of programs / Книги

Книги з теми "Logics and meaning of programs"

Щоб переглянути інші типи публікацій з цієї теми, перейдіть за посиланням: Logics and meaning of programs.

Автор: Grafiati

Опубліковано: 4 червня 2021

Оновлено: 1 лютого 2022

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями

Оберіть тип джерела:

Ознайомтеся з топ-50 книг для дослідження на тему "Logics and meaning of programs".

Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.

Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.

Переглядайте книги для різних дисциплін та оформлюйте правильно вашу бібліографію.

1

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

5

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

7

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

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

10

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

16

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

37

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

44

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

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

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.

Знайти повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

Ми пропонуємо знижки на всі преміум-плани для авторів, чиї праці увійшли до тематичних добірок літератури. Зв'яжіться з нами, щоб отримати унікальний промокод!