Branching time temporal logic işler

Filtre

Son aramalarım
Şuna göre filtrele:
Bütçe
ile
ile
ile
Tür
Beceri
Diller
    İş Durumu
    89,069 branching time temporal logic iş bulundu, ücretlendirmeleri EUR

    Merhabalar, üniversite öğrencisiyim bir ders alıyorum. Logic and Critical thinking yardımcı olabilir misiniz?

    €43 (Avg Bid)
    €43 Ortalama Teklif
    1 teklifler

    ...tane test prototipin üretimini yapabilecek bir bilgili arkadaşa ihtiyacımız bulunmaktadır. Bir arada kullanılacak teknolojiler ve ilgili çalışmalar şunlardır: 1- Rasberry ve logic devre proğramlanması 2- Wİ-Fİ board iletişim, komut gönderme ve veri alışverişi 3- Var olan teknolojilerle entegrasyon. Bu bilgiler ışığında, kendinden ve bileğisinden emin

    €1084 (Avg Bid)
    €1084 Ortalama Teklif
    7 teklifler

    Sabah 5.00 ve öğle 12-1 arası home office olarak çalışacak klavyesi hızlı, çok iyi derecede ingilizce bilen, ekip çalışmasına ayak uyduracak, hızlı öğrenen ve dizi altyazıları için yetiştirilecek altyazı çevirmeni aranmaktadır. Lütfen gerçekten belirlediğimiz kurallara uyabilecek kişiler bizimle bağlantıya geçsinler. Ücretimiz ...

    €18 (Avg Bid)
    €18 Ortalama Teklif
    5 teklifler

    Sabah 5.00 ve öğle 12-1 arası home office olarak çalışacak klavyesi hızlı, çok iyi derecede ingilizce bilen, ekip çalışmasına ayak uyduracak, hızlı öğrenen ve dizi altyazıları için yetiştirilecek altyazı çevirmeni aranmaktadır. Kadromuzun tamamlanmasına sadece 2 kişi kalmıştır. Lütfen gerçekten belirlediğimiz kurallara uyabilecek kişiler ...

    €44 (Avg Bid)
    €44 Ortalama Teklif
    6 teklifler

    Merhaba, beylikdüzü Organize sanayideki yerimizi için elektronik ticaret yapan firmamızın web sitesini yönetibilecek full time zamanlı çalışma arkadaşı arıyoruz. Yapılacak işler, web sitesinin işlevselliğini ve sürekliliğini kontrol etmek, 3. partilerle entegrasyonunu yönetmek ( muhasebe programı ve pazar yerleri ile entegrasyonu), internet müşter...

    €380 (Avg Bid)
    €380 Ortalama Teklif
    29 teklifler

    Full time olarak çalışacak, iş ahlakına sahip, disiplinli, çok iyi derecede ingilizce bilen altyazı çevirmenleri aranmaktadır. Tecrübe aranmamaktadır. Toplamda 4 ila 6 kişi işe alınacaktır ve bir ekip olarak gececi ve gündüzcü olarak sürekli çeviri yapacaklardır. İstenen tek şey zamanında çevirileri teslim etmeleri ve tam vaktind...

    €77 (Avg Bid)
    €77 Ortalama Teklif
    10 teklifler

    Full time olarak çalışacak, iş ahlakına sahip, disiplinli, çok iyi derecede ingilizce bilen altyazı çevirmenleri aranmaktadır. Tecrübe aranmamaktadır. Toplamda 4 ila 6 kişi işe alınacaktır ve bir ekip olarak gececi ve gündüzcü olarak sürekli çeviri yapacaklardır. İstenen tek şey zamanında çevirileri teslim etmeleri ve tam vaktind...

    €72 (Avg Bid)
    €72 Ortalama Teklif
    9 teklifler

    genel olarak iki tane ethernet araciligiyla baglanmis linux isletim sistemli bilgisayar arasinda komünikasyon saglamak. Bunun icin öncelikle tcp ve udp haberlesme protokolü icin bir c kodu yazilmasi lazim.(Ben server ve client olarak iki bilgisyara ayirabilcegimi düsündüm ama ne kadar dogru bilemiyorum tabii ve burdan sonraki adimlar icin pek bir bilgim yok ne yaz...

    €155 (Avg Bid)
    €155 Ortalama Teklif
    2 teklifler

    Marka adı : Filo Logic İş kolu: Operasyonel filo araç kiralama yukarıdaki iş dalı için logo ikon tasarımı istemekteyim. web sitesinde kartvizit ve faturalarda kullanmaya uygun bir tasarım olmalıdır. kırmızı rengin tasarımın içinde kullanılmasını istemekteyim.

    €24 (Avg Bid)
    €24 Ortalama Teklif
    8 teklifler

    Şirket ismi Filo Logic olacak şekilde operasyonel filo araç kiralama işiyle uğraşacak firmamız için; web sitesi, fatura, kartvizitlerde kullanmak üzere logo ve icon tasarımı istemekteyim.

    €27 (Avg Bid)
    €27 Ortalama Teklif
    19 teklifler
    Filo Logic Bitti left

    Operasyonel filo araç kiralama şirketi için logo tasarımı kartvizit fatura vs. ortamlarda da kullanmaya uygun bir tasarım istemekteyim.

    €68 (Avg Bid)
    €68 Ortalama Teklif
    22 teklifler

    web tabanlı bir proje geliştirme desteği için uzman php developer arıyorum. Freelance veya full time çalışma tercihi olabilir.

    €1752 (Avg Bid)
    €1752 Ortalama Teklif
    17 teklifler

    ...a word template. Everyone start "500" points. Assessment results are scores of daily, weekly, monthly, yearly and past is shown in the application. I want "ClassDojo" logic. . [URL'yi görüntülemek için giriş yapın] I can send additional files for details....

    €462 (Avg Bid)
    €462 Ortalama Teklif
    9 teklifler

    Hello, We are looking for a software company for a few periods associated with our projects we want to implement. Share additional logic on the website and we hope to make a site with all functions. [URL'yi görüntülemek için giriş yapın] my sample site It will have the same content as this site It will have a modern design the site will have three business ...

    €1032 (Avg Bid)
    €1032 Ortalama Teklif
    13 teklifler

    İstanbul içi part time çalışacak Seo uzmanı aranıyor

    €390 (Avg Bid)
    €390 Ortalama Teklif
    7 teklifler

    ...yazılmasını istiyoruz. Icerigi madde madde siralayacak olurssk; 1) Oyun 2d 2) menu + birisi basit seviye olmak üzere 3 farklı oynama şekli. (En azindan 2 farkli kodlama gerekecek. Logic kisminda yazılı olan koddan faydalinabilir) 3) iststistik bilgileri tutulacak. Twitter ve facebook kullanici bilgileri ve bu istatistikler server dan okunacak ve gonderilecek

    €741 (Avg Bid)
    €741 Ortalama Teklif
    2 teklifler

    ...işlevi o Tersine yol (Path traversal) o Yetki atlatma (Bypass authorization) o Yetki artırımı (Privilege escalation) o Uygulama mantığı kontrolleri ( Application logic flaw, business logic flaw) • Web Servis Testleri o Web servislerin tespiti o Web servisi detay tarama o REST üzerinden web servisi o SOAP eklenti testi o Ajax testi • Bilgi

    €2172 (Avg Bid)
    €2172 Ortalama Teklif
    3 teklifler

    ------------------------------------------------ Combination with the iTunes Store and Google Play will be a web site you need this software to work with the logic. But at the same time not only ios and android applications in the Windows Phone I want to sell. The source file of the product will be installed. Authorize whether control. Then the price

    €19 / hr (Avg Bid)
    €19 / hr Ortalama Teklif
    1 teklifler

    ...to minutes or hours outside of this system is web software, iOS (iPhone + iPad) | Android | Windows Mobile needs to yazılımlarıda example of the site and the operating logic: [URL'yi görüntülemek için giriş yapın]

    €13 / hr (Avg Bid)
    €13 / hr Ortalama Teklif
    1 teklifler

    ------------------------------------------------ Combination with the iTunes Store and Google Play will be a web site you need this software to work with the logic. But at the same time not only ios and android applications in the Windows Phone I want to sell. The source file of the product will be installed. Authorize whether control. Then the price

    €13 - €22 / hr
    Mühürlü
    €13 - €22 / hr
    0 teklifler

    ...to minutes or hours outside of this system is web software, iOS (iPhone + iPad) | Android | Windows Mobile needs to yazılımlarıda example of the site and the operating logic: [URL'yi görüntülemek için giriş yapın]

    €16 / hr (Avg Bid)
    €16 / hr Ortalama Teklif
    9 teklifler

    ------------------------------------------------ Combination with the iTunes Store and Google Play will be a web site you need this software to work with the logic. But at the same time not only ios and android applications in the Windows Phone I want to sell. The source file of the product will be installed. Authorize whether control. Then the price

    €31 / hr (Avg Bid)
    €31 / hr Ortalama Teklif
    3 teklifler

    I will pay you on per hour basis. I will ne...satisfaction. The game will consist of: *Main Menu with Save/Load feature. *Inventory System *Cut-scenes *Interactive Objects that open 2D puzzles or dialogues when clicked on. *Logic System where certain puzzles and doors can only begin after clearing the necessary puzzles and obtaining the required keys.

    €16 / hr (Avg Bid)
    €16 / hr Ortalama Teklif
    3 teklifler

    The s...versed in different testing methodologies, tools, and techniques Experience in agile deliveries and tight timescale Implementing Dynamics CRM Master Data Model using Azure Logic Apps; Excellent design and branding skills; Experience in a client-facing role; liaising with clients and participating in requirements gathering and design workshops.

    €9 - €78 / hr
    €9 - €78 / hr
    0 teklifler

    ...source and proprietary applications using RestAPI's. o Expert in * designing high performing databases (PostgreSQL and NoSQL), * designing applications with complex business logic. o We use Google Cloud Platform and many GCP tools and API’s including Google Cloud Vision API, Google Media and Translation API o GraphQL o The work is not very hard e.g. developing

    €3972 (Avg Bid)
    €3972 Ortalama Teklif
    3 teklifler

    We are an online furniture marektplace and looking for a developer to join our team on a part-time basis to lead development efforts related to specific projects and tasks. Looking to work directly with a developer on a contract basis and not through an agency.

    €12 / hr (Avg Bid)
    €12 / hr Ortalama Teklif
    52 teklifler

    ...equipment (tag reader, weighing machines, smart photocells for diameters...) • cartesian robot controlled by servo drivers . SKILLS • Real experience of programming complex logic and sequence for Handling machines sector. • Good knowledgment of TIA Portal for PLC programming especially in LAD and SCL language. • Good knowledgment of TIA Portal for

    €37 / hr (Avg Bid)
    €37 / hr Ortalama Teklif
    3 teklifler

    This is to download the Wasco Images.

    €43 (Avg Bid)
    €43 Ortalama Teklif
    1 teklifler

    Need to develop Real-time transport protocol (RTP) application or to find an existing one

    €474 (Avg Bid)
    €474 Ortalama Teklif
    10 teklifler

    We are looking for someone who can take on our SEO Meta tagging work.

    €3 / hr (Avg Bid)
    €3 / hr Ortalama Teklif
    16 teklifler

    ...choose a freelancer for a permanent role for long-term projects whose to work we like so you don't need to do it FAST but with best practice. We will give you details and logic. You need to implement code in C#. No other language. Only apply if you are pro and have extensive experience in C#, API, and test cases. You can choose .Net core also if you

    €20 (Avg Bid)
    €20 Ortalama Teklif
    16 teklifler
    Smart Contracts on Solana 6 gün left
    ONAYLI

    ...using SOL in many different pairs BTC/USD ETH/USD SOL/USD … It must provide liquidity for each event by adding bets in both sides (prize pools) of the smart contract. Game logic: Every %X minutes a new round starts As the round starts Fetch asset price from an oracle System will place bets automatically in both UP and DOWN pools with a random amount

    €739 (Avg Bid)
    €739 Ortalama Teklif
    7 teklifler

    ...can manually select when to engage long or short algo logic. Again I repeat that no Shorts or Longs are to be triggered unless its been manually engaged on the chart. Here is the logic. should be fairly simple. It will trade range charts. so I want to be able to use on any range chart. logic as follows for LONGs; Current Candle up(bullish) Close>Open

    €152 (Avg Bid)
    €152 Ortalama Teklif
    3 teklifler

    ...Chinese language is an absolute must. The job is remote and can be done from anywhere, as long as you have a high-speed internet connection. This is a part time job that could be changed to a full time in the future. Key Responsibilities: Point of Contact of all customers in Mandarin and Cantonese. Filters out and manages customer requests through IM

    €9 / hr (Avg Bid)
    €9 / hr Ortalama Teklif
    6 teklifler

    Need assistance to recruit traveling live in butler for work in US will sponsor the right person.

    €2586 - €4310
    €2586 - €4310
    0 teklifler

    ... Opportunity to make $2,000 to $3,000 a month to start, within 6 months that could double or even triple. We promote all of our best callers to sales professionals when the time is right. Interested? Apply now Your responsibilities will be to cold call consumers and explain the benefits of going Solar. We have the best script, best data and best

    €556 (Avg Bid)
    €556 Ortalama Teklif
    15 teklifler

    An android app Includes Time Attendance, News Feed, Home work etc with Dash board Panel

    €234 (Avg Bid)
    €234 Ortalama Teklif
    14 teklifler

    I am looking for a competent lawyer who is looking to work at a law firm and is willing to do any task (challenging or boring). This is a small practice and the room to grow is significant. I have a lot of legal tasks that require that I partner with a Legal professional. Let me know if you're interested.

    €406 (Avg Bid)
    €406 Ortalama Teklif
    16 teklifler
    Adjust code MQL 6 gün left

    The current code draws the lines but does not input and output. X Lines up X Lines down Distance of pips b...between them master line Setup Line break up ... above MM100 buy After the first buy or sell entry, it enters again in reverse Field for Take profit Stop loss field TP and SL logic - x points from the broken line and not from the entry point

    €129 (Avg Bid)
    €129 Ortalama Teklif
    1 teklifler

    Hi All, We need Wordpress -LearnDash (LMS developer ). Please see attachment for JD and let me know your feedback. ( Note : Only Individuals please. Agency are welcome who are ready to work with mentioned budget only) ( Work will be given everyday and you have to complete that task. ) I have already mention about working hour so don't ask this question again in chat. In between if you are...

    €320 (Avg Bid)
    €320 Ortalama Teklif
    3 teklifler

    I am looking for a solution that will be used to book golf tee times. The website I will be using is https://golf.l...at 6:00am. I am looking to be able to set certain parameters such as # of players, date, range of times as well as which course. I would also like to set the program ahead of time so that it will initiate itself automaticaly at 5:55am.

    €169 (Avg Bid)
    €169 Ortalama Teklif
    5 teklifler

    Remote Contract - You can work 1. Contract -full-time timings Preferably to work in 1 – 10 pm IST shift 2. Contract Part time: Part timers should be able to attend the daily SCRUM stand-up meetings - one, in the beginning and other in the late evening.(5-6 Hours) Founded in 1998, Inc. is a strategic provider of business consulting, IT services

    €832 (Avg Bid)
    €832 Ortalama Teklif
    4 teklifler
    Django AWS work 6 gün left

    We need 2 - 3 hours of meeting with someone with regarding our project, to solve some important logic.

    €11 / hr (Avg Bid)
    €11 / hr Ortalama Teklif
    3 teklifler

    ...in projects involving NodeJS if you have that skill Prerequisites: - High attention to detail, passion for quality, and persistence to work for it - Skills to plan your own time and meet deadlines - Strong skill with Ruby on Rails (3-4 years) - Good server admin skills, especially AWS. - Databases management and building RESTful APIs - Clean and well-documented

    €12 / hr (Avg Bid)
    €12 / hr Ortalama Teklif
    7 teklifler

    ...technologies to create feature-rich and robust blockchain-based digital collectible card game. • Planning, designing, guiding, developing, and deploying the game. • Execute complex logic into the game. • Leading a game development team. • Generate Game Design Document(GDD). • Work in collaboration with programmers and artists from around the world.

    €20 / hr (Avg Bid)
    Özellikli
    €20 / hr Ortalama Teklif
    8 teklifler

    We have a very specific product on pavement management through a mobile game, as well as a very specific requirements on who we want to contact. We are looking for someone we can train and then help set up appointments for us. The person needs to speak Swedish fluently and can't be afraid of cold calling prospects. We have a working process for this in Finland which we want to replicate in S...

    €22 - €43 / hr
    €22 - €43 / hr
    0 teklifler

    ...16-bit analog output channels. The output voltage range needs to be +/-10V. The speed needs to be >1 MSPS 3. Four (or more) digital I/O channels. 0 to 3.3V logic is preferred, but 0 to 5V logic is acceptable. Ideally the device could tolerate both. 4. Microcontroller daughterboard that can be programmed with the Arduino IDE (e.g., a Teensy 4.1). 5

    €2185 (Avg Bid)
    €2185 Ortalama Teklif
    10 teklifler

    We're looking for an expert Full Stack, Backend, Frontend and Blockchain Developers to join our team for a long term employment. 1. At least 2 years experience in GIT 2. We are only looking for freelancers (strictly no company) 3. Only CET for the timezone 4. I need your Updated Resume 5. Please Provide your GITHUB 6. High-level communication and execution skills are important.

    €11 / hr (Avg Bid)
    €11 / hr Ortalama Teklif
    13 teklifler
    part time django Developer 6 gün left
    ONAYLI

    Need django Developer for part time

    €69 (Avg Bid)
    €69 Ortalama Teklif
    12 teklifler

    Part Time Data Science Faculty needed in an institute near Sreerampore, Hooghly. Must know Python, R, Machine Learning. Need to take three days in a week for four hours per day class. Amount will be on per day basis and will be paid monthly. If classes or hours will be increased, payments will be increased accordingly.

    €3 / hr (Avg Bid)
    €3 / hr Ortalama Teklif
    2 teklifler