Zum Inhalt springen Schwarz, Sibylle [Herausgeber:in]; Voigtländer, Janis [Herausgeber:in] ; Open Publishing Association Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming : Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 1st January 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 234 Bonfante, Guillaume [Herausgeber:in]; Moser, Georg [Herausgeber:in] ; Open Publishing Association Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis : Uppsala, Sweden, April 22-23, 2017 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 18th April 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 248 Yallop, Jeremy [Herausgeber:in]; Doligez, Damien [Herausgeber:in] ; Open Publishing Association Proceedings, ML Family/OCaml Users and Developers workshops : Vancouver, Canada, 3rd & 4th September 2015 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 7th February 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 241 Conference on Open Access Scholarly Publishing 2020 Online, Open Access Scholarly Publishers Association Open access at a time of global challenge : OASPA 2020 Conference program : OASPA 2020 Online Conference on Open Access Scholarly Publishing : #OASPA2020 : 21-24 September 2020 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [The Hague]: Open Access Scholarly Publishing Association, [2020?] Conference on Open Access Scholarly Publishing 9. 2017 Lissabon, Open Access Scholarly Publishers Association 9th Conference on Open Access Scholarly Publishing : 2017 Conference videos Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: [Open Access Scholarly Publishers Association], [2017?] Asian Conference on Open Access Scholarly Publishing 1. 2014 Bangkok, Open Access Scholarly Publishers Association Presentations COASP Asia Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: Open Access Scholarly Publishers Association, [2014?] Conference on Open Access Scholarly Publishing 5. 2013 Riga, Open Access Scholarly Publishers Association Presentations COASP 2013 Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: Open Access Scholarly Publishers Association, [2013?] Conference on Open Access Scholarly Publishing 4. 2012 Budapest, Open Access Scholarly Publishers Association Presentations COASP 2012 Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: Open Access Scholarly Publishers Association, [2012?] Conference on Open Access Scholarly Publishing 2021 Online, Open Access Scholarly Publishers Association Designing 21st century knowledge sharing systems : OASPA 2021 conference program : OASPA 2021 Online Conference on Open Access Scholarly Publishing : #OASPA2021 : 21-23 September 2021 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [The Hague]: Open Access Scholarly Publishing Association, [2021?] Conference on Open Access Scholarly Publishing 11. 2019 Kopenhagen, Open Access Scholarly Publishers Association 2019 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: [Open Access Scholarly Publishers Association], [2019?] Spivak, David I. [Herausgeber:in] ; Applied Category Theory Veranstaltung 3. 2020 Online, Open Publishing Association Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 : Cambridge, USA, 6-10th July 2020 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 8th February 2021 Erschienen in: Electronic proceedings in theoretical computer science ; 333 Baez, John [Herausgeber:in] ; Applied Category Theory Veranstaltung 2019 Oxford, Open Publishing Association Proceedings Applied Category Theory 2019 : University of Oxford, UK, 15-19 July 2019 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 15th September 2020 Erschienen in: Electronic proceedings in theoretical computer science ; 323 Dardha, Ornela [Herausgeber:in] ; EXPRESS/SOS Veranstaltung 2020 Online, Open Publishing Association Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics : Online, 31 August 2020 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 27th August 2020 Erschienen in: Electronic proceedings in theoretical computer science ; 322 Pérez, Jorge A. [Herausgeber:in] ; EXPRESS/SOS Veranstaltung 2019 Amsterdam, Open Publishing Association Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics : Amsterdam, The Netherlands, 26th August 2019 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 22nd August 2019 Erschienen in: Electronic proceedings in theoretical computer science ; 300 Lindley, Sam [Herausgeber:in] ; ML Family Workshop 2017 Oxford, Open Publishing Association Proceedings, ML Family/OCaml Users and Developers workshops : Oxford, UK, 7th September 2017 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 16th May 2019 Erschienen in: Electronic proceedings in theoretical computer science ; 294 Derrick, John [Herausgeber:in] ; Refinement Workshop 18. 2018 Oxford, Open Publishing Association Proceedings, 18th Refinement Workshop : Oxford, UK, 18th July 2018 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 24th October 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 282 Pérez, Jorge A. [Herausgeber:in] ; EXPRESS/SOS Veranstaltung 2018 Peking, Open Publishing Association Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics : Beijing, China, September 3, 2018 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 24th August 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 276 Asai, Kenichi [Herausgeber:in] ; ML Family Workshop 2016 Nara, Open Publishing Association Proceedings, ML Family Workshop/OCaml Users and Developers workshops : Nara, Japan, September 22-23, 2016 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 31st December 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 285 Gallagher, John P. [Herausgeber:in] ; MARS/VPT Veranstaltung 2018 Thessaloniki, Open Publishing Association Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation : Thessaloniki, Greece, 20th April 2018 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 23rd March 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 268 Cervesato, Iliano [Herausgeber:in]; Fernández, Maribel [Herausgeber:in] ; International Workshop on Linearity 4. 2016 Porto, Open Publishing Association Proceedings Fourth International Workshop on Linearity : Porto, Portugal, 25 June 2016 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 17th January 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 238
Schwarz, Sibylle [Herausgeber:in]; Voigtländer, Janis [Herausgeber:in] ; Open Publishing Association Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming : Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 1st January 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 234
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Bonfante, Guillaume [Herausgeber:in]; Moser, Georg [Herausgeber:in] ; Open Publishing Association Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis : Uppsala, Sweden, April 22-23, 2017 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 18th April 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 248
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Yallop, Jeremy [Herausgeber:in]; Doligez, Damien [Herausgeber:in] ; Open Publishing Association Proceedings, ML Family/OCaml Users and Developers workshops : Vancouver, Canada, 3rd & 4th September 2015 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 7th February 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 241
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Conference on Open Access Scholarly Publishing 2020 Online, Open Access Scholarly Publishers Association Open access at a time of global challenge : OASPA 2020 Conference program : OASPA 2020 Online Conference on Open Access Scholarly Publishing : #OASPA2020 : 21-24 September 2020 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [The Hague]: Open Access Scholarly Publishing Association, [2020?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Conference on Open Access Scholarly Publishing 9. 2017 Lissabon, Open Access Scholarly Publishers Association 9th Conference on Open Access Scholarly Publishing : 2017 Conference videos Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: [Open Access Scholarly Publishers Association], [2017?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asian Conference on Open Access Scholarly Publishing 1. 2014 Bangkok, Open Access Scholarly Publishers Association Presentations COASP Asia Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: Open Access Scholarly Publishers Association, [2014?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Conference on Open Access Scholarly Publishing 5. 2013 Riga, Open Access Scholarly Publishers Association Presentations COASP 2013 Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: Open Access Scholarly Publishers Association, [2013?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Conference on Open Access Scholarly Publishing 4. 2012 Budapest, Open Access Scholarly Publishers Association Presentations COASP 2012 Bücher Online ansehen Schließen > Zugang ... zum E-Book (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: Open Access Scholarly Publishers Association, [2012?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Conference on Open Access Scholarly Publishing 2021 Online, Open Access Scholarly Publishers Association Designing 21st century knowledge sharing systems : OASPA 2021 conference program : OASPA 2021 Online Conference on Open Access Scholarly Publishing : #OASPA2021 : 21-23 September 2021 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [The Hague]: Open Access Scholarly Publishing Association, [2021?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Conference on Open Access Scholarly Publishing 11. 2019 Kopenhagen, Open Access Scholarly Publishers Association 2019 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Den Haag]: [Open Access Scholarly Publishers Association], [2019?]
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Spivak, David I. [Herausgeber:in] ; Applied Category Theory Veranstaltung 3. 2020 Online, Open Publishing Association Proceedings of the 3rd Annual International Applied Category Theory Conference 2020 : Cambridge, USA, 6-10th July 2020 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 8th February 2021 Erschienen in: Electronic proceedings in theoretical computer science ; 333
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Baez, John [Herausgeber:in] ; Applied Category Theory Veranstaltung 2019 Oxford, Open Publishing Association Proceedings Applied Category Theory 2019 : University of Oxford, UK, 15-19 July 2019 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 15th September 2020 Erschienen in: Electronic proceedings in theoretical computer science ; 323
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Dardha, Ornela [Herausgeber:in] ; EXPRESS/SOS Veranstaltung 2020 Online, Open Publishing Association Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics : Online, 31 August 2020 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 27th August 2020 Erschienen in: Electronic proceedings in theoretical computer science ; 322
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pérez, Jorge A. [Herausgeber:in] ; EXPRESS/SOS Veranstaltung 2019 Amsterdam, Open Publishing Association Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics : Amsterdam, The Netherlands, 26th August 2019 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (frei zugänglich) ... zum E-Book (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 22nd August 2019 Erschienen in: Electronic proceedings in theoretical computer science ; 300
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Lindley, Sam [Herausgeber:in] ; ML Family Workshop 2017 Oxford, Open Publishing Association Proceedings, ML Family/OCaml Users and Developers workshops : Oxford, UK, 7th September 2017 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 16th May 2019 Erschienen in: Electronic proceedings in theoretical computer science ; 294
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Derrick, John [Herausgeber:in] ; Refinement Workshop 18. 2018 Oxford, Open Publishing Association Proceedings, 18th Refinement Workshop : Oxford, UK, 18th July 2018 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 24th October 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 282
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Pérez, Jorge A. [Herausgeber:in] ; EXPRESS/SOS Veranstaltung 2018 Peking, Open Publishing Association Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics : Beijing, China, September 3, 2018 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 24th August 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 276
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Asai, Kenichi [Herausgeber:in] ; ML Family Workshop 2016 Nara, Open Publishing Association Proceedings, ML Family Workshop/OCaml Users and Developers workshops : Nara, Japan, September 22-23, 2016 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 31st December 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 285
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Gallagher, John P. [Herausgeber:in] ; MARS/VPT Veranstaltung 2018 Thessaloniki, Open Publishing Association Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation : Thessaloniki, Greece, 20th April 2018 Bücher Online ansehen Schließen > Zugang ... zum E-Book (frei zugänglich) ... zum E-Book via DOI (frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 23rd March 2018 Erschienen in: Electronic proceedings in theoretical computer science ; 268
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Cervesato, Iliano [Herausgeber:in]; Fernández, Maribel [Herausgeber:in] ; International Workshop on Linearity 4. 2016 Porto, Open Publishing Association Proceedings Fourth International Workshop on Linearity : Porto, Portugal, 25 June 2016 Bücher Online ansehen Schließen > Zugang ... zum E-Book via DOI (Volltext ; frei zugänglich) Schließen > Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein. [Waterloo, NSW]: [Open Publishing Association], 17th January 2017 Erschienen in: Electronic proceedings in theoretical computer science ; 238
> Merkliste Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
> Zugangsstatus Skip to next facet Freier Zugang (110) Wert ausschließen zeige weitere weniger zeigen
> Fachgebiet Skip to next facet Informatik (10) Wert ausschließen Allgemeines (7) Wert ausschließen Philosophie (3) Wert ausschließen Psychologie (3) Wert ausschließen Soziologie (3) Wert ausschließen zeige weitere weniger zeigen
> Person/Institution Skip to next facet Open Publishing Association (103) Wert ausschließen Open Access Scholarly Publishers Association (7) Wert ausschließen Quaresma, Pedro (5) Wert ausschließen Bartoletti, Massimo (3) Wert ausschließen Cirstea, Horatiu (2) Wert ausschließen Coecke, Bob (2) Wert ausschließen Dubois, Catherine (2) Wert ausschließen Fernández, Maribel (2) Wert ausschließen Lisitsa, Alexei (2) Wert ausschließen Masci, Paolo (2) Wert ausschließen Pérez, Jorge A. (2) Wert ausschließen Achten, Peter (1) Wert ausschließen Aldini, Alessandro (1) Wert ausschließen Ancona, Davide (1) Wert ausschließen Applied Category Theory Veranstaltung 2019 Oxford (1) Wert ausschließen Applied Category Theory Veranstaltung 3. 2020 Online (1) Wert ausschließen Asai, Kenichi (1) Wert ausschließen Asian Conference on Open Access Scholarly Publishing 1. 2014 Bangkok (1) Wert ausschließen Atkey, Robert (1) Wert ausschließen Autexier, Serge (1) Wert ausschließen Baez, John (1) Wert ausschließen Bahr, Patrick (1) Wert ausschließen Balzer, Stephanie (1) Wert ausschließen Berardi, Stefano (1) Wert ausschließen Blanqui, Frédéric (1) Wert ausschließen Bliudze, Simon (1) Wert ausschließen Bogaerts, Bart (1) Wert ausschließen Bogomolov, Sergiy (1) Wert ausschließen Bonfante, Guillaume (1) Wert ausschließen Bulwahn, Lukas (1) Wert ausschließen Caltais, Gerogiana (1) Wert ausschließen Cardoso, Rafael C. (1) Wert ausschließen Cervesato, Iliano (1) Wert ausschließen Conference on Open Access Scholarly Publishing 11. 2019 Kopenhagen (1) Wert ausschließen Conference on Open Access Scholarly Publishing 2020 Online (1) Wert ausschließen Conference on Open Access Scholarly Publishing 2021 Online (1) Wert ausschließen Conference on Open Access Scholarly Publishing 4. 2012 Budapest (1) Wert ausschließen Conference on Open Access Scholarly Publishing 5. 2013 Riga (1) Wert ausschließen Conference on Open Access Scholarly Publishing 9. 2017 Lissabon (1) Wert ausschließen Conference on Theoretical Aspects of Rationality and Knowledge 16. 2017 Liverpool (1) Wert ausschließen Conference on Theoretical Aspects of Rationality and Knowledge 17. 2019 Toulouse (1) Wert ausschließen Conference on Theoretical Aspects of Rationality and Knowledge 18. 2021 Online (1) Wert ausschließen Csuhaj-Varjú, Erzsébet (1) Wert ausschließen Cuffaro, Michael (1) Wert ausschließen Dalhousie University (1) Wert ausschließen Dang, Thao (1) Wert ausschließen Dardha, Ornela (1) Wert ausschließen De Angelis, Emanuele (1) Wert ausschließen Derrick, John (1) Wert ausschließen Di Molfetta, Giuseppe (1) Wert ausschließen Doligez, Damien (1) Wert ausschließen Duncan, Ross (1) Wert ausschließen Dömösi, Pál (1) Wert ausschließen EXPRESS/SOS Veranstaltung 2018 Peking (1) Wert ausschließen EXPRESS/SOS Veranstaltung 2019 Amsterdam (1) Wert ausschließen EXPRESS/SOS Veranstaltung 2020 Online (1) Wert ausschließen Echahed, Rachid (1) Wert ausschließen Ehrhard, Thomas (1) Wert ausschließen Escobar, Santiago (1) Wert ausschließen Fehnker, Ansgar (1) Wert ausschließen Finkbeiner, Bernd (1) Wert ausschließen Fisman, Dana (1) Wert ausschließen Francalanza, Adrian (1) Wert ausschließen Fribourg, Laurent (1) Wert ausschließen Gallagher, John P. (1) Wert ausschließen Ghosh, Sujata (1) Wert ausschließen Gleirscher, Mario (1) Wert ausschließen Goel, Shilpi (1) Wert ausschließen Groce, Alex (1) Wert ausschließen Hage, Jurriaan (1) Wert ausschließen Haller, Philipp (1) Wert ausschließen Halpern, Joseph Y. (1) Wert ausschließen Hermanns, Holger (1) Wert ausschließen Heunen, Chris (1) Wert ausschließen Hoffmann, Berthold (1) Wert ausschließen Hunt, Warren (1) Wert ausschließen Höfner, Peter (1) Wert ausschließen Interaction and Concurrency Experience 10. 2017 Neuenburg Schweiz (1) Wert ausschließen Interaction and Concurrency Experience Veranstaltung 11. 2018 Madrid (1) Wert ausschließen Interaction and Concurrency Experience Veranstaltung 12. 2019 Kongens Lyngby (1) Wert ausschließen Interaction and Concurrency Experience Veranstaltung 13. 2020 Online (1) Wert ausschließen International Conference on Automata and Formal Languages 15. 2017 Debrecen (1) Wert ausschließen International Conference on Logic Programming 35. 2019 Las Cruces, NM (1) Wert ausschließen International Conference on Logic Programming 36. 2020 Online (1) Wert ausschließen International Conference on Quantum Physics and Logic 13. 2016 Glasgow (1) Wert ausschließen International Conference on Quantum Physics and Logic 14. 2017 Nimwegen (1) Wert ausschließen International Conference on Quantum Physics and Logic 15. 2018 Halifax Nova Scotia (1) Wert ausschließen International Conference on Quantum Physics and Logic 16. 2019 Orange, Calif (1) Wert ausschließen International Conference on Quantum Simulation and Quantum Walks 9. 2020 Marseille (1) Wert ausschließen International Symposium on Games, Automata, Logics, and Formal Verification 10. 2019 Bordeaux (1) Wert ausschließen International Symposium on Games, Automata, Logics, and Formal Verification 11. 2020 Online (1) Wert ausschließen International Symposium on Games, Automata, Logics, and Formal Verification 9. 2018 Saarbrücken (1) Wert ausschließen International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements 2. 2019 Natal (1) Wert ausschließen International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies 2. 2017 Uppsala (1) Wert ausschließen International Workshop on Classical Logic and Computation 7. 2018 Oxford (1) Wert ausschließen International Workshop on Computing with Terms and Graphs 10. 2018 Oxford (1) Wert ausschließen International Workshop on Computing with Terms and Graphs 11. 2020 Online (1) Wert ausschließen International Workshop on Expressiveness in Concurrency 24. 2017 Berlin (1) Wert ausschließen International Workshop on Formal Engineering approaches to Software Components and Architectures 14. 2017 Uppsala (1) Wert ausschließen International Workshop on Graph Computation Models 10. 2019 Eindhoven (1) Wert ausschließen zeige weitere weniger zeigen
> Kollektion Skip to next facet Lizenzfreie Online-Ressourcen (110) Wert ausschließen Verbunddaten SWB (110) Wert ausschließen zeige weitere weniger zeigen