|
|
|
Chatbot Research and Design [electronic resource] : Third International Workshop, CONVERSATIONS 2019, Amsterdam, The Netherlands, November 19-20, 2019, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie Lai-Chong Law, Ole-Christoffer Granmo, Ewa Luger, Petter Bae Brandtzaeg.
by Følstad, Asbjørn [editor.] | Araujo, Theo [editor.] | Papadopoulos, Symeon [editor.] | Law, Effie Lai-Chong [editor.] | Granmo, Ole-Christoffer [editor.] | Luger, Ewa [editor.] | Brandtzaeg, Petter Bae [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type:  Book; Format:
electronic
available online
 ; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
OpenMP in a Modern World: From Multi-device Support to Meta Programming [electronic resource] : 18th International Workshop on OpenMP, IWOMP 2022, Chattanooga, TN, USA, September 27-30, 2022, Proceedings / edited by Michael Klemm, Bronis R. de Supinski, Jannis Klinkenberg, Brandon Neth.
by Klemm, Michael [editor.] | de Supinski, Bronis R [editor.] | Klinkenberg, Jannis [editor.] | Neth, Brandon [editor.] | SpringerLink (Online service). Edition: 1st ed. 2022.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2022Online access: Click here to access online Availability: No items available
|
|
|
|
Euro-Par 2021: Parallel Processing [electronic resource] : 27th International Conference on Parallel and Distributed Computing, Lisbon, Portugal, September 1-3, 2021, Proceedings / edited by Leonel Sousa, Nuno Roma, Pedro Tomás.
by Sousa, Leonel [editor.] | Roma, Nuno [editor.] | Tomás, Pedro [editor.] | SpringerLink (Online service). Edition: 1st ed. 2021.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2021Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Formal Methods [electronic resource] : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.
by Ábrahám, Erika [editor.] | Huisman, Marieke [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers / edited by Xipeng Shen, Frank Mueller, James Tuck.
by Shen, Xipeng [editor.] | Mueller, Frank [editor.] | Tuck, James [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Tests and Proofs [electronic resource] : 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014, Proceedings / edited by Martina Seidl, Nikolai Tillmann.
by Seidl, Martina [editor.] | Tillmann, Nikolai [editor.] | SpringerLink (Online service). Edition: 1st ed. 2014.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014Online access: Click here to access online Availability: No items available
|
|
|
|
Abstract State Machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / edited by Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro.
by Butler, Michael [editor.] | Schewe, Klaus-Dieter [editor.] | Mashkoor, Atif [editor.] | Biro, Miklos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016Online access: Click here to access online Availability: No items available
|
|
|
|
Practical Aspects of Declarative Languages [electronic resource] : 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings / edited by José Júlio Alferes, Moa Johansson.
by Alferes, José Júlio [editor.] | Johansson, Moa [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
OpenMP: Conquering the Full Hardware Spectrum [electronic resource] : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019, Proceedings / edited by Xing Fan, Bronis R. de Supinski, Oliver Sinnen, Nasser Giacaman.
by Fan, Xing [editor.] | de Supinski, Bronis R [editor.] | Sinnen, Oliver [editor.] | Giacaman, Nasser [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen.
by Mogensen, Torben Ægidius [author.] | SpringerLink (Online service). Edition: 3rd ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Software Engineering and Formal Methods [electronic resource] : 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings / edited by Radu Calinescu, Bernhard Rumpe.
by Calinescu, Radu [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Globalizing Domain-Specific Languages [electronic resource] : International Dagstuhl Seminar, Dagstuhl Castle, Germany, October 5-10, 2014, Revised Papers / edited by Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe.
by Combemale, Benoit [editor.] | Cheng, Betty H.C [editor.] | France, Robert B [editor.] | Jézéquel, Jean-Marc [editor.] | Rumpe, Bernhard [editor.] | SpringerLink (Online service). Edition: 1st ed. 2015.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Online access: Click here to access online Availability: No items available
|
|
|
|
Principles of Modeling [electronic resource] : Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday / edited by Marten Lohstroh, Patricia Derler, Marjan Sirjani.
by Lohstroh, Marten [editor.] | Derler, Patricia [editor.] | Sirjani, Marjan [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
Mathematical Software - ICMS 2018 [electronic resource] : 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings / edited by James H. Davenport, Manuel Kauers, George Labahn, Josef Urban.
by Davenport, James H [editor.] | Kauers, Manuel [editor.] | Labahn, George [editor.] | Urban, Josef [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
New Opportunities for Software Reuse [electronic resource] : 17th International Conference, ICSR 2018, Madrid, Spain, May 21-23, 2018, Proceedings / edited by Rafael Capilla, Barbara Gallina, Carlos Cetina.
by Capilla, Rafael [editor.] | Gallina, Barbara [editor.] | Cetina, Carlos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2018.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2018Online access: Click here to access online Availability: No items available
|
|
|
|
NASA Formal Methods [electronic resource] : 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings / edited by Julia M. Badger, Kristin Yvonne Rozier.
by Badger, Julia M [editor.] | Rozier, Kristin Yvonne [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings / edited by Gabriele Kern-Isberner, Zoran Ognjanović.
by Kern-Isberner, Gabriele [editor.] | Ognjanović, Zoran [editor.] | SpringerLink (Online service). Edition: 1st ed. 2019.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2019Online access: Click here to access online Availability: No items available
|
|
|
|
OpenMP: Portable Multi-Level Parallelism on Modern Systems [electronic resource] : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020, Proceedings / edited by Kent Milfeld, Bronis R. de Supinski, Lars Koesterke, Jannis Klinkenberg.
by Milfeld, Kent [editor.] | de Supinski, Bronis R [editor.] | Koesterke, Lars [editor.] | Klinkenberg, Jannis [editor.] | SpringerLink (Online service). Edition: 1st ed. 2020.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Cham : Springer International Publishing : Imprint: Springer, 2020Online access: Click here to access online Availability: No items available
|
|
|
|
FPGA EDA [electronic resource] : Design Principles and Implementation / by Kaihui Tu, Xifan Tang, Cunxi Yu, Lana Josipović, Zhufei Chu.
by Tu, Kaihui [author.] | Tang, Xifan [author.] | Yu, Cunxi [author.] | Josipović, Lana [author.] | Chu, Zhufei [author.] | SpringerLink (Online service). Edition: 1st ed. 2024.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Singapore : Springer Nature Singapore : Imprint: Springer, 2024Online access: Click here to access online Availability: No items available
|
|
|
|
Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings / edited by Alexandre Petrenko, Adenilso Simao, José Carlos Maldonado.
by Petrenko, Alexandre [editor.] | Simao, Adenilso [editor.] | Maldonado, José Carlos [editor.] | SpringerLink (Online service). Edition: 1st ed. 2010.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010Online access: Click here to access online Availability: No items available
|
