Refine your search

Your search returned 108 results.

Sort
Results
Computational science and its applications – ICCSA 2017 : 17th international conference proceedings, Trieste, Italy, July 3-6, 2017

by Gervasi, Osvaldo ...[et al.] [Editor].

Series: Lecture Notes in Computer Science ; v.10406Material 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) .

Applied cryptography and network security : 15th international conference proceedings, ACNS 2017, Kanazawa, Japan, July 10-12, 2017

by Gollmann, Dieter [Editor] | Miyaji, Atsuko [Editor] | Kikuchi, Hiroaki [Editor].

Series: Lecture Notes in Computer Science ; v.10355Material 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) .

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) .

Models, algorithms, logics and tools : essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday

by Aceto, Luca ...[et al.] [Editor].

Series: Lecture Notes in Computer Science ; v.10460Material 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) .

Euro-Par 2016: parallel processing workshops : Euro-Par 2016 international workshops, Grenoble, France, August 24-26, 2016

by Desprez, Frederic ...[et al.] [Editor].

Series: Lecture Notes in Computer Science ; v.10104Material 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) .

Cryptographic hardware and embedded systems – CHES 2017 : 19th international conference proceedings, Taipei, Taiwan, September 25-28, 2017

by Fischer, Wieland [Editor] | Homma, Naofumi [Editor].

Series: Lecture Notes in Computer Science ; v.10529Material 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) .

Formal techniques for distributed objects, components, and systems : 37th IFIP WG 6.1 international conference, FORTE 2017, held as part of the 12th international federated conference proceedings on distributed computing techniques, DisCoTec 2017, Neuchatel, Switzerland, June 19-22, 2017

by Bouajjani, Ahmed [Editor] | Silva, Alexandra [Editor].

Series: Lecture Notes in Computer Science ; v.10321Material 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) .

Multiagent system technologies : 15th German conference proceedings, MATES 2017, Leipzig, Germany, August 23–26, 2017

by Berndt, Jan Ole [Editor] | Petta, Paolo [Editor] | Unland, Rainer [Editor].

Series: Lecture Notes in Computer Science ; v.10413Material 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) .

Mastering scale and complexity in software reuse : 16th international conference on software reuse, ICSR, proceedings, Salvador, Brazil, May 29-31, 2017 (e-book)

by Botterweck, Goetz [Editor] | Werner, Claudia [Editor].

Series: Lecture notes in computer science ; v.10221Material 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) .

Pages

Powered by Koha