Søkt på: computer programming
totalt 511 treff
Formal Methods in Programming and Their Applications
This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in …
Automata, Languages and Programming
This volume contains the proceedings of the 14th International Colloquium on Automata Languages and Programming, organized by the European Association for Theoretical Computer …
Advanced Functional Programming
This volume presents the tutorials given during the First International Spring School on Advanced Functional Programming Techniques, held in Bastad, Sweden in May 1995.The last few …
Programming Language Implementation and Logic Programming
This volume constitutes the proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming (PLILP '94), held in Madrid, Spain in …
Distributed Programming Paradigms with Cryptography Applications
This monograph describes a programming methodology based upon programming paradigms and generic programs and demonstates how distributed application programs can be developed by …
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The 2nd International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems …
Logic Programming
This volume contains the proceedings of the 21st International Conference on Logic Programming which was held in Sitges (Barcelona), Spain, from October 2nd to 5th, 2005. The …
Logic for Programming and Automated Reasoning
This volumecontains the papers presentedatthe SeventhInternationalC- ference on Logicfor Programmingand Automated Reasoning (LPAR 2000)held …
Automata, Languages and Programming
The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP 2008, held in …
Database Programming Languages
This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Database Programming Languages, DBPL-6, held in Estes Park, Colorado, …