-
1دورية أكاديمية
المؤلفون: Sanjiva Prasad
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 246, Iss Proc. PLACES 2017, Pp 61-71 (2017)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
2دورية أكاديمية
المؤلفون: Sanjiva Prasad, Lenore D. Zuck
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 30-44 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
3دورية أكاديمية
المؤلفون: Sanjiva Prasad
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 83-91 (2016)
مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
4
المؤلفون: Krishna M. Sivalingam, Navakanta Bhat, Sanjiva Prasad, S. V. Raghavan
المصدر: CSI Transactions on ICT. 8:101-104
مصطلحات موضوعية: World Wide Web, Computer science, General Medicine, Computer communication networks
-
5
المؤلفون: Sanjiva Prasad
المصدر: Journal of Logical and Algebraic Methods in Programming. 100:1-15
مصطلحات موضوعية: Scheme (programming language), Competitive analysis, Logic, Computer science, Quality of service, Distributed computing, 0102 computer and information sciences, 02 engineering and technology, Energy consumption, 01 natural sciences, Theoretical Computer Science, Core (game theory), Resource (project management), Computational Theory and Mathematics, 010201 computation theory & mathematics, Transition system, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Online algorithm, computer, Software, computer.programming_language
-
6
المؤلفون: R. Madhukar Yerraguntla, Sanjiva Prasad
المصدر: Theoretical Aspects of Computing – ICTAC 2021 ISBN: 9783030853143
ICTACمصطلحات موضوعية: Soundness, Programming language, Semantics (computer science), Lustre (programming language), Computer science, Suite, computer.software_genre, Variety (linguistics), Data flow diagram, Simple (abstract algebra), TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Information flow (information theory), computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6797bb8f00ca146ed05a9147dac45550
https://doi.org/10.1007/978-3-030-85315-0_16 -
7
المؤلفون: R. Madhukar Yerraguntla, Subodh Sharma, Sanjiva Prasad
المصدر: MEMOCODE
مصطلحات موضوعية: 010302 applied physics, Computer science, Semantics (computer science), Lustre (programming language), Distributed computing, 020207 software engineering, 02 engineering and technology, computer.software_genre, 01 natural sciences, Operational semantics, Data modeling, Data flow diagram, Software framework, Synchronous Data Flow, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, Programming paradigm, Implementation, computer, computer.programming_language
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3fad59910250426882d132189cf7ad52
https://doi.org/10.1109/memocode51338.2020.9315053 -
8
المؤلفون: Chandrika Bhardwaj, Sanjiva Prasad
مصطلحات موضوعية: I.2.2, G.4, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, I.2.3, Computer Science - Cryptography and Security, Computer Science - Programming Languages, Logic, E.4, D.3.3, D.4.6, 06A99, 68M25, Theoretical Computer Science, Logic in Computer Science (cs.LO), F.3.2, F.3.3, F.4.1, Computational Theory and Mathematics, Cryptography and Security (cs.CR), Software, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::09a1ad091edba0a7dfa4686e4da80d64
-
9
المؤلفون: Lenore D. Zuck, Sanjiva Prasad
المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 30-44 (2016)
EXPRESS/SOSمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theoretical computer science, Property (philosophy), Computer science, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, lcsh:QA75.5-76.95, Computer Science - Software Engineering, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Resilience (network), Bisimulation, Class (computer programming), Computer Science - Programming Languages, lcsh:Mathematics, Fault tolerance, lcsh:QA1-939, Undecidable problem, Decidability, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), 010201 computation theory & mathematics, lcsh:Electronic computers. Computer science, Programming Languages (cs.PL)
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::835c15fe2fc0c0d0410bdc27de066f5c
https://doaj.org/article/c2c4651923fe425e82ce82ac287389dd -
10
المؤلفون: Sanjiva Prasad, Chandrika Bhardwaj
المصدر: Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783030217587
FORTEمصطلحات موضوعية: Theoretical computer science, Correctness, Computer science, media_common.quotation_subject, Connection (vector bundle), 020206 networking & telecommunications, 02 engineering and technology, Object (computer science), Security policy, Simple (abstract algebra), 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Information flow (information theory), Lattice model (physics), Autonomy, media_common
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::a54ec63cd585f7a9803154dbe74dc441
https://doi.org/10.1007/978-3-030-21759-4_5