Results
|
|
5141.
|
|
|
|
5142.
|
Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5422
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.
|
|
|
5143.
|
New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003, Kanazawa, Japan, May 31-June 4, 2004, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 3609
Edition: 1st ed. 2007.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007
In:
Springer Nature eBook
Availability: No items available.
|
|
|
5144.
|
|
|
|
5145.
|
|
|
|
5146.
|
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management: Ergonomics and Design [electronic resource] : 8th International Conference, DHM 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 10286
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.
|
|
|
5147.
|
|
|
|
5148.
|
|
|
|
5149.
|
|
|
|
5150.
|
|
|
|
5151.
|
Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 18th International Conference, TACAS 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 / by Series: Theoretical Computer Science and General Issues ; 7214
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.
|
|
|
5152.
|
|
|
|
5153.
|
Combinatorial Pattern Matching [electronic resource] : 21st Annual Symposium, CPM 2010, New York, NY, USA, June 21-23, 2010, Proceedings, / by Series: Theoretical Computer Science and General Issues ; 6129
Edition: 1st ed. 2010.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010
In:
Springer Nature eBook
Availability: No items available.
|
|
|
5154.
|
|
|
|
5155.
|
Pattern Recognition [electronic resource] : 9th Mexican Conference, MCPR 2017, Huatulco, Mexico, June 21-24, 2017, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10267
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.
|
|
|
5156.
|
|
|
|
5157.
|
|
|
|
5158.
|
|
|
|
5159.
|
|
|
|
5160.
|
|
