Search Results for Knowledge, Theory of.

1.

Cover image for Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

Digital Libraries for Open Knowledge 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Oslo, Norway, September 9-12, 2019, Proceedings

Author

Doucet, Antoine. editor. Isaac, Antoine. editor. Golub, Koraljka. editor. Aalberg, Trond. editor. (orcid)0000-0001-5593-0860 Jatowt, Adam. editor. (orcid)0000-0001-7235-0665

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-30760-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part I

Author

Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-91473-2

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

Digital Libraries for Open Knowledge 22nd International Conference on Theory and Practice of Digital Libraries, TPDL 2018, Porto, Portugal, September 10–13, 2018, Proceedings

Author

Méndez, Eva. editor. (orcid)0000-0002-5337-4722 Crestani, Fabio. editor. (orcid)0000-0001-8672-0700 Ribeiro, Cristina. editor. (orcid)0000-0001-6150-0090 David, Gabriel. editor. (orcid)0000-0001-5974-9989 Lopes, João Correia. editor. (orcid)0000-0002-9040-0889

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00066-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

The Theory of Info-Statics: Conceptual Foundations of Information and Knowledge

Author

Dompere, Kofi K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Foundations 17th International Conference, IPMU 2018, Cádiz, Spain, June 11-15, 2018, Proceedings, Part II

Author

Medina, Jesús. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José Luis. editor. Pelta, David A. editor. Cabrera, Inma P. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

6.

The Theory of Info-Dynamics: Rational Foundations of Information-Knowledge Dynamics

Author

Dompere, Kofi K. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

7.

The Theory of the Knowledge Square: The Fuzzy Rational Foundations of the Knowledge-Production Systems

Author

Dompere, Kofi Kissi. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(333397.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

8.

Knowledge in Formation A Computational Theory of Interpretation

Author

Sarbo, Janos J. author. Farkas, Jozsef I. author. Breemen, Auke J.J. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I

Information Processing and Management of Uncertainty in Knowledge-Based Systems. Theory and Methods 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part I

Author

Hüllermeier, Eyke. editor. Kruse, Rudolf. editor. Hoffmann, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Introduction to Logic and Theory of Knowledge Lectures 1906/07

Author

Husserl, Edmund. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-1-4020-6727-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

Author

Swart, Harrie. editor. Orłowska, Ewa. editor. Schmidt, Gunther. editor. Roubens, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11964810

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

Design Science Research for a New Society: Society 5.0 18th International Conference on Design Science Research in Information Systems and Technology, DESRIST 2023, Pretoria, South Africa, May 31 - June 2, 2023, Proceedings

Author

Gerber, Aurona. editor. Baskerville, Richard. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520865.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32808-4

Format:

Availability

Online Library~1

Available:
Copies:

13.

Computers and Games International Conference, CG 2022, Virtual Event, November 22-24, 2022, Revised Selected Papers

Author

Browne, Cameron. editor. Kishimoto, Akihiro. editor. Schaeffer, Jonathan. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520871.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34017-8

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

Author

Wies, Thomas. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520944.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30044-8

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II

Author

Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521168.1)

Electronic Access

https://doi.org/10.1007/978-3-031-44210-0

Format:

Availability

Online Library~1

Available:
Copies:

16.

Cover image for Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Learning Technologies and Systems 21st International Conference on Web-Based Learning, ICWL 2022, and 7th International Symposium on Emerging Technologies for Education, SETE 2022, Tenerife, Spain, November 21-23, 2022, Revised Selected Papers

Author

González-González, Carina S. editor. Fernández-Manjón, Baltasar. editor. Li, Frederick. editor. García-Peñalvo, Francisco José. editor. Sciarrone, Filippo. editor.

Preferred Shelf Number

XX(521395.1)

Electronic Access

https://doi.org/10.1007/978-3-031-33023-0

Format:

Availability

Online Library~1

Available:
Copies:

17.

Higher Education Computer Science A Manual of Practical Approaches

Author

Carter, Jenny. editor. O'Grady, Michael. editor. Rosen, Clive. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520416.1)

Electronic Access

https://doi.org/10.1007/978-3-031-29386-3

Format:

Availability

Online Library~1

Available:
Copies:

18.

Big Data and Security 4th International Conference, ICBDS 2022, Xiamen, China, December 8-12, 2022, Proceedings

Author

Tian, Yuan. editor. (orcid) Ma, Tinghuai. editor. (orcid) Jiang, Qingshan. editor. Liu, Qi. editor. Khan, Muhammad Khurram. editor.

