Sponsorzy katalogu:

Centrum Rezerwacji Hoteli. Internetowy system umozliwiający dokonanie rezerwacji z natychmiastowym potwierdzeniem w ponad 500 hotelach w całej Polsce. Hotele Warszawa, hotele w Krakowie, Poznaniu, Wrocławiu i wielu innych mistach w Polsce po bardzo konkurencyjnych cenach.

Centralny System Rezerwacji Online oferuje rezerwację hoteli w całej Polsce po bezkonkurencyjnych cenach. Odwiedź www.hotele.pl i rezerwuj hotele w Polsce po super cenach !

System rezerwacji hoteli w Polsce. Szybka i intuicyjna rezerwacja, bezpieczna płatność online kartami kredytowymi i przelewami. Rezerwuj hotele w całej Polsce. W ofercie kilkaset hoteli, zarówno tych luksusowych, jak i tanich hoteli turystycznych.

Tygrys.com - katalog stron : Computers : Programming : Languages : Erlang : Research
  • Conference Proceedings@ (45)
    		•  
  • Ports and Compilers@ (10)
    • Znaleziono 10 stron w kategorii Research:

    Tytuł strony: Erlang QuickCheck
    Opis strony: Erlang/QuickCheck is a library for random testing of Erlang programs against specifications.
    Adres: http://www.cs.chalmers.se/~rjmh/ErlangQC/

    Tytuł strony: FORSE
    Opis strony: FORmally Based Tool Support for Erlang Development, a reearch project at the University of Sheffield.
    Adres: http://www.dcs.shef.ac.uk/~qiang/forse/forse.htm

    Tytuł strony: FORSE
    Opis strony: Formally-Based Tool Support for Erlang Development, a joint research project with the University of Kent, Sheffield University, T-Mobile and Erlang Training and Consulting.
    Adres: http://www.cs.kent.ac.uk/projects/forse/

    Tytuł strony: HiPE
    Opis strony: High Performance Erlang is an ASTEC project at the Computing Science Department of Uppsala University, aimed at efficiently implementing the concurrent functional language Erlang.
    Adres: http://www.it.uu.se/research/group/hipe/

    Tytuł strony: Model checking
    Opis strony: Model checking Erlang code through formal methods.
    Adres: http://www.dcs.shef.ac.uk/~jd/Projects/erlang.html

    Tytuł strony: A Practical Subtyping System For Erlang
    Opis strony: Wadler's type system for Erlang developed at Glasgow University with Simon Marlow.
    Adres: http://homepages.inf.ed.ac.uk/wadler/topics/erlang.html

    Tytuł strony: Project Plan: Process structure extraction from ERLANG /OTP systems
    Opis strony: An ongoing research project at Uppsala University.
    Adres: http://user.it.uu.se/~jann/grad-plan/project_plan/

    Tytuł strony: Safer Erlang
    Opis strony: A research project focussed on the design and prototyping of a secure and safe mobile code execution environment in Erlang.
    Adres: http://www.unsw.adfa.edu.au/~lpb/research/sserl/

    Tytuł strony: UBF
    Opis strony: Erlang is being used by Joe Armstrong for researching the transportation and description of complex data structures across networks.
    Adres: http://www.sics.se/~joe/ubf/site/home.html

    Tytuł strony: Verification of Erlang Programs
    Opis strony: A project to produce a method and prototype tool-set for verifying a substantial fragment of the Erlang programming language.
    Adres: http://www.sics.se/fdt/projects/vericode/evt.html

    Cytat dnia:

    Gesty dobroci są jak letnie kwiaty wsunięte między karty książki: uczucia z nimi związane ożywają nawet po latach.

    Pam Brown

    studiumkosmetyczne.szkola.pl Stoły i biurka Okna PCV bronie kolano przyłączeniowe
    Help build the largest human-edited directory on the web.
      Submit a Site - Open Directory Project - Become an Editor  

    Zapraszamy do Globalnego Katalogu Stron - największy zbiór stron w sieci
    teksty piosenek | kolczyki | Projekty katalog | wyniki na żywo | Cite Cytaty Teksty

    Search the Research category

    Powered by the Free PHP ODP Script
    Serwery