push down什么意思 push down音标、翻译、用法
push down音标
英 [puʃ daun]
美 [pʊʃ daʊn]
push down翻译
释义
向下按；推倒；压倒；迫使（某人）接受某种观点
英英释义
push down
v.cause to come or go down
同义词：downknock downcut downpull down
push down用法
双语例句
Method can be called to push changes made to the design surface down to the serializer.
方法以将对设计图面所做的更改向下推送到序列化程序中。In contrast, in a few cases, people have divined extremely complex phenomena through a great leap of insight, allowing quantum information science to proceed from the top down.
不过在少数例子中，人们也会出现思想的大跳跃，一下子看穿极端复杂的现象，由上而下推展量子资讯科学。He tugged the hat down over his head.
他把帽子往下拉了拉遮住脸。As the font size for the selected font from the drop down lists.
从下拉列表中为选中的字体选择。
权威例句
Visibly pushdown languages
Visibly pushdown languages
Efficient Algorithms for Model Checking Pushdown Systems
Pushdown Processes: Games and Model Checking
Pushdown processes: Games and model checking
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Efficient Algorithms for Model Checking Pushdown Systems
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)
Model-Checking Pushdown Systems