The SCEAS System
Navigation Menu

Conferences in DBLP

IFIP World Computer Congress (ifip)
1977 (conf/ifip/1977)

  1. Maurice V. Wilkes
    Beyond Today's Computers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:1-5 [Conf]
  2. Yaohan Chu
    Direct-Execution Computer Architecture. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:7-12 [Conf]
  3. Rajat K. Deb
    On Generation of Test Data and Minimal Cover of Directed Graphs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:13-16 [Conf]
  4. J. L. Cheval, F. Christian, Sacha Krakowiak, J. Montuelle, Jacques Mossière
    An Experiment in Modular Program Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:17-21 [Conf]
  5. Ken Sakamura, Hideaki Kitafusa, Yukio Takeyari, Hideo Aiso
    A Debugging Machine - An Approach to an Adaptive Computer. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:23-28 [Conf]
  6. Kazuaki Komori, Takahiko Kawatani, Kenichiro Ishii, Yukiyasu Iida
    A Feature Concentration Method for Character Recognition. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:29-34 [Conf]
  7. Kiyoshi Iwata, Masumi Yoshida, Eiishiro Yamamoto, Takeshi Masui, Yukikazu Kabuyama, Shin-ichi Shimizu
    Recognition System for Handprinted Characters. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:35-39 [Conf]
  8. Alan W. Biermann, Douglas R. Smith
    The Hierarchical Synthesis of Lisp Scanning Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:41-45 [Conf]
  9. J. N. P. Hume
    Education in Computing Versus User Needs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:47-51 [Conf]
  10. Ira Pohl, Alan Shaw
    Introducing Computer Science - An Alternative. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:53-56 [Conf]
  11. Janis Barzdin, Janis Bicevskis, Audris Kalnins
    Automatic Construction of Complete Sample System for Program Testing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:57-62 [Conf]
  12. Peter Bachmann
    Data-Flow-Analysis in Weakly Interpreted Program-Schemes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:63-68 [Conf]
  13. Jean-François Perrot, Jacques Sakarovitch
    A Theory of Syntactic Monoids for Context-Free Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:69-72 [Conf]
  14. Mats Lundeberg
    Utilization of New Information Systems Development Methods in Practice - Perspectives and Prospects. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:73-78 [Conf]
  15. J. O. Anton, Claude Chrisment, J. B. Crampes, M. F. Debaisieux, J. H. Luguet
    Principles of Computer-Assisted Conception for Automatic Elaboration of a Computerized Information System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:79-84 [Conf]
  16. Tadashi Ishiketa, T. Yokoyama, S. Mandai, N. Takeshima
    A Managerial Decision-Making Tool - Computer Assisted Problem-Solving System (CAPSS). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:85-90 [Conf]
  17. Michel Bernadou
    Conforming Finite Element Methods for Shell Problems with Numerical Integration. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:91-96 [Conf]
  18. Michel Bercovier
    A Family of Finite Elements with Penalisation for the Numerical Solution of Stokes and Navier-Stokes Equations. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:97-101 [Conf]
  19. Owe Axelsson, Uno Nävert
    On a Graphical Package for Nonlinear Partial Differential Equation Problems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:103-108 [Conf]
  20. Mayford L. Roark
    Some Approaches to the Management of Change. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:109-112 [Conf]
  21. Kurt Ziegler Jr.
    Distributed Data Base Where Are You? (A Tutorial). [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:113-115 [Conf]
  22. Andrei P. Ershov, Valery V. Grushetsky
    An Implementation-Oriented Method for Describing Algorithmic Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:117-122 [Conf]
  23. Marie-Claude Gaudel
    A Formal Approach to Translator Specification. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:123-127 [Conf]
  24. Tiko Kameda, Hussein M. Abdel-Wahab
    Optimal Code Generation for Machines with Different Types of Instructions. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:129-132 [Conf]
  25. T. S. E. Maibaum
    Mathematical Semantics and a Model for Data Bases. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:133-138 [Conf]
  26. P. Dell'Orco, V. N. Spadavecchia, Margaret King
    Using Knowledge of a Data Base World in Interpreting Natural Language Queries. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:139-144 [Conf]
  27. Stephen Todd
    Automatic Constraint Maintenance and Updating Defined Relations. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:145-148 [Conf]
  28. Mamoru Maekawa
    Interprocess Communications in a Highly Diversified Distributed System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:149-154 [Conf]
  29. Gérard Le Lann
    Distributed Systems - Towards a Formal Approach. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:155-160 [Conf]
  30. Toshiyuki Sakai, Tsunetoshi Hayashi, Shigeyoshi Kitazawa, Koichi Tabata, Takeo Kanade
    Inhouse Computer Network Kuipnet. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:161-166 [Conf]
  31. Mamoru Hosaka, Fumihiko Kimura
    An Interactive Geometrical Design System with Handwriting Input. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:167-172 [Conf]
  32. Teus Hagen, Paul J. W. ten Hagen, Paul Klint, Han Noot
    The Intermediate Language for Pictures. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:173-178 [Conf]
  33. Eric D. Carlson, Gary M. Giddings, Robin Williams
    Multiple Colors and Image Mixing in Graphics Terminals. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:179-182 [Conf]
  34. Graziano Frosini, Francesco M. Viterbo
    Computing the Frequency of a Sampled Sinusoidal Function. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:183-187 [Conf]
  35. David F. Shanno, Kang-Hoh Phua
    Inexact Step Lengths and Quasi-Newton Methods. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:189-193 [Conf]
  36. Jonas Mockus
    On Bayesian Methods for Seeking the Extremum and their Application. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:195-200 [Conf]
  37. J. Hebenstreit
    New Trends and Related Problems in Computer-Based Education. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:201-208 [Conf]
  38. Philippe Masse, Jean-Claude Sabonnadiere
    Introduction of Computer Aided Design in an Educational System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:209-212 [Conf]
  39. Robert I. Tricker
    The Impact of Information Systems on Organisational Thinking. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:213-221 [Conf]
  40. Emilio Bartezzaghi, Claudio Ciborra, Paolo Romano 0001, Piercarlo Maggiolini
    Information Systems and Organization - Empirical Findings Regarding the Introduction of Computers in Manufacturing Firms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:223-227 [Conf]
  41. Gregor von Bochmann, Jan Gecsei
    A Unified Method for the Specification and Verification of Protocols. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:229-234 [Conf]
  42. Lawrence Van Sickle, K. Mani Chandy
    Computational Complexity of Network Design Algorithms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:235-239 [Conf]
  43. D. A. Hutchison, J. Spruce Riordon, Samy A. Mahmoud
    A Recursive Algorithm for Deadlock Preemption in Computer Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:241-246 [Conf]
  44. Josef Kittler
    The Discriminant Function Approach to Classification of Incomplete Pattern Vectors. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:247-251 [Conf]
  45. Mario Borillo, Luis Fariñas del Cerro, Jacques Virbel
    Validation Problems in Pattern Recognition Study of a Particular Case. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:253-257 [Conf]
  46. V. M. Glushkov, A. I. Nikitin, I. V. Sergienko
    Problems of Plating-Line Scheduling. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:259- [Conf]
  47. Richard L. Nolan
    Restructuring the Data Processing Organization for Data Resource Management. [Citation Graph (1, 0)][DBLP]
    IFIP Congress, 1977, pp:261-265 [Conf]
  48. J. Hatvany
    Trends and Developments in Computer-Aided Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:267-271 [Conf]
  49. Frank M. Lillehagen, Jørn Øian, Jan F. Mack
    Focusing on the Internal Mode in CAD and CAM Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:273-278 [Conf]
  50. J. W. de Bakker
    Semantics and the Foundations of Program Proving. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:279-284 [Conf]
  51. Andrzej Blikle
    An Analytic Approach to the Verification of Iterative Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:285-290 [Conf]
  52. Christian Galtier
    An Allocation Algorithm for Multi-Micro Computers Using Array Structured Data. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:291-296 [Conf]
  53. Ian H. Witten
    Software for Speech Output. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:297-301 [Conf]
  54. James M. Boyle, Kenneth W. Dritz, Oleg B. Arushanian, Yuri V. Kuchevsky
    Program Generation and Transformation - Tools for Mathematical Software Development. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:303-308 [Conf]
  55. Wyn L. Price
    Adaptive Routing in Store-and-Forward Networks and the Importance of Load Splitting. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:309-313 [Conf]
  56. J. W. Wong, M. S. Unsoy
    Analysis of Flow Control in Switched Data Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:315-320 [Conf]
  57. Harry Rudin
    On Alternate Routing in Circuit-Switched Data Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:321-326 [Conf]
  58. G. M. Nijssen
    On the Gross Architecture for the Next Generation Database Management System. [Citation Graph (1, 0)][DBLP]
    IFIP Congress, 1977, pp:327-335 [Conf]
  59. Norman R. Nielsen, Brian Ruder
    Computer System Integrity Safeguards. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:337-342 [Conf]
  60. B. Varet, F. Allorent, J. P. Levy, N. Salame, F. M. Blondel, J. F. Boyer
    Comparison Between a Prescribed and a Permissive Process in Computer Assisted Training in Decision Making. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:343-346 [Conf]
  61. Reind P. van de Riet
    BASIS - An Interactive System for the Introductory Course in Informatics. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:347-351 [Conf]
  62. N. N. Krasovskii
    Control under Incomplete Information. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:353-365 [Conf]
  63. Michel Clerget
    Realizations of Two Dimensional Recursive Filters. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:367-371 [Conf]
  64. James N. Hanson
    The Analysis of CAMS by Computer Aided Algebraic and Symbol Manipulation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:373-376 [Conf]
  65. Alina Golka
    A Computer System for the Synthesis of Reinforced Concrete Frames. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:377-381 [Conf]
  66. Gérard Courtieux, Daniel Guibert
    Using a Conversational Translator Writing System for Generating Computer Aided Design Systems in Architecture. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:383-387 [Conf]
  67. Hermann Helbig
    A New Method for Deductive Answer Finding in a Question-Answering System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:389-393 [Conf]
  68. Mayer D. Schwartz, Dorothy E. Denning, Peter J. Denning
    Securing Data Bases under Linear Queries. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:395-398 [Conf]
  69. Klaus-Dieter Krägeloh, Peter C. Lockemann
    Top-Down Optimization in Multi-Level Data Base Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:399-404 [Conf]
  70. Algirdas Avizienis
    Fault-Tolerant Computing-Progress, Problems and Prospects. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:405-420 [Conf]
  71. Kumar Subramanian
    A Model for Concurrent Diagnosis in a Microprogrammable System Using a Dynamic Test Scheme. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:421-426 [Conf]
  72. Paul V. Mockapetris, Michael Lyle, David J. Farber
    On the Design of Local Network Interfaces. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:427-430 [Conf]
  73. Ernst A. Rothauser, D. Wild
    MLMA-A Collision-Free Multi-Access Method. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:431-436 [Conf]
  74. Michael L. Ford
    Business Problems in Planning of International Data Communications Networks. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:437-439 [Conf]
  75. Gerard Salton, Donna Bergmark
    Clustered File Generation and its Application to Computer Science Taxonomies. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:441-445 [Conf]
  76. Giuseppe Pelagatti, Paolo Paolini, Giampio Bracchi
    Mappings in Database Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:447-452 [Conf]
  77. Ephrem S. Dorkenoo, Michel Lemaître, Michel Lemoine
    A Procedural Language for the Relational Data Base Management System "Syntex". [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:453-457 [Conf]
  78. Paul Baran
    Some Perspectives on Networks-Past, Present and Future. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:459-464 [Conf]
  79. Hubert Zimmermann
    The Cyclades Experience-Results and Impacts. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:465-469 [Conf]
  80. N. A. Yannacopoulos, Roland N. Ibbett, R. W. Holgate
    Performance Measurements of the MU5 Primary Instruction Pipeline. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:471-476 [Conf]
  81. Simon H. Lavington, Alan E. Knowles
    Assessing the Power of an Order Code. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:477-480 [Conf]
  82. Anthony E. Krzesinski, S. Gerber, Peter Teunissen
    A Multiclass Network Model of a Multiprogramming Timesharing Computer System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:481-486 [Conf]
  83. J. A. van Hulzen, R. P. Hettich
    Approximation with a Class of Rational Functions. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:487-492 [Conf]
  84. David Y. Y. Yun
    Fast Algorithm for Rational Function Integration. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:493-498 [Conf]
  85. Sady Maurin
    An Application of a Component by Component Splitting up Scheme to the Hamilton-Jacobi Equation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:499-502 [Conf]
  86. Paul A. Strassmann
    Organisational Productivity-The Role of Information Technology. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:503-508 [Conf]
  87. C. Ian McGibbon, Howard Gibbs
    DATAPAC - A Phased Approach to the Introduction of Public Packet-Switched Network. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:509-513 [Conf]
  88. Louis Pouzin
    Packet Networks-Issues and Choices. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:515-521 [Conf]
  89. Peter Henderson
    An Approach to Compile-Time Type Checking. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:523-527 [Conf]
  90. George Poonen
    Error Recovery for LR(k) Parsers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:529-533 [Conf]
  91. Harald Ganzinger, Knut Ripken, Reinhard Wilhelm
    Automatic Generation of Optimizing Multipass Compilers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:535-540 [Conf]
  92. Lawrence G. Roberts
    Packet Network Design-The Third Generation. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:541-546 [Conf]
  93. Leonard Kleinrock
    Performance of Distributed Multi-Access Computer-Communication Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:547-552 [Conf]
  94. Dennis G. Kafura
    Task Scheduling with Critical Section Constraints. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:553-557 [Conf]
  95. Gianfranco Balbo, Steven C. Bruell, Herbert D. Schwetman
    Customer Classes and Closed Network Models-A Solution Technique. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:559-564 [Conf]
  96. Kenneth C. Sevcik
    Priority Scheduling Disciplines in Queuing Network Models of Computer Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:565-570 [Conf]
  97. Eduardo A. Jordan
    A Support for Program Design with Abstract Machines. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:571-575 [Conf]
  98. K. Jackson
    Language Design for Modular Software Construction. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:577-581 [Conf]
  99. Shoji Shinozawa, Hiroosa Ikeda, Atsushi Nakashima, Masamitsu Watanabe
    Pseudo-Languages and their Pre-Processors. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:583-587 [Conf]
  100. Edgar H. Sibley
    The Impact of Database Technology on Business Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:589-596 [Conf]
  101. Bernard Levrat
    The Impact of Education in Computing on Science. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:597-600 [Conf]
  102. John R. Abrahams, George De Wolf
    Experience with a Computer-Assisted Training System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:601-605 [Conf]
  103. Kwan Chi Leung, C. Michel, P. Le Beux
    Logical Systems Design using PLAs and Petri Nets Programmable Handwired Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:607-611 [Conf]
  104. Emilio Luque Fadon, Lorenzo Moreno Ruiz, José F. Tirado Fernandez
    A Multilingual High Level Processor. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:613-618 [Conf]
  105. Mark G. Karpovsky, E. A. Trachtenberg
    Linear Checking Equations and Error-Correcting Capability for Computation Channels. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:619-623 [Conf]
  106. Frederick P. Brooks Jr.
    The Computer "Scientist" as Toolsmith-Studies in Interactive Computer Graphics. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:625-634 [Conf]
  107. Michael E. Senko
    FORAL LP - Making Pointed Queries with a Light Pen. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:635-640 [Conf]
  108. Ian P. Sharp
    Interactive Approaches to Corporate Planning and Control with Particular Reference to the use of APL. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:641-642 [Conf]
  109. Tetsuo Ida, Eiichi Goto
    Performance of Parallel Hash Hardware with Key Deletion. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:643-647 [Conf]
  110. Jonathan L. Bondy, David N. Freeman
    Putting Supervisory Routines into Hardware. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:649-653 [Conf]
  111. Gareth Thomas, Andrei G. Necula
    Multidimensional Array Accessing in the MU5 Computer. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:655-659 [Conf]
  112. Hanan Samet
    A New Approach to Evaluating Code Generation in a Student Environment. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:661-665 [Conf]
  113. Alexandre Andreewsky, Fathi Debili, Christian Fluhr
    Computational Learning of Semantic Lexical Relations for the Generation and Automatical Analysis of Content. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:667-672 [Conf]
  114. Behrooz Parhami, Farhad Mavaddat
    Computers and the Farsi Language-A Survey of Problem Areas. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:673-676 [Conf]
  115. Paul A. Fortier, Donald Keeping
    Another Face of Computing-Service to the Blind. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:677-682 [Conf]
  116. T. R. Natesan, N. Sabapathy, K. Viswanathan
    Optimization of Selection and Allocation of Candidates to Professional Colleges in India. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:683-688 [Conf]
  117. Jack Foisseau, René Jacquart, François-Régis Valette
    Means and Levels of Knowledge Representation in the CAD System Germinal. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:689-694 [Conf]
  118. Nicholas Negroponte
    On Being Creative with Computer Aided Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:695-704 [Conf]
  119. Michel R. Klein
    Finsim - A Decision Support System for Financial Planning and Engineering. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:705-710 [Conf]
  120. J. A. M. Wolters
    Computer Based Planning and Modelling System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:711-716 [Conf]
  121. Trygve Reenskaug
    Prokon/Plan-A Modelling Tool for Project Planning and Control. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:717-721 [Conf]
  122. Edward A. Ashcroft, William W. Wadge
    Intermittent Assertion Proofs in Lucid. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:723-726 [Conf]
  123. Paul Pritchard
    Program Proving-Expression Languages. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:727-731 [Conf]
  124. Robert L. Constable
    A Constructive Programming Logic. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:733-738 [Conf]
  125. Takanobu Baba
    A Microprogram Generating System-MPG. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:739-744 [Conf]
  126. Subrata Dasgupta
    Parallelism in Loop-Free Microprograms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:745-750 [Conf]
  127. Jean-Loup Baer, M. Fries
    On the Efficiency of Some List Marketing Algorithms. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:751-756 [Conf]
  128. M. A. Gavrilov
    Automation of Electronic and Microelectronic Design. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:757-775 [Conf]
  129. Noah S. Prywes, Yung Chang, Cihan Tinaztepe
    NOPAL - Automated Design and Programming of Testing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:777-782 [Conf]
  130. David C. Luckham
    Program Verification and Verification Oriented Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:783-793 [Conf]
  131. Malcolm C. Newey
    Proving Properties of Assembly Language Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:795-799 [Conf]
  132. Maurice Landry, Jean-Louis Le Moigne
    Towards a Theory of Organizational Information System-A General System Perspective. [Citation Graph (1, 0)][DBLP]
    IFIP Congress, 1977, pp:801-805 [Conf]
  133. Vladimir Dimitrov, Lilly D. Driankova
    Programme System for Social Choice under Fuzzy Managing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:807-811 [Conf]
  134. Enrique A. Calderon, Teresa A. Sobrino, Jose Luis A. Frias
    GEO-XI-A Socioeconomic Laboratory for Planning Agencies. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:813-817 [Conf]
  135. Derrick Morris, G. R. Frank, Colin J. Theaker
    Machine-Independent Operating Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:819-825 [Conf]
  136. Alfons J. Jammel, Helmut G. Stiegler
    Managers Versus Monitors. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:827-830 [Conf]
  137. Gerd Wechsung
    A Nonlinear Lower Bound for the Formula Complexity of Certain Boolean Functions. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:831-833 [Conf]
  138. Donald A. Alton
    "Natural" Complexity Measures and a Subrecursive Speed-up Theorem. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:835-838 [Conf]
  139. Rusins Freivalds
    Probabilistic Machines Can Use Less Running Time. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:839-842 [Conf]
  140. Erik L. Dagless
    A Multiprocessor - CYBA-M. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:843-848 [Conf]
  141. Arvind, Kim P. Gostelow
    A Computer Capable of Exchanging Processors for Time. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:849-853 [Conf]
  142. Shinji Tomita, Kiyoshi Shibayama, Shigeru Oyanagi, Hiroshi Hagiwara
    Hardware Organization of a Low Level Parallel Processor. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:855-860 [Conf]
  143. David Lorge Parnas
    The Use of Precise Specification in the Development of Software. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:861-867 [Conf]
  144. Anita K. Jones
    The Narrowing Gap Between Language Systems and Operating Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:869-873 [Conf]
  145. Ivan Kadar, Péter Kovács
    Management Information System on the Level of Hungarian Government. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:875-877 [Conf]
  146. V. P. Lane, R. A. Danes
    Organization Based Structure of Financial Planning and Control System. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:879-883 [Conf]
  147. Zsuzsanna Markusz
    How to Design Variants of Flats Using Programming Language PROLOG Based on Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:885-889 [Conf]
  148. Henri G. Marchand
    Algorithmic Macro Design System for Shift Registers. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:891-895 [Conf]
  149. D. B. Jarvis
    LSI by CAD Out of Daisy. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:897-900 [Conf]
  150. David J. Lewis
    System Quality Through Development Audit. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:901-904 [Conf]
  151. K. K. Wong
    A New Approach for Risk Analysis and Control - The UK Experience. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:905-910 [Conf]
  152. H. J. Will, H. Brussel
    ACL - A Conversational Language for Audit Intelligence. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:911-915 [Conf]
  153. Jacques-Louis Lions
    Numerical Methods for Variational Inequalities Applications in Physics and in Control Theory. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:917-924 [Conf]
  154. Claudia Lidia Simionescu
    Computational Aspects for a Control Problem. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:925-928 [Conf]
  155. Toshio Nishimura
    Formalization of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:929-937 [Conf]
  156. Keith L. Clark, Sten-Åke Tärnlund
    A First Order Theory of Data and Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:939-944 [Conf]
  157. James C. Emery
    Managerial and Economic Issues in Distributed Computing. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:945-955 [Conf]
  158. Rein Turn
    Implementation of Privacy Protection Requirements. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:957-962 [Conf]
  159. Juris Reinfelds, Carlo E. Vandoni
    Sigma 76. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:963-968 [Conf]
  160. Richard G. Hamlet
    Single-Language Small-Processor Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:969-974 [Conf]
  161. Jean G. Vaucher, Normand Rochon
    PL4 - A Low Level Language with Class. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:975-979 [Conf]
  162. Pierre Robert, Jean-Pierre Verjus
    Toward Autonomous Descriptions of Synchronization Modules. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:981-986 [Conf]
  163. Carl Hewitt, Henry G. Baker
    Laws for Communicating Parallel Processes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:987-992 [Conf]
  164. Gilles Kahn, David B. MacQueen
    Coroutines and Networks of Parallel Processes. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1977, pp:993-998 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002