Wyniki wyszukiwania:

Dieses Buch bringt Ihnen die Robotic Process Automation in der Finanzwirtschaft näher

In der Finanzbranche ist das Thema Prozessautomatisierung seit Jahren nicht mehr wegzudenken. Doch wie setzt man solche Veränderungen im Rahmen des Changemanagements erfolgreich und effizient um?

Das Buch „Robotic Process Automation in der Finanzwirtschaft“ zeigt es Ihnen. Im Fokus steht der recht junge RPA-Ansatz aus der Intelligent Automation. Dabei imitieren Roboter das menschliche Handeln. Die Eingabe von Befehlen erfolgt direkt über die Oberfläche. So gehören tiefgreifende...

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and...