X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Book
    Book
    Production planning in automated manufacturing / (1996)
    Berlin [u.a.] :Springer,
    Details
    UID:
    almafu_BV010885445
    Format: X, 239 S. : graph. Darst.
    Edition: 2., rev. and enl. ed.
    ISBN: 3-540-61359-5
    Note: Literaturverz. S. 225 - 239
    Language: German
    Subjects: Engineering , Economics
    RVK:
    QP 505
    RVK:
    ZM 9200
    Keywords: CIM ; PPS ; Produktion ; Automation ; Produktionsplanung ; Mathematische Methode ; Hochschulschrift ; Hochschulschrift
    URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007278994&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
    URL: Inhaltsverzeichnis
    Author information: Crama, Yves 1958-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    FU Berlin get availability status
    EUV Frankfurt get availability status
    BTU Cottbus get availability status
    TU Berlin get availability status
  • 2
    Book
    Book
    Production planning in automated manufacturing (1994)
    Berlin [u.a.] : Springer
    Details
    UID:
    b3kat_BV009671272
    Format: X, 210 S. , graph. Darst.
    ISBN: 3540580824 , 0387580824
    Series Statement: Lecture notes in economics and mathematical systems 414
    Note: Teilw. zugl.: Oerlemans, Alwin G. und Speksma, Frits C., Diss., 1992
    Language: English
    Subjects: Economics , Mathematics
    RVK:
    QP 505
    RVK:
    SI 853
    RVK:
    SK 970
    Keywords: Produktion ; Automation ; Produktionsplanung ; CIM ; PPS ; Mathematische Methode ; Hochschulschrift
    Author information: Crama, Yves 1958-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    EUV Frankfurt get availability status
    BTU Cottbus get availability status
    TU Berlin get availability status
  • 3
    Book
    Book
    Production planning in automated manufacturing / (1994)
    Berlin [u.a.] :Springer,
    Details
    UID:
    almahu_BV009671272
    Format: X, 210 S. : graph. Darst.
    ISBN: 3-540-58082-4 , 0-387-58082-4
    Series Statement: Lecture notes in economics and mathematical systems 414
    Note: Teilw. zugl.: Oerlemans, Alwin G. und Speksma, Frits C., Diss., 1992
    Language: English
    Subjects: Economics , Mathematics
    RVK:
    SI 853
    RVK:
    QP 505
    RVK:
    SK 970
    Keywords: Produktion ; Automation ; Produktionsplanung ; CIM ; PPS ; Mathematische Methode ; Hochschulschrift ; Hochschulschrift
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: Inhaltstext
    Author information: Crama, Yves, 1958-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Stabi Berlin get availability status
    HU Berlin get availability status
    FU Berlin get availability status
  • 4
    Book
    Book
    Boolean models and methods in mathematics, computer science, and engineering / (2010)
    Cambridge [u.a.] :Cambridge Univ. Press,
    Details
    UID:
    almahu_BV036706143
    Format: XVIII, 759 S. : , graph. Darst.
    ISBN: 978-0-521-84752-0
    Series Statement: Encyclopedia of mathematics and its applications 134
    Language: English
    Subjects: Mathematics
    RVK:
    SK 130
    Keywords: Boolesche Algebra ; Statistische Entscheidungstheorie ; Maschinelles Lernen
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: 80
    URL: 13
    URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020624450&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
    URL: Cover
    URL: Inhaltsverzeichnis
    URL: 80
    URL: 13
    URL: Inhaltsverzeichnis
    Author information: Crama, Yves, 1958-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    BTU Cottbus get availability status
  • 5
    Online Resource
    Online Resource
    Boolean models and methods in mathematics, computer science, and engineering / (2010)
    Cambridge ; : Cambridge University Press,
    Details
    UID:
    almafu_9959234310802883
    Format: 1 online resource (xviii, 759 pages) : , digital, PDF file(s).
    ISBN: 1-139-88703-3 , 1-107-26663-7 , 1-107-26694-7 , 1-107-26447-2 , 1-107-27002-2 , 1-107-26338-7 , 0-511-78044-3 , 1-107-26801-X
    Series Statement: Encyclopedia of mathematics and its applications ; 134
    Content: "This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research"--Provided by publisher.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Algebraic structures. Compositions and clones of Boolean functions / , Decomposition of Boolean functions / , Logic. Proof theory / , Probabilistic analysis of satisfiability algorithms / , Optimization methods in logic / , Learning theory and cryptography. Probabilistic learning and Boolean functions / , Learning Boolean functions with queries / , Boolean functions for cryptography and error-correcting codes / , Vectorial Boolean functions for cryptography / , Graph representations and efficient computation models. Binary decision diagrams / , Circuit complexity / , Fourier transforms and threshold circuit complexity / , Neural networks and Boolean functions / , Decision lists and related classes of Boolean functions / , Applications in engineering. Hardware equivalence and property verification / , Synthesis of multi-level Boolean networks / , Boolean aspects of network reliability / , English
    Additional Edition: ISBN 0-521-84752-4
    Additional Edition: ISBN 1-299-70764-5
    Language: English
    URL: https://doi.org/10.1017/CBO9780511780448
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
  • 6
    Book
    Book
    Boolean functions : theory, algorithms, and applications (2011)
    Cambridge [u.a.] : Cambridge Univ. Press
    Details
    UID:
    b3kat_BV039975900
    Format: XXI, 687 S. , graph. Darst.
    ISBN: 0521847516 , 9780521847513
    Series Statement: Encyclopedia of mathematics and its applications 142
    Note: Literaturverz.: S. 635 - 675
    Language: English
    Subjects: Mathematics
    RVK:
    SK 130
    RVK:
    SK 160
    Keywords: Boolesche Funktion ; Algebraische Funktion ; Boolesche Funktion ; Boolesche Algebra
    URL: Cover image
    URL: Inhaltsverzeichnis
    URL: Klappentext
    Author information: Hammer, Peter L. 1936-2006
    Author information: Crama, Yves 1958-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    BTU Cottbus get availability status
    TU Berlin get availability status
  • 7
    Online Resource
    Online Resource
    Production Planning in Automated Manufacturing (1994)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9949198303302882
    Format: X, 214 p. , online resource.
    Edition: 1st ed. 1994.
    ISBN: 9783662004593
    Series Statement: Lecture Notes in Economics and Mathematical Systems, 414
    Content: In this book quantitative approaches are proposed for production planning problems in automated manufacturing. In particular techniques from operations research/combinatorial optimization provide ways to tackle these problems. Special attention is devoted to the efficient use of tools in production planning for automated manufacturing systems. The book presents models and tests solution strategies for different kinds of production decisions. A case study in the manufacturing of printed circuit boards highlights the methodology. This book will help understand the nature of production planning problems emerging in automated manufacturing and show how techniques from operations research may contribute to their solution.
    Note: 1 Automated manufacturing -- 1.1 Introduction -- 1.2 Production planning for FMSs -- 1.3 Overview of the monograph -- 2 Throughput rate optimization in the automated assembly of printed circuit boards -- 2.1 Introduction -- 2.2 Technological environment -- 2.3 The throughput rate optimization problem -- 2.4 Workload balancing -- 2.5 Scheduling of individual machines -- 2.6 An example -- 3 Approximation algorithms for three-dimensional assignment problems with triangle inequalities -- 3.1 Introduction -- 3.2 Complexity of T? and S? -- 3.3 Approximation algorithms -- 3.4 Computational results -- 4 Scheduling jobs of equal length: complexity and facets -- 4.1 Introduction -- 4.2 Complexity of SEL -- 4.3 A partial polyhedral description of SEL -- 4.4 A cutting-plane algorithm for SEL -- 5 A column generation approach to job grouping -- 5.1 Introduction -- 5.2 Lower bounds -- 5.3 Upper bounds -- 5.4 Implementation -- 5.5 Computational experiments -- 5.6 Summary and conclusions -- 6 The job grouping problem for flexible manufacturing systems: some extensions -- 6.1 Introduction -- 6.2 Multiple slots -- 6.3 Multiple machines -- 6.4 Other extensions -- 6.5 Summary and conclusions -- 7 A local search approach to job grouping -- 7.1 Introduction -- 7.2 Local search environment -- 7.3 Local search approaches -- 7.4 Computational experiments -- 7.5 Summary and conclusions -- 8 Minimizing the number of tool switches on a flexible machine -- 8.1 Introduction -- 8.2 Basic results -- 8.3 Heuristics -- 8.4 Computational experiments -- 8.5 Lower bounds -- Appendix: Graph-theoretic definitions -- References.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783662004609
    Additional Edition: Printed edition: ISBN 9783540580829
    Language: English
    Subjects: Economics , Mathematics
    RVK:
    QP 505
    RVK:
    SI 853
    RVK:
    SK 970
    Keywords: Hochschulschrift
    DOI: 10.1007/978-3-662-00459-3
    URL: https://doi.org/10.1007/978-3-662-00459-3
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    HU Berlin
    BTU Cottbus
  • 8
    Online Resource
    Online Resource
    Production Planning in Automated Manufacturing (1996)
    Berlin, Heidelberg :Springer Berlin Heidelberg :
    Details
    UID:
    almahu_9949198420702882
    Format: X, 239 p. , online resource.
    Edition: 2nd ed. 1996.
    ISBN: 9783642802706
    Content: In this book quantitative approaches are proposed for production planning problems in automated manufacturing. In particular, techniques from operations research provide ways to tackle these problems. Special attention is given to the efficient use of tools in automated manufacturing systems. The book presents models and tests solution strategies for different kinds of production decision problems. A case study in the manufacturing of printed circuit boards highlights the methodology. The book will help to understand the nature of production planning problems in automated manufacturing and show how techniques from operations research may contribute to their solution.
    Note: 1 Automated manufacturing -- 1.1 Introduction -- 1.2 Production planning for FMSs -- 1.3 Overview of the monograph -- 2 Throughput rate optimization in the automated assembly of printed circuit boards -- 2.1 Introduction -- 2.2 Technological environment -- 2.3 The throughput rate optimization problem -- 2.4 Workload balancing -- 2.5 Scheduling of individual machines -- 2.6 An example -- 3 Approximation algorithms for three-dimensional assignment problems with triangle inequalities -- 3.1 Introduction -- 3.2 Complexity of T? and S? -- 3.3 Approximation algorithms -- 3.4 Computational results -- 4 Scheduling jobs of equal length: complexity, facets and computational results -- 4.1 Introduction -- 4.2 Complexity of SEL -- 4.3 The LP-relaxation of SEL -- 4.4 More facet-defining and valid inequalities for SEL -- 4.5 A cutting-plane algorithm for SEL -- 5 The tool loading problem: an overview -- 5.1 Introduction -- 5.2 Machine flexibility and tool management -- 5.3 Modeling the magazine capacity constraint -- 5.4 Solving the batch selection problem -- 5.5 Grouping of parts and tools -- 5.6 Tool switching -- 6 A column generation approach to job grouping -- 6.1 Introduction -- 6.2 Lower bounds -- 6.3 Upper bounds -- 6.4 Implementation -- 6.5 Computational experiments -- 6.6 Summary and conclusions -- 7 The job grouping problem for flexible manufacturing systems: some extensions -- 7.1 Introduction -- 7.2 Multiple slots -- 7.3 Multiple machines -- 7.4 Other extensions -- 7.5 Summary and conclusions -- 8 A local search approach to job grouping -- 8.1 Introduction -- 8.2 Local search environment -- 8.3 Local search approaches -- 8.4 Computational experiments -- 8.5 Summary and conclusions -- 9 Minimizing the number of tool switches on a flexible machine -- 9.1 Introduction -- 9.2 Basic results -- 9.3 Heuristics -- 9.4 Computational experiments -- 9.5 Lower bounds -- Appendix: Graph-theoretic definitions -- References.
    In: Springer Nature eBook
    Additional Edition: Printed edition: ISBN 9783642802720
    Additional Edition: Printed edition: ISBN 9783540613596
    Additional Edition: Printed edition: ISBN 9783642802713
    Language: English
    Subjects: Engineering , Economics
    RVK:
    QP 505
    RVK:
    ZM 9200
    DOI: 10.1007/978-3-642-80270-6
    URL: https://doi.org/10.1007/978-3-642-80270-6
    URL: Volltext  (URL des Erstveröffentlichers)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    HU Berlin
    BTU Cottbus
  • 9
    Online Resource
    Online Resource
    Boolean functions : theory, algorithms, and applications (2011)
    Cambridge :Cambridge University Press,
    Details
    UID:
    almafu_9959242012902883
    Format: 1 online resource (xxi, 687 pages) : , digital, PDF file(s).
    Edition: 1st ed.
    ISBN: 1-107-21829-2 , 1-283-12720-2 , 1-139-07459-8 , 9786613127204 , 1-139-08139-X , 1-139-07684-1 , 1-139-06880-6 , 1-139-07912-3 , 0-511-85200-2
    Series Statement: Encyclopedia of mathematics and its applications
    Content: Written by prominent experts in the field, this monograph provides the first comprehensive, unified presentation of the structural, algorithmic and applied aspects of the theory of Boolean functions. The book focuses on algebraic representations of Boolean functions, especially disjunctive and conjunctive normal form representations. This framework looks at the fundamental elements of the theory (Boolean equations and satisfiability problems, prime implicants and associated short representations, dualization), an in-depth study of special classes of Boolean functions (quadratic, Horn, shellable, regular, threshold, read-once functions and their characterization by functional equations) and two fruitful generalizations of the concept of Boolean functions (partially defined functions and pseudo-Boolean functions). Several topics are presented here in book form for the first time. Because of the depth and breadth and its emphasis on algorithms and applications, this monograph will have special appeal for researchers and graduate students in discrete mathematics, operations research, computer science, engineering and economics.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , Fundamental concepts and applications -- Boolean equations -- Prime implicants and minimal DNFs / Peter L. Hammer and Alexander Kogan -- Duality theory / Yves Crama and Kazuhisa Makino -- Quadratic functions / Bruno Simeone -- Horn functions / Endre Boros -- Orthogonal forms and shellability -- Regular functions -- Threshold functions -- Red-once functions / Martin C. Golumbic and Vladimir Gurvich -- Characterizations of special classes by functional equations / Lisa Hellerstein -- Partially defined Boolean functions / Toshihide Ibaraki -- Pseudo-Boolean functions -- Graphs and hypergraphs -- Algorithmic complexity -- JBool : a software tool / Claude Benzaken and Nadia Brauner. , English
    Additional Edition: ISBN 0-521-84751-6
    Language: English
    URL: https://doi.org/10.1017/CBO9780511852008
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    HU Berlin
    FU Berlin
  • 10
    Book
    Book
    Production planning in automated manufacturing : with 40 tables (1996)
    Berlin [u.a.] : Springer-Verlag
    Details
    UID:
    kobvindex_ZLB12411022
    Format: X, 210 Seiten , graph. Darst. , 24 cm
    Edition: 2., rev. and enl. ed.
    ISBN: 3540613595
    Note: Literaturverz. S. 199 - 210
    Language: German
    Keywords: CIM ; PPS
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    Berlin VÖBB/ZLB get availability status
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages