Listing 1 - 7 of 7 |
Sort by
|
Choose an application
Deze praktische gids, voor beginners én gevorderden, bevat drie uitgebreide hoofdstukken met de volgende onderwerpen: foto's nemen, beeldbewerking en uitvoer en opslag. Elk hoofdstuk bevat een aanzienlijke lijst met onderwerpen - die telkens op twee pagina's - compleet uit de doeken gedaan worden. Aan de hand van heldere teksten en ondersteunende foto's in kleur krijgt de lezer voldoende informatie om meteen met de eigen camera en/of pc aan de slag te gaan. Met deze drietrapsraket toont dit kleurrijke boek het totaaltraject van digitale fotografie: van camerakeuze tot cameratechniek, van ruw bestand tot prachtig eindresultaat en tot slot een adembenemende afdruk en/of presentatie. Het boek is overzichtelijk van opzet en tot in de puntjes verzorgd. Deze uitgave geeft een goed beeld van wat digitale fotografie op dit moment te bieden heeft. Achterin bevindt zich naast het register een woordenlijst en een lijst met interessante websites. Daardoor verdient het zeker ook de rol als volwaardig naslagwerk.
Choose an application
Choose an application
Choose an application
Formal methods (Computer science) --- Software engineering --- Méthodes formelles (Informatique) --- Génie logiciel --- Congresses --- Congrès --- Computer Science --- Engineering & Applied Sciences --- Méthodes formelles (Informatique) --- Génie logiciel --- Congrès --- Computer science. --- Software engineering. --- Programming languages (Electronic computers). --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Programming Languages, Compilers, Interpreters. --- Logics and Meanings of Programs. --- Logic design. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Informatics --- Science --- Computer software engineering --- Engineering --- Computer science logic --- Logic, Symbolic and mathematical --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Formal methods (Computer science) - Congresses --- Software engineering - Congresses --- Programming languages (Electronic computers)
Choose an application
This volume contains a record of the lectures given at the ICTAC Training School on Domain Modelling and Duration Calculus, held during the 17th-21st September 2007 in Shanghai. The School was organised by East China Normal University, UNU-IIST, and the University of York as part of the celebrations of the 70th birthdays of Dines Bjørner and Zhou Chaochen. There were two associated events: - Essays in Honour of Dines Bjørner and Zhou Chaochen on the Occasion of their 70th Birthdays. Papers presented at a Symposium held in Macao on 24th & 25th September 2007. LNCS volume 4700. Springer 2007. - Proceedings of the International Colloquium on Theoretical Aspects of C- puting. Held in Macao during 26th-28th September 2007. LNCS volume 4711. Springer 2007. The school is aimed at postgraduate students, researchers, academics, and industrial software engineers who are interested in the state of the art in these topics. No previous knowledge of the topics involved is assumed. Two of the courses are in the area of domain engineering (and in formal, abstract modelling in general) and two are in the area of duration calculus; the ?fth links the two areas. The ?ve courses are taught by experts in these ?elds from Europe and Asia. We are happy to acknowledge sponsorship from the following organisations: - China International Talent Exchange Foundation - East China Normal University - United Nations University International Institute for Software Technology - University of York The proceedings weremanagedand assembledusing theEasyChair conference management system.
Choose an application
Real-time data processing --- Computer logic --- Programming languages (Electronic computers) --- Temps réel --- Logique informatique --- Langages de programmation --- Congresses. --- Semantics --- Congrès --- Sémantique --- Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computer communication systems. --- Architecture, Computer. --- Software engineering. --- Algorithms. --- Computer logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Computer System Implementation. --- Logics and Meanings of Programs. --- Software Engineering. --- Computer Communication Networks. --- Algorithm Analysis and Problem Complexity. --- Computer software engineering --- Engineering --- Architecture, Computer --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Informatics --- Science --- Foundations --- Distributed processing --- Computer network architectures. --- Logic design. --- Computer software. --- Software, Computer --- Computer systems --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Computer systems. --- Computer networks. --- Computer Science Logic and Foundations of Programming. --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer
Choose an application
Computer software. Development --- Software engineering --- Software engineering. --- Computer software
Listing 1 - 7 of 7 |
Sort by
|