Refine your search

Your search returned 493 results.

Sort
Results
Practical aspects of declarative languages : 19th international symposium proceedings, PADL 2017, Paris, France, January 16-17, 2017

by Lierler, Yuliya [Editor] | Taha, Walid [Editor].

Series: Lecture Notes in Computer Science ; v.10137Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) .

Integrated formal methods : 13th international conference proceedings, IFM 2017, Turin, Italy, September 20-22, 2017

by Polikarpova, Nadia [Editor] | Schneider, Steve [Editor].

Series: Lecture Notes in Computer Science ; v.10510Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) .

Computer safety, reliability, and security: 36th international conference, SAFECOMP, proceedings, Trento, Italy, Sep. 13-15, 2017 (e-book)

by Tonetta, Stefano [Editor] | Schoitsch, Erwin [Editor] | Bitsch, Friedemann [Editor].

Series: Lecture notes in computer science ; v.10488Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cham Springer 2017Online access: DOI URL Availability: Items available for reference: Online (1) .

Action programming languages (e-book)

by Thielscher, Michael [Author].

Series: Synthesis lectures on artificial intelligence and machine learningMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2008Online access: Click here to access online Availability: Items available for reference: Online (1) .

Embeddings in natural language processing : theory and advances in vector representations of meaning (e-book)

by Pilehvar, Mohammad Taher [Author] | Camacho-Collados, Jose [Author].

Series: Synthesis lectures on human language technologiesMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: San Rafael Morgan and Claypool / IEEE Press / Springer 2021Online access: Click here to access online Availability: Items available for reference: Online (1) .

Modelling foundations and applications : 12th european conference, ECMFA, held as Part of STAF, proceedings, Vienna, Austria, July 6-7, 2016 (e-book)

by Wasowski, Andrzej [Editor] | Lonn, Henrik [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.9764 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Programming languages and systems : 14th asian symposium, APLAS, proceedings, Hanoi, Vietnam, Nov. 21-23, 2016 (e-book)

by Igarashi, Atsushi [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.10017 Language: English Publication details: Berlin Springer 2016Online access: Click here to access online Availability: Items available for reference: Online (1) .

Automata, languages, and programming : 41st international colloquium, ICALP, proceedings, Copenhagen, Denmark, July 8-11, 2014 (e-book)

by Esparza, Javier ...[et al.].

Series: Lecture notes in computer science ; v.8572 Language: English Publication details: Berlin Springer 2014Online access: Click here to access online Availability: No items available.

Automata, languages, and programming : 41st international colloquium, ICALP, proceedings, Copenhagen, Denmark, July 8-11, 2014 (e-book)

by Esparza, Javier ...[et al.].

Series: Lecture notes in computer science ; v.8572 Language: English Publication details: Berlin Springer 2014Online access: Click here to access online Availability: No items available.

Automata, languages and programming : 38th International Colloquium : proceedings, ICALP, Zurich, Switzerland, July 4-8, 2011 (e-book)

by Aceto,Luca [Editor] | Henzinger, Monika [Editor] | Sgall, Jiri [Editor].

Series: Lecture Notes in Computer Science (LNCS) ; v.6756 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issues Language: English Publication details: Berlin Springer 2011Online access: Click here to access online Availability: Items available for reference: Online (1) .

Pages

Powered by Koha