|
|
|
Reasoning Web. Declarative Artificial Intelligence [electronic resource] : 16th International Summer School 2020, Oslo, Norway, June 24-26, 2020, Tutorial Lectures / edited by Marco Manna, Andreas Pieris.
by Manna, Marco [editor.] | Pieris, Andreas [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
|
|
|
|
Applications of Evolutionary Computing [electronic resource] : EvoWorkshops 2006: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoINTERACTION, EvoMUSART, and EvoSTOC, Budapest, Hungary, April 10-12, 2006, Proceedings / edited by Franz Rothlauf, Jürgen Branke, Stefano Cagnoni, Ernesto Costa, Carlos Cotta, Rolf Drechsler, Evelyne Lutton, Penousal Machado, Jason H. Moore, Juan Romero, George D. Smith, Giovanni Squillero, Hideyuki Takagi.
by Rothlauf, Franz [editor.] | Branke, Jürgen [editor.] | Cagnoni, Stefano [editor.] | Costa, Ernesto [editor.] | Cotta, Carlos [editor.] | Drechsler, Rolf [editor.] | Lutton, Evelyne [editor.] | Machado, Penousal [editor.] | Moore, Jason H [editor.] | Romero, Juan [editor.] | Smith, George D [editor.] | Squillero, Giovanni [editor.] | Takagi, Hideyuki [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Functional and Constraint Logic Programming [electronic resource] : 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sacerdoti Coen.
by Hanus, Michael [editor.] | Sacerdoti Coen, Claudio [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
|
|
|
|
Progress in Cryptology - AFRICACRYPT 2018 [electronic resource] : 10th International Conference on Cryptology in Africa, Marrakesh, Morocco, May 7-9, 2018, Proceedings / edited by Antoine Joux, Abderrahmane Nitaj, Tajjeeddine Rachidi.
by Joux, Antoine [editor.] | Nitaj, Abderrahmane [editor.] | Rachidi, Tajjeeddine [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
|
|
|
|
Pattern Recognition [electronic resource] : 11th Mexican Conference, MCPR 2019, Querétaro, Mexico, June 26-29, 2019, Proceedings / edited by Jesús Ariel Carrasco-Ochoa, José Francisco Martínez-Trinidad, José Arturo Olvera-López, Joaquín Salas.
by Carrasco-Ochoa, Jesús Ariel [editor.] | Martínez-Trinidad, José Francisco [editor.] | Olvera-López, José Arturo [editor.] | Salas, Joaquín [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings / edited by Nikolaos Voros, Michael Huebner, Georgios Keramidas, Diana Goehringer, Christos Antonopoulos, Pedro C. Diniz.
by Voros, Nikolaos [editor.] | Huebner, Michael [editor.] | Keramidas, Georgios [editor.] | Goehringer, Diana [editor.] | Antonopoulos, Christos [editor.] | Diniz, Pedro C [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
|
|
|
|
Security, Privacy, and Applied Cryptography Engineering [electronic resource] : 8th International Conference, SPACE 2018, Kanpur, India, December 15-19, 2018, Proceedings / edited by Anupam Chattopadhyay, Chester Rebeiro, Yuval Yarom.
by Chattopadhyay, Anupam [editor.] | Rebeiro, Chester [editor.] | Yarom, Yuval [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
|
|
|
|
Network and Parallel Computing [electronic resource] : 17th IFIP WG 10.3 International Conference, NPC 2020, Zhengzhou, China, September 28-30, 2020, Revised Selected Papers / edited by Xin He, En Shao, Guangming Tan.
by He, Xin [editor.] | Shao, En [editor.] | Tan, Guangming [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
|
|
|
|
Applied Reconfigurable Computing. Architectures, Tools, and Applications [electronic resource] : 17th International Symposium, ARC 2021, Virtual Event, June 29-30, 2021, Proceedings / edited by Steven Derrien, Frank Hannig, Pedro C. Diniz, Daniel Chillet.
by Derrien, Steven [editor.] | Hannig, Frank [editor.] | Diniz, Pedro C [editor.] | Chillet, Daniel [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
|
|
|
|
Automated Technology for Verification and Analysis [electronic resource] : 19th International Symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18-22, 2021, Proceedings / edited by Zhe Hou, Vijay Ganesh.
by Hou, Zhe [editor.] | Ganesh, Vijay [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
|
|
|
|
High Performance Computing for Computational Science - VECPAR 2018 [electronic resource] : 13th International Conference, São Pedro, Brazil, September 17-19, 2018, Revised Selected Papers / edited by Hermes Senger, Osni Marques, Rogerio Garcia, Tatiana Pinheiro de Brito, Rogério Iope, Silvio Stanzani, Veronica Gil-Costa.
by Senger, Hermes [editor.] | Marques, Osni [editor.] | Garcia, Rogerio [editor.] | Pinheiro de Brito, Tatiana [editor.] | Iope, Rogério [editor.] | Stanzani, Silvio [editor.] | Gil-Costa, Veronica [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
|
|
|
|
Languages and Compilers for Parallel Computing [electronic resource] : 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021, Revised Selected Papers / edited by Xiaoming Li, Sunita Chandrasekaran.
by Li, Xiaoming [editor.] | Chandrasekaran, Sunita [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
|
|
|
|
Software Verification [electronic resource] : 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers / edited by Roderick Bloem, Rayna Dimitrova, Chuchu Fan, Natasha Sharygina.
by Bloem, Roderick [editor.] | Dimitrova, Rayna [editor.] | Fan, Chuchu [editor.] | Sharygina, Natasha [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
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005, Revised Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Wasniewski.
by Lirkov, Ivan [editor.] | Margenov, Svetozar D [editor.] | Wasniewski, Jerzy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2006.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006Online access: Click here to access online Availability: No items available
|
|
|
|
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation [electronic resource] : 22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers / edited by José L. Ayala, Delong Shang, Alex Yakovlev.
by Ayala, José L [editor.] | Shang, Delong [editor.] | Yakovlev, Alex [editor.] | SpringerLink (Online service). Edition: 1st ed. 2013.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: No items available
|
|
|
|
Applied Reconfigurable Computing [electronic resource] : 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings / edited by Kentaro Sano, Dimitrios Soudris, Michael Hübner, Pedro C. Diniz.
by Sano, Kentaro [editor.] | Soudris, Dimitrios [editor.] | Hübner, Michael [editor.] | Diniz, Pedro C [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
|
|
|
|
Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings / edited by Madhusudan Parthasarathy, Sanjit A. Seshia.
by Parthasarathy, Madhusudan [editor.] | Seshia, Sanjit A [editor.] | SpringerLink (Online service). Edition: 1st ed. 2012.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012Online access: Click here to access online Availability: No items available
|
|
|
|
Large-Scale Scientific Computing [electronic resource] : 6th International Conference, LSSC 2007, Sozopol, Bulgaria, June 5-9, 2007, Revised Papers / edited by Ivan Lirkov, Svetozar D. Margenov, Jerzy Wasniewski.
by Lirkov, Ivan [editor.] | Margenov, Svetozar D [editor.] | Wasniewski, Jerzy [editor.] | SpringerLink (Online service). Edition: 1st ed. 2008.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Online access: Click here to access online Availability: No items available
|
|
|
|
Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : Third International Workshop, ARC 2007, Mangaratiba, Brazil, March 27-29, 2007, Proceedings / edited by Pedro C. Diniz, Eduardo Marques, Koen Bertels, Marcio Merino Fernandes, Joao M.P. Cardoso.
by Diniz, Pedro C [editor.] | Marques, Eduardo [editor.] | Bertels, Koen [editor.] | Fernandes, Marcio Merino [editor.] | Cardoso, Joao M.P [editor.] | SpringerLink (Online service). Edition: 1st ed. 2007.Source: Springer Nature eBookMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007Online access: Click here to access online Availability: No items available
|
|
|
|
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence [electronic resource] : 4th Workshop, OpenSHMEM 2017, Annapolis, MD, USA, August 7-9, 2017, Revised Selected Papers / edited by Manjunath Gorentla Venkata, Neena Imam, Swaroop Pophale.
by Gorentla Venkata, Manjunath [editor.] | Imam, Neena [editor.] | Pophale, Swaroop [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
|