Preferred Shelf Number

XX(520423.1)

Electronic Access

https://doi.org/10.1007/978-981-99-3300-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Cover image for Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

Author

Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.

Preferred Shelf Number

XX(520682.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36336-8

Format:

Availability

Online Library~1

Available:
Copies:

20.

Cover image for Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Distributed, Ambient and Pervasive Interactions 11th International Conference, DAPI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

Author

Streitz, Norbert A. editor. Konomi, Shin'ichi. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521027.1)

Electronic Access

https://doi.org/10.1007/978-3-031-34609-5

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

Responsive and Sustainable Educational Futures 18th European Conference on Technology Enhanced Learning, EC-TEL 2023, Aveiro, Portugal, September 4-8, 2023, Proceedings

Author

Viberg, Olga. editor. Jivet, Ioana. editor. Muñoz-Merino, Pedro J. editor. Perifanou, Maria. editor. Papathoma, Tina. editor.

Preferred Shelf Number

XX(521121.1)

Electronic Access

https://doi.org/10.1007/978-3-031-42682-7

Format:

Availability

Online Library~1

Available:
Copies:

22.

Cover image for Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V

Intelligent Robotics and Applications 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part V

Author

Yang, Huayong. editor. Liu, Honghai. editor. Zou, Jun. editor. Yin, Zhouping. editor. Liu, Lianqing. editor. (orcid)

Preferred Shelf Number

XX(521247.1)

Electronic Access

https://doi.org/10.1007/978-981-99-6495-6

Format:

Availability

Online Library~1

Available:
Copies:

23.

Cover image for Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers

Mobile Internet Security 6th International Symposium, MobiSec 2022, Jeju, South Korea, December 15-17, 2022, Revised Selected Papers

Author

You, Ilsun. editor. Kim, Hwankuk. editor. Angin, Pelin. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520516.1)

Electronic Access

https://doi.org/10.1007/978-981-99-4430-9

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

E-Business and Telecommunications 18th International Conference, ICETE 2021, Virtual Event, July 6-9, 2021, Revised Selected Papers

Author

Samarati, Pierangela. editor. van Sinderen, Marten. editor. Vimercati, Sabrina De Capitani di. editor. Wijnhoven, Fons. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520517.1)

Electronic Access

https://doi.org/10.1007/978-3-031-36840-0

Format:

Availability

Online Library~1

Available:
Copies:

25.

Cover image for Information for a Better World: Normality, Virtuality, Physicality, Inclusivity 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I

Information for a Better World: Normality, Virtuality, Physicality, Inclusivity 18th International Conference, iConference 2023, Virtual Event, March 13-17, 2023, Proceedings, Part I

Author

Sserwanga, Isaac. editor. Goulding, Anne. editor. Moulaison-Sandy, Heather. editor. Du, Jia Tina. editor. Soares, António Lucas. editor.

Preferred Shelf Number

XX(520895.1)

Electronic Access

https://doi.org/10.1007/978-3-031-28035-1

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for New Frontiers in Artificial Intelligence JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022, Revised Selected Papers

New Frontiers in Artificial Intelligence JSAI-isAI 2022 Workshop, JURISIN 2022, and JSAI 2022 International Session, Kyoto, Japan, June 12-17, 2022, Revised Selected Papers

Author

Takama, Yasufumi. editor. (orcid) Yada, Katsutoshi. editor. Satoh, Ken. editor. (orcid) Arai, Sachiyo. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(520928.1)

Electronic Access

https://doi.org/10.1007/978-3-031-29168-5

Format:

Availability

Online Library~1

Available:
Copies:

27.

Medical Persuasion Understanding the Impact on Medical Argumentation

Author

Velanovich, Vic. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521482.1)

Electronic Access

https://doi.org/10.1007/978-3-031-30371-5

Format:

Availability

Online Library~1

Available:
Copies:

28.

Global Handbook of Health Promotion Research, Vol. 3 Doing Health Promotion Research

Author

Jourdan, Didier. editor. Potvin, Louise. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521549.1)

Electronic Access

https://doi.org/10.1007/978-3-031-20401-2

Format:

Availability

Online Library~1

Available:
Copies:

29.

Mentoring in Nursing through Narrative Stories Across the World

Author

Rollins Gantz, Nancy. editor. Hafsteinsdóttir, Thóra B. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521792.1)

Electronic Access

