Listing 1 - 10 of 222 | << page >> |
Sort by
|
Choose an application
Ergodic theory. Information theory --- Complex analysis --- Computer science --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- coderen --- complexe analyse (wiskunde) --- database management --- programmatielogica --- robots --- informatietheorie
Choose an application
Human sciences (algemeen) --- Information systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- grafische vormgeving --- informatica --- multimedia --- sociale wetenschappen --- informatiesystemen --- KI (kunstmatige intelligentie) --- robots --- AI (artificiële intelligentie)
Choose an application
Complex analysis --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- complexe analyse (wiskunde) --- programmeren (informatica) --- informatiesystemen --- database management --- software engineering --- computernetwerken
Choose an application
Complex analysis --- Programming --- Computer architecture. Operating systems --- Information systems --- Computer. Automation --- ICT (informatie- en communicatietechnieken) --- complexe analyse (wiskunde) --- informatica --- programmeren (informatica) --- informatiesystemen --- software engineering --- computerbeveiliging --- computernetwerken
Choose an application
Mathematical logic --- Mathematics --- Computer science --- Computer architecture. Operating systems --- algebra --- toegepaste informatica --- informatica --- wiskunde --- logica
Choose an application
Choose an application
Mathematical logic --- Logic --- Mathematics --- Molecular biology --- Programming --- Computer architecture. Operating systems --- machinetalen --- informatica --- ontwerpen --- computerbesturingssystemen --- programmeren (informatica) --- hersenonderzoek --- logica --- architectuur (informatica) --- moleculaire biologie
Choose an application
This book constitutes the thoroughly refereed papers presented at five international workshops held in conjunction with the 5th International Conference on Service-Oriented Computing, ICSOC 2007, in Vienna, Austria, in September 2007. The five workshops were selected out of eight submissions. The volume contains papers presented at the First International Workshop on Web APIs and Services Mashups (Mashups 2007), the Workshop on Non-Functional Properties and Service Level Agreements in Service-Oriented Computing (NFPSLA-SOC 2007), the 2nd International Workshop on Business-Oriented Aspects Concerning Semantics and Methodologies in Service-Oriented Computing (SeMSoC 2007), the First International Workshop on Telecom Service-Oriented Architectures (TSOA 2007) and the Third International Workshop on Engineering Service-Oriented Applications (WESOA 2007). The papers offer a wide range of hot topics in service-oriented computing: development of mashups; management of non-functional properties and service level agreements; engineering approaches; semantic methodologies; and telecom services and service architectures.
Choose an application
The book constitutes the refereed proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2009, held in Savannah, GA, USA, in January 2009 - co-located with POPL 2009, the 36th Annual Symposium on Principles of Programming Languages. The 24 revised full papers presented together with 3 invited talks and 2 invited tutorials were carefully reviewed and selected from 72 submissions. The papers address all current issues from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine the three areas.
Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- software engineering
Choose an application
This book constitutes the thoroughly refereed post workshop proceedings of the 6th International Workshop on Approximation and Online Algorithms, WAOA 2008, held in Karlsruhe, Germany, in September 2008 as part of the ALGO 2008 conference event. The 22 revised full papers presented were carefully reviewed and selected from 56 submissions. The workshop covered areas such as algorithmic game theory, approximation classes, coloring and partitioning, competitive analysis, computational finance, cuts and connectivity, geometric problems, inapproximability results, mechanism design, network design, packing and covering, paradigms for design and analysis of approximation and online algorithms, randomization techniques, real-world applications, and scheduling problems.
Complex analysis --- Discrete mathematics --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- discrete wiskunde --- complexe analyse (wiskunde) --- grafische vormgeving --- informatica --- database management --- programmatielogica --- algoritmen --- KI (kunstmatige intelligentie) --- numerieke analyse --- AI (artificiële intelligentie)
Listing 1 - 10 of 222 | << page >> |
Sort by
|