Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 of  346 نتائج ل ""theory""

فلترة النتائج

Publisher : springer international publishing Subject : 0202 electrical engineering, electronic engineering, information engineering Subject : 020901 industrial engineering & automation فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Nominal Equational Problems

Subjects: Discrete mathematics; Nominal terms; Image (category theory)

  • Source: Lecture Notes in Computer Science ISBN: 9783030719944FoSSaCS

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Nondeterministic Syntactic Complexity

Subjects: Discrete mathematics; TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES; Interpretation (logic)

  • Source: Lecture Notes in Computer Science ISBN: 9783030719944FoSSaCS

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Learning Union of Integer Hypercubes with Queries

Subjects: Discrete mathematics; Computer science; Generalization

  • Source: Computer Aided Verification ISBN: 9783030816872CAV (2)Computer Aided Verification 2021

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy

Subjects: Protocol (science); Matching (graph theory); Computer science

  • Source: Lecture Notes in Computer Science ISBN: 9783030719944FoSSaCSLecture Notes in Computer ScienceLecture Notes in Computer Science-Foundations of Software Science and Computation

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Non-well-founded Deduction for Induction and Coinduction

Subjects: Scheme (programming language); Programming language; Computer science

  • Source: Automated Deduction – CADE 28 ISBN: 9783030798758CADE

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

A Model to Predict Users’ Intentions to Adopt Contact-Tracing Apps for Prevention from COVID-19

Subjects: Value (ethics); Expectancy theory; 020205 medical informatics

  • Source: Information and Communication Technologies in Tourism 2021 ISBN: 9783030657840

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

A String Diagrammatic Axiomatisation of Finite-State Automata

Subjects: FOS: Computer and information sciences; Computer Science - Logic in Computer Science; Formal Languages and Automata Theory (cs.FL)

  • Source: Lecture Notes in Computer Science ISBN: 9783030719944FoSSaCSFoundations of Software Science and Computation Structures

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Work-sensitive Dynamic Complexity of Formal Languages

Subjects: Theoretical computer science; Work (electrical); 010201 computation theory & mathematics

  • Source: Lecture Notes in Computer Science ISBN: 9783030719944FoSSaCS

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Ghost Signals: Verifying Termination of Busy Waiting

Subjects: LOOP (programming language); Busy waiting; Computer science

  • Source: Computer Aided Verification ISBN: 9783030816872CAV (2)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Proof Search and Certificates for Evidential Transactions

Subjects: Computer science; Programming language; Sequent calculus

  • Source: Automated Deduction – CADE 28 ISBN: 9783030798758CADE

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  346 نتائج ل ""theory""