Results
|
|
441.
|
Sanskrit Computational Linguistics [electronic resource] : First and Second International Symposia Rocquencourt, France, October 29-31, 2007 Providence, RI, USA, May 15-17, 2008, Revised Selected Papers / by Series: Lecture Notes in Artificial Intelligence ; 5402
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.
|
|
|
442.
|
|
|
|
443.
|
|
|
|
444.
|
|
|
|
445.
|
|
|
|
446.
|
|
|
|
447.
|
|
|
|
448.
|
|
|
|
449.
|
Networked Services and Applications - Engineering, Control and Management [electronic resource] : 16th EUNICE/IFIP WG 6.6 Workshop, EUNICE 2010, Trondheim, Norway, June 28-30, 2010, Proceedings / by Series: Information Systems and Applications, incl. Internet/Web, and HCI ; 6164
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.
|
|
|
450.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers / by Series: Programming and Software Engineering ; 8368
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.
|
|
|
451.
|
|
|
|
452.
|
Information Processing in Medical Imaging [electronic resource] : 25th International Conference, IPMI 2017, Boone, NC, USA, June 25-30, 2017, Proceedings / by Series: Image Processing, Computer Vision, Pattern Recognition, and Graphics ; 10265
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.
|
|
|
453.
|
|
|
|
454.
|
Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings / by Series: Theoretical Computer Science and General Issues ; 4423
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.
|
|
|
455.
|
Software Engineering and Formal Methods [electronic resource] : SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Trento, Italy, September 4-5, 2017, Revised Selected Papers / by Series: Programming and Software Engineering ; 10729
Edition: 1st ed. 2018.
Material type: Text; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018
In:
Springer Nature eBook
Availability: No items available.
|
|
|
456.
|
|
|
|
457.
|
|
|
|
458.
|
|
|
|
459.
|
|
|
|
460.
|
|
