Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 25 | << page >> |
Sort by
|
Book
ISBN: 9637490124 9789637490125 Year: 2005 Publisher: Budapest : HVG-ORAC,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
European federation --- Construction européenne --- European Union --- European Union countries --- Pays de l'Union européenne --- Social policy --- Economic policy --- Politique sociale --- Politique économique --- Construction européenne --- Pays de l'Union européenne --- Politique économique --- European Union.
Film
Year: 2008 Publisher: Genève: Nasdady Film,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Quatre films d'animations du fameux animateur genevois Zoltán Horváth, ayant tous remportés de nombreux prix.
Digital
ISBN: 9783540468455 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering
Book
ISBN: 9783540468455 Year: 2006 Publisher: Berlin Heidelberg Springer-Verlag GmbH.
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume presents the revised texts of lecture notes of selected lectures given at the First Central European Functional Programming School, CEFP 2005, held July 4-15, 2005 at E¨ otv¨ os Lor´ and University, Budapest, Hungary. The summer school was organized according to the traditions of the - vanced functional programming schools. CEFP focuses on participants in C- tral Europe to involve more and more students, researchers and teachers from central/easternEuropean countriesin functional programming.We were glad to welcomethe invitedlecturersandtheparticipants:20professorsand48students from 15 di?erent universities and sta? members of Ericsson Hungary. The - tensive programme o?ered a very good environment and opportunity to present and exchange ideas in new topics in the ?eld of functional programming. The lectures covered a wide range of topics: new programming language concepts for subtyping, distributed computing, resource bounded computations, refactoring, veri?cation, testing, generic programming of Web applications, the essence of data?ow programming, patterns, as well as industrial applications in Erlang. We are very grateful to the lecturers, all excellent researchers in functional programming, for the time and e?ort they devoted to their lectures and writing the revised notes. The revised notes were each carefully checked by readers - lected from among the most quali?ed available and then revised once more by the lecturers. TheProgrammeCommitteemembersRinusPlasmeijerandKevinHammond provided invaluable support in selecting the invited lecturers and referees, c- piling the program and editing the proceedings.
Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering
Book
ISBN: 9783319159409 3319159399 9783319159393 3319159402 Year: 2015 Publisher: Cham : Springer International Publishing : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume presents the revised lecture notes of selected talks given at the Fifth Central European Functional Programming School, CEFP 2013, held in July 2013 in Cluj-Napoca, Romania. The 14 revised full papers presented were carefully reviewed and selected. The lectures cover a wide range of distributed and multicore functional programming subjects. The last 5 papers are selected papers of the PhD Workshop organized for the participants of the summer school.
Computer Science. --- Programming Techniques. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Computer science. --- Software engineering. --- Logic design. --- Informatique --- Génie logiciel --- Structure logique --- Engineering & Applied Sciences --- Computer Science --- Computer programming. --- Programming languages (Electronic computers). --- Computer logic. --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Functional programming (Computer science) --- Compilers (Computer programs). --- Compilers and Interpreters. --- Computer Science Logic and Foundations of Programming. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
ISSN: 03029743 ISBN: 3540468439 9783540468431 3540468455 Year: 2006 Volume: 4164 Publisher: Berlin ; New York : Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Functional programming (Computer science) --- Programmation fonctionnelle --- Computer science. --- Computer programming. --- Software engineering. --- Programming languages (Electronic computers). --- Computer Science. --- Programming Techniques. --- Programming Languages, Compilers, Interpreters. --- Software Engineering. --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Computer software engineering --- Engineering --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Informatics --- Science --- Programming --- Information Technology --- Computer Science (Hardware & Networks) --- Functional programming (Computer science) - Congresses. --- Compilers (Computer programs). --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Book
ISBN: 3030283461 3030283453 Year: 2019 Publisher: Cham : Springer International Publishing : Imprint: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
This volume presents the revised lecture notes of selected talks given at the 6th Central European Functional Programming School, CEFP 2015, held in July 2015, in Budapest, Hungary. The 10 revised full papers presented were carefully reviewed and selected. The lectures covered a wide range of functional programming and C++ programming subjects. .
Computer science. --- Artificial intelligence. --- Database management. --- Software engineering. --- Programming Techniques. --- Artificial Intelligence. --- Database Management. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Computer software engineering --- Engineering --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Electronic data processing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Informatics --- Science --- Functional programming (Computer science) --- Computer programming --- Computer programming. --- Programming languages (Electronic computers). --- Computers --- Electronic computer programming --- Electronic digital computers --- Programming (Electronic computers) --- Coding theory --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Programming --- Compilers (Computer programs). --- Compilers and Interpreters. --- Compiling programs (Computer programs) --- Computer programs --- Programming software --- Systems software
Book
ISBN: 9789639911116 Year: 2010 Volume: 3 Publisher: Budapest : Archaeolingua,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Digital
ISBN: 9783540741305 Year: 2007 Publisher: Berlin, Heidelberg Springer-Verlag Berlin Heidelberg
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Programming --- programmeren (informatica) --- programmeertalen
| Listing 1 - 10 of 25 | << page >> |
Sort by
|