Heribert Vollmer – författare
Visar alla böcker från författaren Heribert Vollmer. Handla med fri frakt och snabb leverans.
13 produkter
Dependence Logic
Theory and Applications
Av Samson Abramsky, Juha Kontinen m. fl.
Inbunden, 2016
551 kr
Lägg i varukorg
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The …
Dependence Logic
Theory and Applications
Av Heribert Vollmer, Jouko Vaananen m. fl.
E-bok, 2016
718 kr
Lägg i varukorg
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The …
Dependence Logic
Theory and Applications
Av Samson Abramsky, Juha Kontinen m. fl.
Häftad, 2018
551 kr
Lägg i varukorg
In this volume, different aspects of logics for dependence and independence are discussed, including both the logical and computational aspects of dependence logic, and also applications in a number of areas, such as statistics, social choice theory, databases, and computer security. The …
Introduction to Circuit Complexity
A Uniform Approach
Inbunden, 1999
850 kr
Lägg i varukorg
An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.
Taschenbuch der Algorithmen
Av Berthold Vöcking, Helmut Alt m. fl.
Häftad, 2008
480 kr
Lägg i varukorg
Hinter vielen Programmen stecken clevere Verfahren, die man als Algorithmen bezeichnet. Algorithmen lösen nicht nur mathematische Aufgaben, die sich mit Zahlen beschäftigen, sondern auch andere, ganz alltägliche Problemstellungen, bei denen logischer Spürsinn, räumliche Orientierung oder …
Taschenbuch der Algorithmen
Av Dorothea Wagner, Heribert Vollmer m. fl.
E-bok, 2008
504 kr
Lägg i varukorg
Hinter vielen Programmen stecken clevere Verfahren, die man als Algorithmen bezeichnet. Algorithmen lösen nicht nur mathematische Aufgaben, die sich mit Zahlen beschäftigen, sondern auch andere, ganz alltägliche Problemstellungen, bei denen logischer Spürsinn, räumliche Orientierung oder …
Complexity of Constraints
An Overview of Current Research Themes
Av Nadia Creignou, Phokion G. Kolaitis m. fl.
Häftad, 2008
569 kr
Lägg i varukorg
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the …
Complexity of Constraints
An Overview of Current Research Themes
Av Heribert Vollmer, Phokion G. Kolaitis m. fl.
E-bok, 2008
734 kr
Lägg i varukorg
Nowadays constraint satisfaction problems (CSPs) are ubiquitous in many different areas of computer science, from artificial intelligence and database systems to circuit design, network optimization, and theory of programming languages. Consequently, it is important to analyze and pinpoint the …
Introduction to Circuit Complexity
A Uniform Approach
Häftad, 2010
825 kr
Lägg i varukorg
An advanced textbook giving a broad, modern view of the computational complexity theory of boolean circuits, with extensive references, for theoretical computer scientists and mathematicians.
Algorithms Unplugged
Av Berthold Vöcking, Helmut Alt m. fl.
Inbunden, 2011
1207 kr
Lägg i varukorg
Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient …
Algorithms Unplugged
Av Dorothea Wagner, Heribert Vollmer m. fl.
E-bok, 2010
1587 kr
Lägg i varukorg
Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient …
Algorithms Unplugged
Av Berthold Vöcking, Helmut Alt m. fl.
Häftad, 2016
1207 kr
Lägg i varukorg
Algorithms specify the way computers process information and how they execute tasks. Many recent technological innovations and achievements rely on algorithmic ideas – they facilitate new applications in science, medicine, production, logistics, traffic, communi¬cation and entertainment. Efficient …