https://doi.org/10.1007/978-3-031-25204-4

Format:

Availability

Online Library~1

Available:
Copies:

30.

Data Analytics A Theoretical and Practical View from the EDISON Project

Author

Cuadrado-Gallego, Juan J. author. Demchenko, Yuri. author. SpringerLink (Online service)

Preferred Shelf Number

XX(520729.1)

Electronic Access

https://doi.org/10.1007/978-3-031-39129-3

Format:

Availability

Online Library~1

Available:
Copies:

31.

Cover image for Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

Augmented Intelligence and Intelligent Tutoring Systems 19th International Conference, ITS 2023, Corfu, Greece, June 2-5, 2023, Proceedings

Author

Frasson, Claude. editor. Mylonas, Phivos. editor. Troussas, Christos. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(521187.1)

Electronic Access

https://doi.org/10.1007/978-3-031-32883-1

Format:

Availability

Online Library~1

Available:
Copies:

32.

Biophysical Osteoblast Stimulation for Bone Grafting and Regeneration From Basic Science to Clinical Applications

Author

Rosenberg, Nahum. author. SpringerLink (Online service)

Preferred Shelf Number

XX(521727.1)

Electronic Access

https://doi.org/10.1007/978-3-031-06920-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Cover image for Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers

Achieving Success and Innovation in Global Sourcing: Perspectives and Practices 9th Global Sourcing Workshop 2015, La Thuile, Italy, February 18-21, 2015, Revised Selected Papers

Author

Oshri, Ilan. editor. Kotlarsky, Julia. editor. Willcocks, Leslie P. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518414.1)

Electronic Access

https://doi.org/10.1007/978-3-319-26739-5

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

Author

Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518763.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

35.

Cover image for Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

Topics in Cryptology -- CT-RSA 2015 The Cryptographer's Track at the RSA Conference 2015, San Francisco, CA, USA, April 20-24, 2015. Proceedings

Author

Nyberg, Kaisa. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519219.1)

Electronic Access

https://doi.org/10.1007/978-3-319-16715-2

Format:

Availability

Online Library~1

Available:
Copies:

36.

Cover image for Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Social Computing and Social Media 7th International Conference, SCSM 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Author

Meiselwitz, Gabriele. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518781.1)

Electronic Access

https://doi.org/10.1007/978-3-319-20367-6

Format:

Availability

Online Library~1

Available:
Copies:

37.

Cover image for Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings

Advances in Information Retrieval 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings

Author

Hanbury, Allan. editor. Kazai, Gabriella. editor. Rauber, Andreas. editor. Fuhr, Norbert. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518787.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

38.

Cover image for Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

Advances in Cryptology - EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceedings, Part II

Author

Oswald, Elisabeth. editor. Fischlin, Marc. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518913.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46803-6

Format:

Availability

Online Library~1

Available:
Copies:

39.

Cover image for Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Engineering Psychology and Cognitive Ergonomics 12th International Conference, EPCE 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015, Proceedings

Author

Harris, Don. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518935.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

40.

Quantum Interaction 8th International Conference, QI 2014, Filzbach, Switzerland, June 30 -- July 3, 2014. Revised Selected Papers

Author

Atmanspacher, Harald. editor. Bergomi, Claudia. editor. Filk, Thomas. editor. Kitto, Kirsty. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(518954.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

41.

Cover image for Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

Author

Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519044.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

42.

Cover image for Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

Author

Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519087.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23540-0

Format:

Availability

Online Library~1

Available:
Copies:

43.

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

Author

Banerjee, Mohua. editor. S., Krishna. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519118.1)

Electronic Access

https://doi.org/10.1007/978-3-662-45824-2

Format:

Availability

Online Library~1

Available:
Copies:

44.

Cover image for Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Author

Pitts, Andrew. editor. (orcid) SpringerLink (Online service)

Preferred Shelf Number

XX(519161.1)

Electronic Access

https://doi.org/10.1007/978-3-662-46678-0

Format:

Availability

Online Library~1

Available:
Copies:

45.

Web-Age Information Management 16th International Conference, WAIM 2015, Qingdao, China, June 8-10, 2015. Proceedings

Author

Yu, Xiaohui. editor. Dong, Xin Luna. editor. Li, Jian. editor. SUN, YIZHOU. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519168.1)

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

46.

Cover image for Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

Author

Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)

Preferred Shelf Number

XX(519293.1)

Electronic Access

https://doi.org/10.1007/978-3-319-23264-5

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}