Search Results for Computer logic.

37 sonuç bulundu

Tümünü Seç

1 2 3 4

000000000000DEFAULTTR

Personal Multimedia Preservation Remembering or Forgetting Images and Video

Yazar

Mezaris, Vasileios. editor.

https://doi.org/10.1007/978-3-319-73465-1

Format:

Electronic Resources

Alıntı:

Computer Appl. in Arts and Humanities. http://scigraph.springernature.com/things/product-market

Modern Perspectives in Type-Theoretical Semantics

Yazar

Chatzikyriakidis, Stergios. editor.

https://doi.org/10.1007/978-3-319-50422-3

Format:

Electronic Resources

Alıntı:

Computer Appl. in Arts and Humanities. http://scigraph.springernature.com/things/product-market

Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings

Yazar

Dixon, Clare. editor.

https://doi.org/10.1007/978-3-319-66167-4

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

Business Process Management 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings

Yazar

Daniel, Florian. editor.

http://dx.doi.org/10.1007/978-3-642-40176-3

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing.

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

Yazar

Benzmüller, Christoph. editor.

https://doi.org/10.1007/978-3-319-99906-7

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

Inductive Logic Programming 28th International Conference, ILP 2018, Ferrara, Italy, September 2–4, 2018, Proceedings

Yazar

Riguzzi, Fabrizio. editor. (orcid)0000-0003-1654-9703

https://doi.org/10.1007/978-3-319-99960-9

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings

Yazar

Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X

https://doi.org/10.1007/978-3-319-51676-9

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Yazar

Chen, Liqun. editor. (orcid)0000-0003-2680-4907

https://doi.org/10.1007/978-3-319-99136-8

Format:

Electronic Resources

Alıntı:

Computer Systems Organization and Communication Networks.

Scalable Uncertainty Management 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017, Proceedings

Yazar

Moral, Serafín. editor. (orcid)0000-0002-5555-0857

https://doi.org/10.1007/978-3-319-67582-4

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

10.

Modelling and Verification of Secure Exams

Yazar

Giustolisi, Rosario. author.

https://doi.org/10.1007/978-3-319-67107-9

Format:

Electronic Resources

Alıntı:

Computer Appl. in Administrative Data Processing. http://scigraph.springernature.com/things/product

11.

The Topos of Music I: Theory Geometric Logic, Classification, Harmony, Counterpoint, Motives, Rhythm

Yazar

Mazzola, Guerino. author.

https://doi.org/10.1007/978-3-319-64364-9

Format:

Electronic Resources

Alıntı:

User Interfaces and Human Computer Interaction. http://scigraph.springernature.com/things/product

12.

Advances in Computing 13th Colombian Conference, CCC 2018, Cartagena, Colombia, September 26–28, 2018, Proceedings

Yazar

Serrano C., Jairo E. editor. (orcid)0000-0001-8165-7343

https://doi.org/10.1007/978-3-319-98998-3

Format:

Electronic Resources

Alıntı:

Communications in Computer and Information Science,

Tümünü Seç

1 2 3 4

37 sonuç bulundu

	{displayName}	{count}
{error}