Výsledky vyhledávání - acm: d.: software/d.3: programming languages/d.3.4: processes/d.3.4.9: retractable computer
-
1
Autoři:
Zdroj: International Journal on Digital Libraries; Jun2006, Vol. 6 Issue 3, p235-246, 12p
-
2
Autoři:
Přispěvatelé:
Zdroj: Science of Computer Programming. 167:25-50
Témata: Behavioral contracts Backtracking Speculative execution Compliance Reversible computing, Backtracking, Behavioral contracts, Compliance, Reversible computing, Speculative execution, Software, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, compliance, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], 3. Good health, backtracking, 0202 electrical engineering, electronic engineering, information engineering, reversible computing, speculative execution, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/hal-01912858/file/SCP-Main.pdf
https://hal.archives-ouvertes.fr/hal-01912858v1
https://www.sciencedirect.com/science/article/pii/S0167642318302636#!
https://dblp.uni-trier.de/db/journals/scp/scp167.html#BarbaneraLd18
https://hal.inria.fr/hal-01912858
https://hal.inria.fr/hal-01912858/document
https://cris.unibo.it/handle/11585/653075
https://hdl.handle.net/11585/653075
https://doi.org/10.1016/j.scico.2018.06.005
https://hdl.handle.net/2318/1672252
https://doi.org/10.1016/j.scico.2018.06.005 -
3
Autoři: a další
Zdroj: Empirical Software Engineering; Dec2015, Vol. 20 Issue 6, p1721-1761, 41p
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software ; https://inria.hal.science/hal-01227693 ; Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom
Témata: Compliance, Behavioural contracts, Backtracking, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: London, United Kingdom
-
5
Autoři:
Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-36, 36p
-
6
Autoři:
Přispěvatelé:
Zdroj: Bibliogr. przy rozdz.
Index.Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1759164&theme=nukat
-
7
Autoři:
Zdroj: International Journal of Cooperative Information Systems; Sep2006, Vol. 15 Issue 3, p359-389, 31p, 4 Diagrams, 2 Charts, 1 Graph
-
8
Autoři:
Zdroj: International Journal of Electrical Engineering Education; Jul2023, Vol. 60 Issue 3, p258-272, 15p
-
9
Přispěvatelé:
Zdroj: Bibliogr. przy poszczególnych referatach.
Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1596742&theme=nukat
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 61-72 (2016)
Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Backtracking, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, Behavioural contracts, 16. Peace & justice, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Compliance, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)
Popis souboru: application/pdf
Přístupová URL adresa: https://arxiv.org/pdf/1602.03595
http://arxiv.org/abs/1602.03595
https://doaj.org/article/3a942061158747a9a0c8027b527731e9
https://inria.hal.science/hal-01227693v1
https://arxiv.org/pdf/1602.03595
https://arxiv.org/abs/1602.03595
https://hdl.handle.net/2318/2077454
https://doi.org/10.4204/EPTCS.203.5 -
11
Autoři: a další
Přispěvatelé: a další
Zdroj: Lecture Notes in Computer Science ISBN: 9783319597454
Témata: Theoretical Computer Science, Retractability, Session contracts, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Behavioural contracts, compliance, subcontract relation, reversibility, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Popis souboru: application/pdf
Přístupová URL adresa: https://hal.inria.fr/hal-01633262/file/mainCOORD.pdf
https://inria.hal.science/hal-01633262v1
https://inria.hal.science/hal-01633262v1/document
https://doi.org/10.1007/978-3-319-59746-1_7
https://rd.springer.com/chapter/10.1007/978-3-319-59746-1_7
https://hal.inria.fr/hal-01633262/document
https://iris.unito.it/handle/2318/1641515
https://link.springer.com/chapter/10.1007/978-3-319-59746-1_7
https://dblp.uni-trier.de/db/conf/coordination/coordination2017.html#BarbaneraLd17
https://doi.org/10.1007/978-3-319-59746-1_7
https://hdl.handle.net/11585/614437
https://doi.org/10.1007/978-3-319-59746-1_7
http://springerlink.com/content/0302-9743/copyright/2005/
https://hdl.handle.net/20.500.11769/297979
https://doi.org/10.1007/978-3-319-59746-1_7 -
12
Autoři:
Zdroj: IEEE Transactions on Software Engineering; Oct2003, Vol. 29 Issue 10, p866-882, 17p, 1 Diagram, 18 Charts
Témata: SOFTWARE engineering, COMPUTER software
-
13
Autoři: a další
Zdroj: Software & Systems Modeling; Apr2019, Vol. 18 Issue 2, p1543-1570, 28p
-
14
Autoři:
Zdroj: Logical Methods in Computer Science (LMCS); 2021, Vol. 17 Issue 4, p1-41, 41p
-
15
Autoři:
Zdroj: ACM Transactions on Internet Technology; Jul2014, Vol. 14 Issue 1, p1-24, 24p
-
16
Autoři:
Zdroj: IEEE Transactions on Software Engineering; Nov/Dec99, Vol. 25 Issue 6, p852-869, 18p
-
17
Autoři:
Přispěvatelé:
Zdroj: DTIC AND NTIS
Témata: Helicopters, Computer Programming and Software, Computer Hardware, Landing gear, Computer aided design, Horsepower, Requirements, Optimization, Retractable, Wheels, Skids, Computer programs, Minicomputers, Weight, Helicopter rotors, Hovering, Altitude, Computer graphics, Calculators, Hand held, Theses, HP-41 computers, Aircraft wheels, Fixed wheels
Popis souboru: text/html
-
18
Autoři:
Zdroj: Mathematics (2227-7390); Jun2025, Vol. 13 Issue 11, p1707, 42p
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: Bibliogr. przy art.
Indeks.Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756273&theme=nukat
-
20
Zdroj: Bibliogr. przy ref. Indeks.
Přístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1461954&theme=nukat
Full Text Finder
Nájsť tento článok vo Web of Science