E1

Results: 2112



#Item
71Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany

Incremental Instance Generation in Local Reasoning Swen Jacobs Max-Planck-Institut f¨ ur Informatik, Campus E1.4, Saarbr¨ ucken, Germany

Add to Reading List

Source URL: www.swenjacobs.com

- Date: 2013-01-31 09:31:42
    72Mobile Case 2013 Marktforschung von GfK, Migros und Tamedia Christoph Brand, Leiter Digital Tamedia 29. August

    Mobile Case 2013 Marktforschung von GfK, Migros und Tamedia Christoph Brand, Leiter Digital Tamedia 29. August

    Add to Reading List

    Source URL: e1.marco.ch

    - Date: 2013-08-29 13:17:58
      73Medienmitteilung Süddeutsche Zeitung und Tages-Anzeiger vereinbaren umfassende Kooperation Aufgrund der erfolgreichen Zusammenarbeit in den vergangenen Jahren vereinbaren die Redaktionen der Süddeutschen Zeitung und v

      Medienmitteilung Süddeutsche Zeitung und Tages-Anzeiger vereinbaren umfassende Kooperation Aufgrund der erfolgreichen Zusammenarbeit in den vergangenen Jahren vereinbaren die Redaktionen der Süddeutschen Zeitung und v

      Add to Reading List

      Source URL: e1.marco.ch

      - Date: 2016-12-08 08:09:59
        74Agenda Sunset Advisory Commission Thursday and Friday, December 8 and 9, 2016 Senate Finance Committee Room Room E1.036, Capitol Extension 1400 Congress Avenue

        Agenda Sunset Advisory Commission Thursday and Friday, December 8 and 9, 2016 Senate Finance Committee Room Room E1.036, Capitol Extension 1400 Congress Avenue

        Add to Reading List

        Source URL: www.sunset.texas.gov

        - Date: 2016-11-29 12:26:41
          75Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E

          Under consideration for publication in Math. Struct. in Comp. Science Partiality and Recursion in Interactive Theorem Provers — An Overview A N A B O V E1 , A L E X A N D E R K R A U S S2 , and M A T T H I E U S O Z E

          Add to Reading List

          Source URL: www4.informatik.tu-muenchen.de

          - Date: 2012-06-06 16:05:33
            76Präsentation: Titel 36 Pt., Zeilenabstand: Genau 1.0

            Präsentation: Titel 36 Pt., Zeilenabstand: Genau 1.0

            Add to Reading List

            Source URL: e1.marco.ch

            - Date: 2013-08-29 13:17:58
              77Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom

              Linear Continuation-Passing ∗ Josh Berdine and Peter O’Hearn ( {berdine, ohearn}@dcs.qmul.ac.uk) Department of Computer Science, Queen Mary, University of London, London E1 4NS, United Kingdom

              Add to Reading List

              Source URL: www.cs.bham.ac.uk

              - Date: 2002-08-05 10:38:10
                78THE SOCIETY FOR THE PROTECTION OF ANCIENT BUILDINGS 37 Spital Square London E1 6DY TelephoneFAO Mr Steve Fraser-Lim Planning Officer Hackney Borough Council Hackney Service Centre

                THE SOCIETY FOR THE PROTECTION OF ANCIENT BUILDINGS 37 Spital Square London E1 6DY TelephoneFAO Mr Steve Fraser-Lim Planning Officer Hackney Borough Council Hackney Service Centre

                Add to Reading List

                Source URL: www.hackneysociety.org

                - Date: 2014-03-03 21:50:02
                  79An Infinite Restricted Boltzmann Machine arXiv:1502.02476v4 [cs.LG] 18 Mar 2016 Marc-Alexandre Cˆ ot´ e1 , Hugo Larochelle1

                  An Infinite Restricted Boltzmann Machine arXiv:1502.02476v4 [cs.LG] 18 Mar 2016 Marc-Alexandre Cˆ ot´ e1 , Hugo Larochelle1

                  Add to Reading List

                  Source URL: arxiv.org

                  - Date: 2016-03-20 20:44:12
                    80Press Release ECOsine® High Power Line Enclosed The Schaffner Group further broadens its product offering in the ® field of power quality. The ECOsine High Power Line passive harmonic filters are now also available in

                    Press Release ECOsine® High Power Line Enclosed The Schaffner Group further broadens its product offering in the ® field of power quality. The ECOsine High Power Line passive harmonic filters are now also available in

                    Add to Reading List

                    Source URL: e1.marco.ch

                    - Date: 2015-06-30 10:14:27