Results
|
|
1.
|
|
|
|
2.
|
Artificial General Intelligence [electronic resource] : 7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014, Proceedings / edited by Ben Goertzel, Laurent Orseau, Javier Snaider. by Series: Lecture Notes in Artificial Intelligence ; 8598
Edition: 1st ed. 2014.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
|
3.
|
|
|
|
4.
|
|
|
|
5.
|
|
|
|
6.
|
|
|
|
7.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Erika Abraham, Klaus Havelund. by Series: Theoretical Computer Science and General Issues ; 8413
Edition: 1st ed. 2014.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2014
In:
Springer Nature eBook
Availability: No items available.
|
|
|
8.
|
|
|
|
9.
|
Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers / edited by Andy Gill, Jurriaan Hage. by Series: Theoretical Computer Science and General Issues ; 7257
Edition: 1st ed. 2012.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012
In:
Springer Nature eBook
Availability: No items available.
|
|
|
10.
|
On the Move to Meaningful Internet Systems. OTM 2017 Conferences [electronic resource] : Confederated International Conferences: CoopIS, C&TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II / edited by Hervé Panetto, Christophe Debruyne, Walid Gaaloul, Mike Papazoglou, Adrian Paschke, Claudio Agostino Ardagna, Robert Meersman. by Series: Programming and Software Engineering ; 10574
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
11.
|
|
|
|
12.
|
OWL: Experiences and Directions – Reasoner Evaluation [electronic resource] : 13th International Workshop, OWLED 2016, and 5th International Workshop, ORE 2016, Bologna, Italy, November 20, 2016, Revised Selected Papers / edited by Mauro Dragoni, María Poveda-Villalón, Ernesto Jimenez-Ruiz. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10161
Edition: 1st ed. 2017.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017
In:
Springer Nature eBook
Availability: No items available.
|
|
|
13.
|
|
|
|
14.
|
Foundations of Information and Knowledge Systems [electronic resource] : 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings / edited by Andreas Herzig, Juha Kontinen. by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 12012
Edition: 1st ed. 2020.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020
In:
Springer Nature eBook
Availability: No items available.
|
|
|
15.
|
|
|
|
16.
|
|
|
|
17.
|
NASA Formal Methods [electronic resource] : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi. by Series: Programming and Software Engineering ; 9058
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
|
18.
|
|
|
|
19.
|
|
|
|
20.
|
|
