Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("Llamada procedimiento")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 381

  • Page / 16
Export

Selection :

  • and

Equivalence of the Gries and Martin proof rules for procedure callsBIJLSMA, A; WILTINK, J. G; MATTHEWS, P. A et al.Acta informatica. 1986, Vol 23, Num 4, pp 357-360, issn 0001-5903Article

Distributed diagnosis under global consistencySU, R; WONHAM, W. M.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 525-530Conference Paper

Why do so few patients appeal against detention under section 2 of the mental health act ?BRADLEY, C; MARSHALL, M; GATH, D et al.BMJ. British medical journal (International ed.). 1995, Vol 310, Num 6976, pp 364-367, issn 0959-8146Article

Automatic checking of component protocols in component-based systemsZIMMERMANN, Wolf; SCHAARSCHMIDT, Michael.Lecture notes in computer science. 2006, pp 1-17, issn 0302-9743, isbn 3-540-37657-7, 1Vol, 17 p.Conference Paper

Parallel independence in hierarchical graph transformationHABEL, Annegret; HOFFMANN, Berthold.Lecture notes in computer science. 2004, pp 178-193, issn 0302-9743, isbn 3-540-23207-9, 16 p.Conference Paper

A prolog tailoring technique on an epilog tailored procedureJHI, Yoon-Chan; KIM, Ki-Chang; EBCIOGLU, Kemal et al.Lecture notes in computer science. 2001, pp 421-433, issn 0302-9743, isbn 3-540-43075-XConference Paper

Parameter transmission abstractionsJOKINEN, M. O.Computer journal (Print). 1990, Vol 33, Num 2, pp 133-139, issn 0010-4620Article

Edmas: an object-oriented, locally distributed mail systemALMES, G. T; HOLMAN, C. L.IEEE transactions on software engineering. 1987, Vol 13, Num 9, pp 1001-1009, issn 0098-5589Article

Replicated procedure callCOOPER, E. C.Operating systems review. 1986, Vol 20, Num 1, pp 44-56, issn 0163-5980Article

Nested Quantification in Graph Transformation RulesRENSINK, Arend.Lecture notes in computer science. 2006, pp 1-13, issn 0302-9743, isbn 3-540-38870-2, 1Vol, 13 p.Conference Paper

Generalised Kernel sets for inverse entailmentRAY, Oliver; BRODA, Krysia; RUSSO, Alessandra et al.Lecture notes in computer science. 2004, pp 165-179, issn 0302-9743, isbn 3-540-22671-0, 15 p.Conference Paper

Inner rectangular drawings of plane graphsMIURA, Kazuyuki; HAGA, Hiroki; NISHIZEKI, Takao et al.Lecture notes in computer science. 2004, pp 693-704, issn 0302-9743, isbn 3-540-24131-0, 12 p.Conference Paper

Overview of GridRPC: A remote procedure call API for grid computingSEYMOUR, Keith; NAKADA, Hidemoto; MATSUOKA, Satoshi et al.Lecture notes in computer science. 2002, pp 274-278, issn 0302-9743, isbn 3-540-00133-6, 5 p.Conference Paper

A sharp proof rule for procedures in wp semanticsBIJLSMA, A; MATTHEWS, P. A; WILTINK, J. G et al.Acta informatica. 1989, Vol 26, Num 5, pp 409-419, issn 0001-5903Article

Program parallelization with interprocedural analysisZHIYUAN LI; PEN-CHUNG YEW.Journal of supercomputing. 1988, Vol 2, Num 2, pp 225-244, issn 0920-8542Article

Remote capabilitiesFOSTER, J. M; CURRIE, I. F.Computer journal (Print). 1987, Vol 30, Num 5, pp 451-457, issn 0010-4620Article

On the scale-free intersection graphsXIN YAO; CHANGSHUI ZHANG; JINWEN CHEN et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25860-4, 4Vol, part II, 1217-1224Conference Paper

Instruction selection for compilers that target architectures with echo instructionsBRISK, Philip; NAHAPETIAN, Ani; SARRAFZADEH, Majid et al.Lecture notes in computer science. 2004, pp 229-243, issn 0302-9743, isbn 3-540-23035-1, 15 p.Conference Paper

Radjoot: a remote procedure call mechanism supporting orphan detection and killingPANZIERI, F; SHRIVASTAVA, S. K.IEEE transactions on software engineering. 1988, Vol 14, Num 1, pp 30-37, issn 0098-5589Article

Delta-confluent drawingsEPPSTEIN, David; GOODRICH, Michael T; MENG, Jeremy Yu et al.Lecture notes in computer science. 2006, pp 165-176, issn 0302-9743, isbn 3-540-31425-3, 1Vol, 12 p.Conference Paper

Fast and dependable communication in hyper-ringsALTMAN, Tom; IGARASHI, Yoshihide; MOTEGI, Kazuhiro et al.Lecture notes in computer science. 2002, pp 350-359, issn 0302-9743, isbn 3-540-43996-X, 10 p.Conference Paper

Recognizing string graphs is decidablePACH, Janos; TOTH, Géza.Lecture notes in computer science. 2002, pp 247-260, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Problems of language bindingsMEEK, B.Computer standards & interfaces. 1993, Vol 15, Num 4, pp 353-360, issn 0920-5489Article

PLUMB : An interface for users who are blind to display, create, and modify graphsCALDER, Matt; COHEN, Robert F; LANZONI, Jessica et al.International ACM SIGACCESS conference on computers and accessibility. 2006, pp 263-264, isbn 1-59593-290-9, 1Vol, 2 p.Conference Paper

Communication style driven connector configurationsBURES, Tomas; PLASIL, Frantisek.Lecture notes in computer science. 2004, pp 102-116, issn 0302-9743, isbn 3-540-21975-7, 15 p.Conference Paper

  • Page / 16