Nada

Results: 1528



#Item
101HSST  2015   Learning-­‐Based  Tes4ng  for     Procedural  and   Reac4ve  Systems   Karl  Meinke,        

HSST  2015   Learning-­‐Based  Tes4ng  for     Procedural  and   Reac4ve  Systems   Karl  Meinke,        

Add to Reading List

Source URL: www.nada.kth.se

- Date: 2015-06-11 07:28:46
    102Computer-Aided Design for Multilayer Microfluidic Chips by Nada Amin Submitted to the Department of Electrical Engineering and Computer

    Computer-Aided Design for Multilayer Microfluidic Chips by Nada Amin Submitted to the Department of Electrical Engineering and Computer

    Add to Reading List

    Source URL: groups.csail.mit.edu

    - Date: 2009-01-29 13:06:37
      103MUERTE SIN IMPORTANCIA (Sin seudónimo) ¿Pero es que nadie se da cuenta? Lleva ya Sancho casi un día muerto, a mi lado, y nadie hace nada. Sufrí su agonía durante horas y ahora la muerte es un punto de tranquilidad,

      MUERTE SIN IMPORTANCIA (Sin seudónimo) ¿Pero es que nadie se da cuenta? Lleva ya Sancho casi un día muerto, a mi lado, y nadie hace nada. Sufrí su agonía durante horas y ahora la muerte es un punto de tranquilidad,

      Add to Reading List

      Source URL: www.molinsfilmfestival.com

      - Date: 2016-11-18 06:25:23
        104Así expreso mi Solidaridad: —Con un paso firme que no retrocede ante nada y una sonrisa ancha como clara. —Con un corazón amoroso que se desnuda ante el camarada. —Con una mano tierna

        Así expreso mi Solidaridad: —Con un paso firme que no retrocede ante nada y una sonrisa ancha como clara. —Con un corazón amoroso que se desnuda ante el camarada. —Con una mano tierna

        Add to Reading List

        Source URL: www.resistenciavegana.es

        - Date: 2010-12-25 17:06:11
          1051 Why Heideggerian AI Failed and how Fixing it would Require making it more Heideggerian Hubert L. Dreyfus I. The Convergence of Computers and Philosophy

          1 Why Heideggerian AI Failed and how Fixing it would Require making it more Heideggerian Hubert L. Dreyfus I. The Convergence of Computers and Philosophy

          Add to Reading List

          Source URL: cid.nada.kth.se

          - Date: 2007-03-07 13:46:56
            106Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

            Program Models for Compositional Verification Marieke Huisman1 , Irem Aktug2 , and Dilian Gurov2 2 1 INRIA Sophia Antipolis, France

            Add to Reading List

            Source URL: www.nada.kth.se

            - Date: 2011-09-12 13:20:20
              107Automated Black-Box Testing of Functional Correctness using Function Approximation [Extended Abstract] Karl Meinke Department of Numerical Analysis and Computer Science Royal Institute of Technology

              Automated Black-Box Testing of Functional Correctness using Function Approximation [Extended Abstract] Karl Meinke Department of Numerical Analysis and Computer Science Royal Institute of Technology

              Add to Reading List

              Source URL: www.nada.kth.se

              - Date: 2006-05-08 09:36:06
                108/home/pcgomes/phd/papers/fase2014/pix/propagation-incomplete.dia

                /home/pcgomes/phd/papers/fase2014/pix/propagation-incomplete.dia

                Add to Reading List

                Source URL: www.nada.kth.se

                - Date: 2014-03-25 06:18:39
                  109Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1 , William Thies2 and Saman Amarasinghe1 1 Massachusetts Institute of Technology 2 Microsoft Research India

                  Computer-Aided Design for Microfluidic Chips Based on Multilayer Soft Lithography Nada Amin1 , William Thies2 and Saman Amarasinghe1 1 Massachusetts Institute of Technology 2 Microsoft Research India

                  Add to Reading List

                  Source URL: groups.csail.mit.edu

                  - Date: 2009-09-02 08:44:22
                    110A Stochastic Theory of Black-Box Software Testing Karl Meinke School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden

                    A Stochastic Theory of Black-Box Software Testing Karl Meinke School of Computer Science and Communication, Royal Institute of Technology, Stockholm, Sweden

                    Add to Reading List

                    Source URL: www.nada.kth.se

                    - Date: 2006-05-09 10:31:34