Library

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 2020-2023  (1)
  • 2010-2014  (12)
  • 1970-1974  (34)
  • 1920-1924
  • 1880-1889  (1)
  • Undetermined  (39)
  • Japanese  (9)
Years
Year
Language
  • 1
    Publication Date: 2022-05-13
    Description: 二次割当問題は線形緩和が弱いことが知られ,強化のため多様な緩和手法が考案されているが,その一つである二重非負値計画緩和( DNN 緩和)及びその解法として近年研究が進んでいるニュートン・ブラケット法を紹介し,それらに基づく分枝限定法の実装及び数値実験結果について報告する.
    Language: Japanese
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    Publication Date: 2023-04-17
    Description: A mixed-integer linear programming methodutilizing the hierarchical relationship between design and operation variables proposed ot solve the optimal design problem of energy supply systems efficiently is extended ot search K-best solutions: At the upper level, the optimal values ofdesign variables are searched with operation variables relaxed to continuous ones; At the lower level, the values of operation variables are optimized with the values of design variables given tentatively; The obtained solution is used to renew K-best incumbent solutions, and the upper bound for the value of the objective function for K-best solutions is replaced correspondingly. A practical case study is conducted, and the validity and effectiveness of the proposed method are clarified.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    Publication Date: 2023-04-17
    Description: A mixed-integer linear programming (MILP) method utilizing the hierarchical relationship between design and op- eration variables is proposed to solve the optimal design problem of energy supply systems efficiently: At the upper level, the optimal values of design variables are searched by the branch and bound method; At the lower level, the values of operation variables are optimized by the branch and bound method under the values of design variables given tentatively during the search at the upper level; Lower bounds for the optimal value of the objective function are evaluated, and are utilized for the bounding operations at both the levels. This method is implemented into open and commercial MILP solvers. Illustrative and practical case studies on the optimal design of cogeneration systems are conducted, and the validity and effectiveness of the proposed method are clarified.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    Publication Date: 2023-04-17
    Description: 最適化研究におけるアプリケーション駆動研究サイクルを紹介する.アプリケーション駆動研究サイクルは,学術機関での研究と企業における研究成果の利用とのつながりを良くする点では優れている.一方で,ソフトウェア開発・維持に多大な労力を要するため,日本の大学や研究機関における実施には困難さが伴う.ZIBにおいてアプリケーション駆動研究サイクルが,比較的うまく機能している背景を説明する.また,日本においてアプリケーション駆動研究サイクルを活性化するための第一歩として,論文投稿時に,論文中の数値実験に利用した全データ提出の義務化を提案したい.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    Publication Date: 2023-04-17
    Description: 近年,大規模かつ複雑な最適化問題を高速に解く需要はさまざまな産業界や学術分野において急速に高まりつつある.これからの研究においては最先端理論 (Theory)+超大規模実データ (Practice)+最新計算技術(Computation) の三つを有機的に組み合わせることによって,実用に耐えうる解決策の提示と大規模最適化問題を扱う際の先例となることが求められている.本稿では最適化と計算に関する最新の傾向に触れるとともに,最適化の計算の今後についても考えていきたい.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    Publication Date: 2023-04-17
    Description: 制約整数計画(CIP: Constraint Integer Programming)は,制約プログラミング(CP: Constraint Programming),混合整数計画(MIP: Mixed Integer Programming), 充足可能性問題(SAT: Satisfiability Problems)の研究分野におけるモデリング技術と解法を統合している.その結果,制約整数計画は,広いクラスの最適化問題を扱うことができる.SCIP (Solving Constraint Integer Programs)は,CIPを解くソルバとして実装され,Zuse Institute Berlin (ZIB)の研究者を中心として継続的に拡張が続けられている.本論文では,著者らによって開発されたSCIP に対する2種類の並列化拡張を紹介する. 一つは,複数計算ノード間で大規模に並列動作するParaSCIP である. もう一つは,複数コアと共有メモリを持つ1台の計算機上で(スレッド)並列で動作するFiberSCIP である. ParaSCIP は,HLRN IIスーパーコンピュータ上で, 一つのインスタンスを解くために最大7,168 コアを利用した動作実績がある.また,統計数理研究所のFujitsu PRIMERGY RX200S5上でも,最大512コアを利用した動作実績がある.統計数理研究所のFujitsu PRIMERGY RX200S5上 では,これまでに最適解が得られていなかったMIPLIB2010のインスタンスであるdg012142に最適解を与えた.
    Description: The paradigm of Constraint Integer Programming (CIP) combines modeling and solving techniques from the fields of Constraint Programming (CP), Mixed Integer Programming (MIP) and Satisfiability Problems (SAT). The paradigm allows us to address a wide range of optimization problems. SCIP is an implementation of the idea of CIP and is now continuously extended by a group of researchers centered at Zuse Institute Berlin (ZIB). This paper introduces two parallel extensions of SCIP. One is ParaSCIP, which is intended to run on a large scale distributed memory computing environment, and the other is FiberSCIP, intended to run on shared memory computing environments. ParaSCIP has successfully been run on the HLRN II supercomputer utilizing up to 7,168 cores to solve a single difficult MIP. It has also been tested on an ISM supercomputer (Fujitsu PRIMERGY RX200S5 using up to 512 cores). The previously unsolved instance dg012142 from MIPLIB2010 was solved by using the ISM supercomputer.
    Language: Japanese
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2023-05-04
    Description: 制約整数計画(CIP: Constraint Integer Programs)は,制約プログラミング(CP: Constraint Programming),混合整数計画(MIP: Mixed Integer Programming),充足可能性問題(SAT: Satisfability Problem)の研究分野におけるモデリング技術と解法を統合している.その結果,制約整数計画は,広いクラスの最適化問題を扱うことができる.SCIP(Solving Constraint Integer Programs)は,CIP を解くソルバとして実装され,Zuse Institute Berlin(ZIB)の研究者を中心として継続的に拡張が続けられている.本論文では,著者らによって開発された SCIP に対する2 種類の並列化拡張を紹介する.一つは,複数計算ノード間で大規模に並列動作する ParaSCIPである.もう一つは,複数コアと共有メモリを持つ 1 台の計算機上で(スレッド)並列で動作する FiberSCIP である.ParaSCIP は,HLRN II スーパーコンピュータ上で,一つのインスタンスを解くために最大 7,168 コアを利用した動作実績がある.また,統計数理研究所の Fujitsu PRIMERGY RX200S5 上でも,最大 512 コアを利用した動作実績がある.統計数理研究所のFujitsu PRIMERGY RX200S5 上では,これまでに最適解が得られていなかった MIPLIB2010のインスタンスである dg012142 に最適解を与えた.
    Description: The paradigm of constraint integer programming (CIP) combines modeling and solving techniques from the fields of constraint programming (CP), mixed-integer programming (MIP) and satisfability problem (SAT). This paradigm allows us to address a wide range of optimization problems. SCIP is an implementation of the idea of CIP and is now being continuously extended by a group of researchers centered at Zuse Institute Berlin (ZIB). This paper introduces two parallel extensions of SCIP. One is ParaSCIP, which is intended to run on a large scale distributed memory computing environment, and the other is FiberSCIP, intended to run on a shared memory computing environment. ParaSCIP has been run successfully on the HLRN II supercomputer utilizing up to 7,168 cores to solve a single difficult MIP. It has also been tested on an ISM supercomputer (Fujitsu PRIMERGY RX200S5 using up to 512 cores). The previously unsolved instance dg012142 from MIPLIB2010 was solved by using the ISM supercomputer.
    Language: Japanese
    Type: article , doc-type:article
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Publication Date: 2022-03-14
    Description: この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.
    Description: This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how in concert these can be used to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview over available interfaces, and outline plans for future development.
    Language: Japanese
    Type: reportzib , doc-type:preprint
    Format: application/pdf
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2022-03-14
    Description: この論文ではソフトウェア・パッケージSCIP Optimization Suite を紹介し,その3つの構成要素:モデリン グ言語Zimpl, 線形計画(LP: linear programming) ソルバSoPlex, そして,制約整数計画(CIP: constraint integer programming) に対するソフトウェア・フレームワークSCIP, について述べる.本論文では,この3つの 構成要素を利用して,どのようにして挑戦的な混合整数線形計画問題(MIP: mixed integer linear optimization problems) や混合整数非線形計画問題(MINLP: mixed integer nonlinear optimization problems) をモデル化 し解くのかを説明する.SCIP は,現在,最も高速なMIP,MINLP ソルバの1つである.いくつかの例により, Zimpl, SCIP, SoPlex の利用方法を示すとともに,利用可能なインタフェースの概要を示す.最後に,将来の開 発計画の概要について述べる.
    Description: This paper introduces the SCIP Optimization Suite and discusses the capabilities of its three components: the modeling language Zimpl, the linear programming solver SoPlex, and the constraint integer programming framework SCIP. We explain how in concert these can be used to model and solve challenging mixed integer linear and nonlinear optimization problems. SCIP is currently one of the fastest non-commercial MIP and MINLP solvers. We demonstrate the usage of Zimpl, SCIP, and SoPlex by selected examples, we give an overview over available interfaces, and outline plans for future development.
    Language: Japanese
    Type: conferenceobject , doc-type:conferenceObject
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Title: Information graphics /
    Author: Rendgen, Sandra
    Contributer: Wiedemann, Julius , Holmes, Nigel
    Publisher: Köln :Taschen,
    Year of publication: 2012
    Pages: 480 S. : , zahlr. Ill., graph. Darst., Kt. ; , 37,5 cm +
    ISBN: 3-8365-2879-7 , 978-3-8365-2879-5
    Type of Medium: Book
    Language: Undetermined
    Note: Text in engl., dt. und franz. Sprache
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    Title: Vergabe- und Vertragsordnung fur Bauleistungen : VOB ; Teil A und B ; HOAI ; Verordnung uber die Honorare fur Leistungen der Architekten und der Ingenieure ; Textausgabe mit Sachverzeichnis und einer Einfuhrung; 5596
    Contributer: Werner, Ulrich
    Edition: Sonderausg., 28. Aufl., Stand: 1.8. 2010
    Publisher: Munchen :Dt. Taschenbuch-Verl., , [Munchen] :Beck
    Year of publication: 2010
    Pages: XLIX, 291 S. ; , 20 cm
    Series Statement: dtv 5596
    ISBN: 978-3-423-05596-3
    Type of Medium: Book
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 12
    Online Resource
    Online Resource
    Berlin [u.a.] :Springer,
    Title: Voxel-man 3D-navigator
    Contributer: Höhne, Karl Heinz , Universitätsklinikum 〈Hamburg〉 / Arbeitsgruppe VOXEL MAN
    Publisher: Berlin [u.a.] :Springer,
    Year of publication: 2010
    Pages: 1 DVD-ROM ; , 12 cm, in Behältnis 19 y 14 x 2 cm +
    ISBN: 978-3-642-10495-4
    Type of Medium: Online Resource
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Title: Photonics West 2010-OPTO: Integrated Optoelectronic Devices.
    Contributer: SPIE, The International Society for Optical Engineering
    Publisher: Bellingham, Wash. :SPIE,
    Year of publication: 2010
    Pages: CD-ROM , Optische Speicherplatte , 12 cm
    Series Statement: Proceedings of SPIE on CD-ROM
    Type of Medium: Electronic Resource
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 14
    Journal/Serial
    Journal/Serial
    New York, NY :ACM, ; 1.1969 - 7.1975/76; N.S. 1.1976 - 21.2001,1; damit Ersch. eingest.
    Title: SIGBIO newsletter /
    Author: Association for Computing Machinery / Special Interest Group on Biomedical Computing
    Publisher: New York, NY :ACM,
    Year of publication: 1969-2001
    Dates of Publication: 1.1969 - 7.1975/76; N.S. 1.1976 - 21.2001,1; damit Ersch. eingest.
    ISSN: 0163-5697
    Type of Medium: Journal/Serial
    Language: Undetermined
    Parallel Title: Internetausg. ---〉:Biomedical computing
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 15
    Book
    Book
    Bergheim :DATACOM-Zeitschriften-Verl., | Köln Müller -1993,9 ; 11.1973 - 14.1976; 19.1981 - 20.1982; 1983 - 1994; 32.1995 - 34.1997,10
    Title: Online : erfolgreiches Informationsmanagement, ADI-Nachrichten, ÖVD ; Organ d. ADI - Anwenderverband Deutscher Informationsverarbeiter e.V
    Contributer: Anwenderverband Deutscher Informationsverarbeiter
    Publisher: Bergheim :DATACOM-Zeitschriften-Verl., , Köln Müller -1993,9
    Year of publication: 1973-1997
    Dates of Publication: 11.1973 - 14.1976; 19.1981 - 20.1982; 1983 - 1994; 32.1995 - 34.1997,10
    ISSN: 0340-1545 , 0179-6623 , 0342-9393
    Type of Medium: Book
    Language: Undetermined
    Former Title: Vorg. ---〉:Zeitschrift für Datenverarbeitung
    Subsequent Title: 15.1977 - 18.1980 ---〉:ADL-Verband für Informationsverarbeitung: ADL-Nachrichten, Online
    Subsequent Title: Aufgeg. in ---〉:Information week
    Note: Später ohne Zählung
    Additional Information: Beil. ---〉:Drucker spezial
    Additional Information: Beil. ---〉:Online / special
    Additional Information: Darin ---〉:Anwenderverband Deutscher Informationsverarbeiter: ADI-Nachrichten, ÖVD
    Additional Information: Beil. ---〉:Pro info
    Additional Information: Beil. ---〉:Online-Info
    Additional Information: 1996 darin ---〉:Datacom-Special
    Parallel Title: 19.1981 auch in ---〉:Öffentliche Verwaltung und Datenverarbeitung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 16
    Title: Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: Berlin :VDE-Verl.,
    Year of publication: 1955-1995
    Dates of Publication: 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    ISSN: 0027-707X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Fernmeldetechnische Zeitschrift
    Subsequent Title: 40.1987,3-5 u. Forts. ---〉:NTZ
    Note: Mikro-Elektronik
    Additional Information: Beih. ---〉:Nachrichtentechnische Fachberichte
    Additional Information: Index 1/10=11 von:Nachrichtentechnische Fachberichte
    Parallel Title: CD-ROM-Ausg. 1994 - 1995 ---〉:Elektronisches Zeitschriftenarchiv
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 17
    Journal/Serial
    Journal/Serial
    Stuttgart :IBM, ; 22.1972,Apr. - 45.1995 = Nr. 210-323; damit Ersch. eingest.
    Title: IBM-Nachrichten /
    Author: IBM Deutschland GmbH 〈Stuttgart〉
    Publisher: Stuttgart :IBM,
    Year of publication: 1972-1995
    Dates of Publication: 22.1972,Apr. - 45.1995 = Nr. 210-323; damit Ersch. eingest.
    ISSN: 0018-8662
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉: IBM-Nachrichten
    Additional Information: Beil. ---〉:Hollerith-Mitteilungen
    Parallel Title: CD-ROM-Ausg. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 18
    Journal/Serial
    Journal/Serial
    New York, NY :ACM, ; 2.1971/72 - 16.1985; 19.1988 - 26.1995; damit Ersch. eingest.
    Title: SIGMICRO newsletter : a quarterly publ. of the Special Interest Group on Microprogramming
    Author: Association for Computing Machinery / Special Interest Group on Microprogramming
    Publisher: New York, NY :ACM,
    Year of publication: 1971-1995
    Dates of Publication: 2.1971/72 - 16.1985; 19.1988 - 26.1995; damit Ersch. eingest.
    ISSN: 0163-5751 , 1050-916X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Association for Computing Machinery / Special Interest Committee on Microprocessing: SICMICRO newsletter
    Subsequent Title: 17.1986 - 18.1987 ---〉:Association for Computing Machinery / Special Interest Group on Microprogramming: SIGMICRO TCMICRO newsletter
    Additional Information: Beil. ---〉:Microprogramming bibliography
    Additional Information: 9,4=11; 12,4=14; 13,4=15 von:Micro
    Additional Information: 20,3=22 von:International Workshop on Microprogramming and Microarchitecture: Annual International Workshop on Microprogramming and Microarchitecture
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 19
    Journal/Serial
    Journal/Serial
    Heidelberg :Physica-Verl., ; 16.1972 - 42.1995
    Title: Zeitschrift für Operations-Research : ZOR ; mathematical methods of operations research
    Publisher: Heidelberg :Physica-Verl.,
    Year of publication: 1972-1995
    Dates of Publication: 16.1972 - 42.1995
    ISSN: 0340-9422
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Ablauf- und Planungsforschung
    Subsequent Title: Forts. ---〉:Mathematical methods of operations research
    Note: Ser. A, Theorie = H. 1,3,5,7 d. Jg.; Ser. B, Praxis = H. 2,4,6,8 d. Jg. , Deutsche Gesellschaft für Operations-Research
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    Journal/Serial
    Journal/Serial
    Oxford [u.a.] :Pergamon Press, ; 1.1960 - 19.1995
    Title: Annual review in automatic programming
    Publisher: Oxford [u.a.] :Pergamon Press,
    Year of publication: 1960-1995
    Dates of Publication: 1.1960 - 19.1995
    ISSN: 0066-4138
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Annual reviews in control
    Additional Information: 1=3; 2=6, 3=11, 4=12; 5=13,2 von:International tracts in computer science and technology and their application
    Additional Information: 8=7; 9,2/3=8; 10=10; 11=11; 13,1=13; 14,1=15 von:Real time programming
    Additional Information: 12,1-12,2=2 von:Systems analysis and simulation
    Additional Information: 13,2=5 von:Control applications of nonlinear programming and optimization
    Parallel Title: Internetausg. ---〉:Annual reviews in control
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 21
    Journal/Serial
    Journal/Serial
    London [u.a.], ; 1.1969 - 39.1993
    Title: International journal of man machine studies
    Publisher: London [u.a.],
    Year of publication: 1969-1993
    Dates of Publication: 1.1969 - 39.1993
    ISSN: 0020-7373
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:International journal of human - computer studies
    Note: Index 1/4.1969/72 in: 4.1972
    Additional Information: 10,3=5 von:Man Computer Communications Conference: Proceedings
    Parallel Title: Internetausg. ---〉:International journal of man machine studies
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 22
    Title: SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery
    Author: Association for Computing Machinery / Special Interest Group on Programming Languages
    Publisher: New York, NY :ACM,
    Year of publication: 1966-1991
    Dates of Publication: 1.1966 - 26.1991,9u.11
    ISSN: 0362-1340
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: 26.1991,10 u. Forts. ---〉:Association for Computing Machinery / Special Interest Group on Programming Languages: ACM SIGPLAN notices
    Additional Information: 6,2=1971 von:Symposium on Data Structures in Programming Languages: Proceedings of a Symposium on Data Structures in Programming Languages
    Additional Information: 17,4=10,2; 22,10=15,5; 24,spec.iss.=17,2; 26,4=19,2 von:Computer architecture news
    Additional Information: 21,10=1986 von:Workshop on Object Oriented Programming: Transcript
    Additional Information: 11,6=10,1 von:Computer graphics
    Additional Information: 16,6=2,1/2 von:Association for Computing Machinery / Special Interest Group on Office Automation: SIGOA newsletter
    Additional Information: 14,8=1979; 17,6=1982; 19,6=1984; 21,7=1986 von:Symposium on Compiler Construction: Proceedings of the SIGPLAN Symposium on Compiler Construction
    Additional Information: 20,7=1985 von:Symposium on Language Issues in Programming Environments: Proceedings of the ACM SIGPLAN ... Symposium on Language Issues in Programming Environments
    Additional Information: 19,5=1; 22,1=2; 24,2=3 von:Software Engineering Symposium on Practical Software Development Environments: Proceedings of the ACM SIGSOFT SIGPLAN Software Engineering Symposium on Practical Software Development Environments
    Additional Information: 22,10=2; 24,spec.iss.=3 von:International Conference on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Additional Information: 23,7=1988; 24,7=1989; 25,6=1990 von:Conference on Programming Language Design and Implementation: Proceedings of the SIGPLAN ... Conference on Programming Language Design and Implementation
    Additional Information: 21,11=1; 22,12=2; 23,11=3; 24,10=4 von:OOPSLA: Conference proceedings
    Additional Information: 22,10=21,4; 24,spec.iss.=23,spec.iss.; 26,4=25,spec.iss. von:Operating systems review
    Additional Information: 17,4=1982 von:Symposium on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 23
    Journal/Serial
    Journal/Serial
    Braunschweig ; Wiesbaden :Vieweg, ; 13.1971 - 31.1989
    Title: Angewandte Informatik : Applied informatics
    Publisher: Braunschweig ; Wiesbaden :Vieweg,
    Year of publication: 1971-1989
    Dates of Publication: 13.1971 - 31.1989
    ISSN: 0013-5704
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Elektronische Datenverarbeitung
    Additional Information: Beil. CAK
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 24
    Title: Elektronische Rechenanlagen : Informationstechnik: Computer, Systeme, Anwendungen
    Contributer: Nachrichtentechnische Gesellschaft / Fachausschuß Informationsverarbeitung
    Publisher: München ; Wien :Oldenbourg,
    Year of publication: 1959-1985
    Dates of Publication: 1.1959 - 16.1974,5; 27.1985
    ISSN: 0013-5720
    Type of Medium: Book
    Language: Undetermined
    Subsequent Title: 16.1974,6 - 26.1984 ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Subsequent Title: Forts. ---〉:Informationstechnik
    Additional Information: Beil. ---〉:Computer-Praxis
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 25
    Journal/Serial
    Journal/Serial
    München ; Wien :Oldenbourg, ; 16.1974,6 - 26.1984
    Title: Elektronische Rechenanlagen mit Computer-Praxis : eR ; Theorie, Technik und Anwendung der Computer
    Publisher: München ; Wien :Oldenbourg,
    Year of publication: 1974-1984
    Dates of Publication: 16.1974,6 - 26.1984
    ISSN: 0013-5720
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Computer-Praxis
    Subsequent Title: Vorg. u. Forts. ---〉:Elektronische Rechenanlagen
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 26
    Journal/Serial
    Journal/Serial
    Berlin, ; 1973 - 1982; damit Ersch. eingest.
    Title: GRZ-Hausmitteilungen
    Author: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin,
    Year of publication: 1973-1982
    Dates of Publication: 1973 - 1982; damit Ersch. eingest.
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 27
    Book
    Book
    Berlin, ; 1973 - 1982; damit Ersch. eingest.
    Title: GRZ-Hausmitteilungen
    Author: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin,
    Year of publication: 1973-1982
    Dates of Publication: 1973 - 1982; damit Ersch. eingest.
    Type of Medium: Book
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 28
    Title: Tätigkeitsbericht ... des Großrechenzentrums für die Wissenschaft in Berlin /
    Author: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin,
    Year of publication: 1974
    Dates of Publication: 1971/73(1974)
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Grossrechenzentrum für die Wissenschaft in Berlin: Jahresbericht
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 29
    Title: Tätigkeitsbericht ... des Großrechenzentrums für die Wissenschaft in Berlin /
    Author: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin,
    Year of publication: 1974
    Dates of Publication: 1971/73(1974)
    Type of Medium: Book
    Language: Undetermined
    Subsequent Title: Grossrechenzentrum für die Wissenschaft in Berlin: Jahresbericht
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 30
    Journal/Serial
    Journal/Serial
    München :Oldenbourg, ; 1.1968 - 7.1974
    Title: Computer-Praxis : CP ; Notizen u. Berichte aus d. Datenverarbeitung
    Publisher: München :Oldenbourg,
    Year of publication: 1968-1974
    Dates of Publication: 1.1968 - 7.1974
    ISSN: 0010-4663
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Elektronische Rechenanlagen mit Computer-Praxis
    Additional Information: Beil. zu ---〉:Elektronische Rechenanlagen
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 31
    Title: LISP 1.5 für den TR 440 : Stand: November 1973
    Contributer: Grossrechenzentrum für die Wissenschaft in Berlin
    Publisher: Berlin :Grossrechenzentrum,
    Year of publication: 1973
    Pages: 83 S.
    Type of Medium: Book
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 32
    Journal/Serial
    Journal/Serial
    Berlin ; Heidelberg [u.a.] :Springer, ; Nachgewiesen 4.1972 - 11.1976; [N.F.] 0.1977[Probeh.]; 1.1978/79 -
    Title: ¬The¬ mathematical intelligencer
    Publisher: Berlin ; Heidelberg [u.a.] :Springer,
    Year of publication: 1972
    Dates of Publication: Nachgewiesen 4.1972 - 11.1976; [N.F.] 0.1977[Probeh.]; 1.1978/79 -
    ISSN: 0343-6993
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Index 0/10.1977/88 in: 10.1988,4; 11/20.1989/98 in: 20.1998,4
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 33
    Journal/Serial
    Journal/Serial
    Sindelfingen b. Stuttgart :IBM, ; 1.1951 - 22.1972,Febr. = Nr. 104-209
    Title: IBM-Nachrichten /
    Author: Internationale Büro-Maschinen-Gesellschaft Deutschland 〈Sindelfingen〉
    Publisher: Sindelfingen b. Stuttgart :IBM,
    Year of publication: 1951-1972
    Dates of Publication: 1.1951 - 22.1972,Febr. = Nr. 104-209
    ISSN: 0018-8662
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Hollerith-Nachrichten
    Subsequent Title: Forts. ---〉:IBM Deutschland GmbH 〈Stuttgart〉: IBM-Nachrichten
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 34
    Title: IEEE transactions on communications : a publication of the IEEE Communications Society
    Author: Institute of Electrical and Electronics Engineers / Computer Group
    Contributer: Communications Society
    Publisher: New York, NY :IEEE,
    Year of publication: 1972
    Dates of Publication: 20.1972 -
    ISSN: 0090-6778
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Institute of Electrical and Electronics Engineers: IEEE transactions on communication technology
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 35
    Journal/Serial
    Journal/Serial
    New York, NY, ; 3.1971-
    Title: ACM computing surveys
    Contributer: Association for Computing Machinery
    Publisher: New York, NY,
    Year of publication: 1971
    Dates of Publication: 3.1971-
    ISSN: 0360-0300
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 36
    Journal/Serial
    Journal/Serial
    New York, NY :Wiley, ; 1.1971/72; 2.1972 -
    Title: Networks : an internat. journal
    Publisher: New York, NY :Wiley,
    Year of publication: 1971
    Dates of Publication: 1.1971/72; 2.1972 -
    ISSN: 0028-3045
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Ersch. anfangs vierteljährl., später 8x im Jahr
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 37
    Journal/Serial
    Journal/Serial
    Amsterdam [u.a.] :Elsevier, ; 1.1971/72 -
    Title: Information processing letters : devoted to the rapid publication of short contributions to information processing
    Publisher: Amsterdam [u.a.] :Elsevier,
    Year of publication: 1971
    Dates of Publication: 1.1971/72 -
    ISSN: 0020-0190
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Subject index 1/75.1971/2000=78.2001; weitere Indices in unregelmäßigen Abständen
    Parallel Title: Internetausg. ---〉:Information processing letters
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 38
    Journal/Serial
    Journal/Serial
    Berlin ; Heidelberg [u.a.] :Springer, ; 1.1971/72 -
    Title: Acta informatica
    Publisher: Berlin ; Heidelberg [u.a.] :Springer,
    Year of publication: 1971
    Dates of Publication: 1.1971/72 -
    ISSN: 0001-5903
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 39
    Journal/Serial
    Journal/Serial
    Orlando [u.a.] :Elsevier | New York, NY [u.a.] ; 10.1971 -
    Title: Journal of combinatorial theory; Series A
    Publisher: Orlando [u.a.] :Elsevier , New York, NY [u.a.]
    Year of publication: 1971
    Dates of Publication: 10.1971 -
    ISSN: 0097-3165
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 40
    Journal/Serial
    Journal/Serial
    Orlando [u.a.] :Elsevier | New York, NY [u.a.] ; 10.1971 -
    Title: Journal of combinatorial theory; Series B
    Publisher: Orlando [u.a.] :Elsevier , New York, NY [u.a.]
    Year of publication: 1971
    Dates of Publication: 10.1971 -
    ISSN: 0095-8956
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Index 10/29.1971/80 in: 29.1980,3
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 41
    Journal/Serial
    Journal/Serial
    Chichester [u.a.] :Wiley, ; 1.1971 -
    Title: Software 〈Chichester〉 : practice & experience
    Publisher: Chichester [u.a.] :Wiley,
    Year of publication: 1971
    Dates of Publication: 1.1971 -
    ISSN: 0038-0644
    Type of Medium: Journal/Serial
    Language: Undetermined
    Parallel Title: CD-ROM-Ausg. ---〉:Software 〈Chichester〉
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 42
    Journal/Serial
    Journal/Serial
    Los Alamitos, Calif. :IEEE Computer Soc. Publ. Off., ; 3.1970,5 -
    Title: Computer : innovative technology for computer professionals
    Contributer: IEEE Computer Society
    Publisher: Los Alamitos, Calif. :IEEE Computer Soc. Publ. Off.,
    Year of publication: 1970
    Dates of Publication: 3.1970,5 -
    ISSN: 0018-9162
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Computer Group news Vorg. ---〉:Institute of Electrical and Electronics Engineers / Computer Group: Computer Group news
    Additional Information: Suppl. ---〉:Institute of Electrical and Electronics Engineers: IEEE computing futures
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 43
    Journal/Serial
    Journal/Serial
    Braunschweig ; Wisbaden :Vieweg, ; [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    Title: Elektronische Datenverarbeitung : Fachberichte über programmgesteuerte Maschinen u. ihre Anwendung = Electronic data processing
    Publisher: Braunschweig ; Wisbaden :Vieweg,
    Year of publication: 1959-1970
    Dates of Publication: [1.1959] -[2.]1960 = F. 1-8; [3.]1961 = H. 1-6=F.9-14; [4.]1962 - [5.]1963,1; 5.1963,2 - 12.1970
    ISSN: 0374-3012
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Angewandte Informatik
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 44
    Title: Computing surveys : the survey and tutorial journal of the ACM (Association for Computing Machinery)
    Contributer: Association for Computing Machinery
    Publisher: New York, NY,
    Year of publication: 1969-1970
    Dates of Publication: 1.1969 - 2.1970
    ISSN: 0010-4892 , 0360-0300
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 45
    Journal/Serial
    Journal/Serial
    Stuttgart ; Leinfelden-Echterdingen :Konradin-Verl., ; 1970 -
    Title: ¬Die¬ Computer-Zeitung : die Wochenzeitung für die Informationsgesellschaft
    Publisher: Stuttgart ; Leinfelden-Echterdingen :Konradin-Verl.,
    Year of publication: 1970
    Dates of Publication: 1970 -
    ISSN: 0341-5406
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Darin aufgeg. ---〉:Technische Büro-Zeitung
    Note: Ab 1981,2 mit Jg.-Zählung, die unterschiedl., jeweils innerhalb e. Jahres wechselt. - Periodizität: wöchentl., bis 1992 14-tägl.
    Additional Information: Beil. bis 2001 ---〉:Software @ Mittelstand
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 46
    Title: Computer communication review : SIGCOMM - Computer Communication Review
    Contributer: Association for Computing Machinery / Special Interest Group on Data Communication
    Publisher: New York, NY,
    Year of publication: 1970
    Dates of Publication: 1.1970/71 -
    ISSN: 0146-4833
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉 SIGCOMM newsletter
    Additional Information: 11,4=7; 13,4=8; 15,4=9 von:Data Communications Symposium: Data Communications Symposium
    Additional Information: 13,2=1983; 14,2=1984; 16,3=1986; 18,4=1988; 19,4=1989 von:Communications architectures & protocols
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 47
    Title: Operating systems review : a quarterly publ. of the Special Interest Group on Operating Systems = SIGOPS - Operating Systems Review
    Contributer: Association for Computing Machinery , Association for Computing Machinery / Special Interest Group on Operating Systems
    Publisher: New York, NY :ACM,
    Year of publication: 1970
    Dates of Publication: Nachgewiesen 4.1970 -
    ISSN: 0163-5980
    Type of Medium: Journal/Serial
    Language: Undetermined
    Additional Information: 6,1/2=3; 7,4=4; 9,5=5; 11,5=6 von:Symposium on Operating Systems Principles: Proceedings of the ... Symposium on Operating Systems Principles
    Additional Information: 9=1975 von:Interprocess Communications Workshop: Proceedings of the ACM SIGCOMM SIGOPS Interprocess Communications Workshop
    Additional Information: 21,4=2; 23,Spec.iss.=3; 38,5=11 von:International Conference on Architectural Support for Programming Languages and Operating Systems: Proceedings
    Additional Information: 21,4=15,5; 23,spec.iss=17,2; 25,spec.iss.=19,2 von:Computer architecture news
    Additional Information: 21,4=22,10; 23,spec.iss.=24,spec.iss.; 25,spec.iss.=26,4 von:Association for Computing Machinery / Special Interest Group on Programming Languages: SIGPLAN notices
    Additional Information: 19,5=10; 21,5=11; 23,5=12 von:Symposium on Operating Systems Principles: Proceedings of the ACM Symposium on Operating Systems Principles
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 48
    Journal/Serial
    Journal/Serial
    Washington, DC [u.a.], ; 1.1883 - 23.1894; N.S. 1.1895 -
    Title: Science /
    Contributer: American Association for the Advancement of Science
    Publisher: Washington, DC [u.a.],
    Year of publication: 1883
    Dates of Publication: 1.1883 - 23.1894; N.S. 1.1895 -
    ISSN: 0036-8075
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Darin aufgeg. ---〉:Scientific monthly
    Note: Bis 108.1948 und ab 146.1964 auch mit durchgehender Nr.-Zählung; ab 103.1946 entfällt Zählung N.S
    Additional Information: Beil. ---〉:American Association for the Advancement of Science: ¬The¬ AAAS observer
    Additional Information: Beil. ---〉:Genome maps
    Additional Information: Teils Suppl. ---〉:Guide to biotechnology products and instruments
    Additional Information: Ab 1992 Suppl. ---〉:Guide to scientific products, instruments and services
    Additional Information: 162,3856,A=1968/69; 165,3900,A=1969/70; 169,3951,A=1970/71; 174,4010,A=1971/72; 178,4063,A=1972/73; 182,4114,A=1973/74; 186,4165,A=1974; 190,4216,A=1975; 194,4267,A=1976; 197,4309,A=1977 von:Guide to scientific instruments
    Additional Information: 232,2=1986; 235,2=1987; 239,2=1988; 243,2=1989 von:Guide to biotechnology products and instruments
    Parallel Title: Sonderdr. ---〉:Astronomical and Astrophysical Society of America: Meeting
    Parallel Title: Internetausg. ---〉:Science / Magazine
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...