Results
|
|
141.
|
Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions / by Series: Programming and Software Engineering ; 4171
Edition: 1st ed. 2008.
Material type:  Text; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
|
142.
|
|
|
|
143.
|
|
|
|
144.
|
|
|
|
145.
|
|
|
|
146.
|
|
|
|
147.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 9067
Edition: 1st ed. 2015.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015
In:
Springer Nature eBook
Availability: No items available.
|
|
|
148.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings / by Series: Theoretical Computer Science and General Issues ; 8312
Edition: 1st ed. 2013.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013
In:
Springer Nature eBook
Availability: No items available.
|
|
|
149.
|
Logic for Programming, Artificial Intelligence, and Reasoning [electronic resource] : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5330
Edition: 1st ed. 2008.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008
In:
Springer Nature eBook
Availability: No items available.
|
|
|
150.
|
Logic, Language, Information and Computation [electronic resource] : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings / by Series: Lecture Notes in Artificial Intelligence ; 5514
Edition: 1st ed. 2009.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009
In:
Springer Nature eBook
Availability: No items available.
|
|
|
151.
|
Agent Communication II [electronic resource] : International Workshops on Agent Communication, AC 2005 and AC 2006, Utrecht, Netherlands, July 25, 2005, and Hakodate, Japan, May 9, 2006, Selected and Revised Papers / by Series: Lecture Notes in Artificial Intelligence ; 3859
Edition: 1st ed. 2006.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006
In:
Springer Nature eBook
Availability: No items available.
|
|
|
152.
|
|
|
|
153.
|
|
|
|
154.
|
|
|
|
155.
|
|
|
|
156.
|
|
|
|
157.
|
|
|
|
158.
|
|
|
|
159.
|
Machine Learning and Principles and Practice of Knowledge Discovery in Databases [electronic resource] : International Workshops of ECML PKDD 2022, Grenoble, France, September 19–23, 2022, Proceedings, Part I / by
- Koprinska, Irena [editor.]
- Mignone, Paolo [editor.]
- Guidotti, Riccardo [editor.]
- Jaroszewicz, Szymon [editor.]
- Fröning, Holger [editor.]
- Gullo, Francesco [editor.]
- Ferreira, Pedro M [editor.]
- Roqueiro, Damian [editor.]
- Ceddia, Gaia [editor.]
- Nowaczyk, Slawomir [editor.]
- Gama, João [editor.]
- Ribeiro, Rita [editor.]
- Gavaldà, Ricard [editor.]
- Masciari, Elio [editor.]
- Ras, Zbigniew [editor.]
- Ritacco, Ettore [editor.]
- Naretto, Francesca [editor.]
- Theissler, Andreas [editor.]
- Biecek, Przemyslaw [editor.]
- Verbeke, Wouter [editor.]
- Schiele, Gregor [editor.]
- Pernkopf, Franz [editor.]
- Blott, Michaela [editor.]
- Bordino, Ilaria [editor.]
- Danesi, Ivan Luciano [editor.]
- Ponti, Giovanni [editor.]
- Severini, Lorenzo [editor.]
- Appice, Annalisa [editor.]
- Andresini, Giuseppina [editor.]
- Medeiros, Ibéria [editor.]
- Graça, Guilherme [editor.]
- Cooper, Lee [editor.]
- Ghazaleh, Naghmeh [editor.]
- Richiardi, Jonas [editor.]
- Saldana, Diego [editor.]
- Sechidis, Konstantinos [editor.]
- Canakoglu, Arif [editor.]
- Pido, Sara [editor.]
- Pinoli, Pietro [editor.]
- Bifet, Albert [editor.]
- Pashami, Sepideh [editor.]
- SpringerLink (Online service)
Series: Communications in Computer and Information Science ; 1752
Edition: 1st ed. 2023.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer Nature Switzerland : Imprint: Springer, 2023
In:
Springer Nature eBook
Availability: No items available.
|
|
|
160.
|
|
