Library

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • 2010-2014  (5)
  • 1985-1989  (26)
  • 1965-1969  (10)
  • 1945-1949
  • 1930-1934
  • 1850-1859
  • 1840-1849
  • 1830-1839
  • 1810-1819
  • 2013  (2)
  • 2012  (3)
  • 1986  (25)
  • 1968  (8)
  • 1949
  • 1930
  • Undetermined  (31)
  • Japanese  (4)
Material
Years
Year
Language
  • 1
    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 ...
  • 2
    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 ...
  • 3
    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 ...
  • 4
    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 ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    Journal/Serial
    Journal/Serial
    New York, NY :North-Holland, ; 1.1984 - 46.2000
    Title: ¬The¬ journal of logic programming
    Publisher: New York, NY :North-Holland,
    Year of publication: 1984-2000
    Dates of Publication: 1.1984 - 46.2000
    ISSN: 0743-1066
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:¬The¬ journal of logic and algebraic programming
    Parallel Title: Internetausg. ---〉:¬The¬ journal of logic and algebraic programming
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    Journal/Serial
    Journal/Serial
    Amsterdam [u.a.] :Elsevier [u.a.], ; 9.1985 - 30.1998
    Title: Computer networks and ISDN systems : the international journal of computer and telecommunications networking
    Publisher: Amsterdam [u.a.] :Elsevier [u.a.],
    Year of publication: 1985-1998
    Dates of Publication: 9.1985 - 30.1998
    ISSN: 0169-7552 , 0376-5075
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Vorg. u. Forts. ---〉:Computer networks
    Note: Computer networks for research in Europe
    Additional Information: In 14,1=15 von:Networkshop: Conference report
    Additional Information: 16,1/2=4; 17,4/5=5 von:European Networkshop: European Networkshop
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    Journal/Serial
    Journal/Serial
    San Francisco, Calif. :Miller Freeman, ; 1.1983 - 16.1998,3
    Title: Unix review : the publication for the Unix community
    Publisher: San Francisco, Calif. :Miller Freeman,
    Year of publication: 1983-1998
    Dates of Publication: 1.1983 - 16.1998,3
    ISSN: 0742-3136
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Unix review's performance computing
    Parallel Title: Internetausg. ---〉:Unix review.com
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    Journal/Serial
    Journal/Serial
    Amsterdam :Amsterdam Universities Computing Centre, ; Nr. 1.1984 - 69.1997; damit Ersch. eingest.
    Title: Supercomputer : bimonthly magazine on supercomputing in the Netherlands
    Publisher: Amsterdam :Amsterdam Universities Computing Centre,
    Year of publication: 1984-1997
    Dates of Publication: Nr. 1.1984 - 69.1997; damit Ersch. eingest.
    ISSN: 0168-7875
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Teils auch mit Jg.-Zählung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 11
    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 ...
  • 12
    Journal/Serial
    Journal/Serial
    München :Hanser, ; 1.1983 - 14.1996,6
    Title: Unix mail : Europas erster Informationsdienst für Unix-Hersteller und -Anwender
    Publisher: München :Hanser,
    Year of publication: 1983-1996
    Dates of Publication: 1.1983 - 14.1996,6
    ISSN: 0176-8654
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:¬Die¬ blauen Blätter
    Parallel Title: CD-ROM-Ausg. ---〉:Unix mail, die blauen Blätter
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 13
    Journal/Serial
    Journal/Serial
    Minneapolis, Minn. :Cray Research, Inc., ; Nachgewiesen 6.1984 - 18.1996,2; damit Ersch. eingest.
    Title: Cray channels : a Cray Research, Inc. publication
    Contributer: Cray Research, Inc. 〈Mendota Heights, Minn.〉
    Publisher: Minneapolis, Minn. :Cray Research, Inc.,
    Year of publication: 1984-1996
    Dates of Publication: Nachgewiesen 6.1984 - 18.1996,2; damit Ersch. eingest.
    Type of Medium: Journal/Serial
    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, ; 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 ...
  • 15
    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 ...
  • 16
    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 ...
  • 17
    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 ...
  • 18
    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 ...
  • 19
    Journal/Serial
    Journal/Serial
    München :Franzis-Verl., ; 1981 - 1994,6
    Title: MC 〈München〉 : Computerpraxis für technische Anwender
    Publisher: München :Franzis-Verl.,
    Year of publication: 1981-1994
    Dates of Publication: 1981 - 1994,6
    ISSN: 0720-4442 , 0941-777X , 0943-5409
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Aufgeg. in ---〉:DOS international
    Note: Auch mit fehlerhafter Jg.-Zählung im Impressum
    Additional Information: 1992 Sonderh. ---〉:WINbox
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 20
    Title: SIGSMALL - PC notes : a publication of the Special Interest Group on Small and Personal Computing Systems and Applications, Association for Computing Machinery
    Author: Association for Computing Machinery / Special Interest Group on Small and Personal Computing Systems and Applications
    Publisher: New York, NY :ACM,
    Year of publication: 1984-1993
    Dates of Publication: 10.1984,4 - 19.1993/94,2(1993)
    ISSN: 0893-2875
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Association for Computing Machinery / Special Interest Group on Small Computing Systems and Applications: SIGSMALL newsletter
    Subsequent Title: Forts. ---〉:Association for Computing Machinery / Special Interest Group on Individual Computing Environments: SIGICE bulletin
    Note: Zählung von "SIGSMALL newsletter" übernommen
    Parallel Title: Internetausg. ---〉:Association for Computing Machinery / Special Interest Group on Small and Personal Computing Systems and Applications: ACM SIGSMALL - PC notes
    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
    Journal/Serial
    Journal/Serial
    München :Oldenbourg, ; 28.1986 - 34.1992
    Title: Informationstechnik : it ; Computer, Systeme, Anwendungen
    Publisher: München :Oldenbourg,
    Year of publication: 1986-1992
    Dates of Publication: 28.1986 - 34.1992
    ISSN: 0179-9738 , 0013-5720
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Elektronische Rechenanlagen
    Subsequent Title: Forts. ---〉:Informationstechnik und technische Informatik
    Note: it-Seminar
    Additional Information: Beil. ---〉:Euro-KI-Führer
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 23
    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 ...
  • 24
    Journal/Serial
    Journal/Serial
    Utrecht :VNU Science Press, ; 1.1986 - 6.1991
    Title: Soviet journal of numerical analysis and mathematical modelling
    Publisher: Utrecht :VNU Science Press,
    Year of publication: 1986-1991
    Dates of Publication: 1.1986 - 6.1991
    ISSN: 0169-2895
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Russian journal of numerical analysis and mathematical modelling
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 25
    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 ...
  • 26
    Title: ¬Das¬ Rechenzentrum : Fachzeitschrift für d. Betrieb von DV-Systemen in Wirtschaft u. Verwaltung, Wissenschaft, Medizin u. Technik
    Publisher: München ; Wien :Hanser,
    Year of publication: 1978-1986
    Dates of Publication: 1.1978 - 9.1986,2
    ISSN: 0343-317X
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Praxis der Informationsverarbeitung und Kommunikation
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 27
    Journal/Serial
    Journal/Serial
    Berlin ; Heidelberg [u.a.] :Springer, ; 1.1986 -
    Title: Distributed computing /
    Publisher: Berlin ; Heidelberg [u.a.] :Springer,
    Year of publication: 1986
    Dates of Publication: 1.1986 -
    ISSN: 0178-2770
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 28
    Title: Praxis der Informationsverarbeitung und Kommunikation : PIK ; Fachzeitschrift für den Einsatz von Informationssysstemen
    Publisher: München :Saur,
    Year of publication: 1986
    Dates of Publication: 9.1986,3 -
    ISSN: 0930-5157
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:¬Das¬ Rechenzentrum
    Note: GI NTG Fachgruppe Rechnernetze; 11.1988 - 12.1989: GI ITG Fachgruppe Rechnernetze
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 29
    Journal/Serial
    Journal/Serial
    New York, NY :Springer-Verl. New York, ; 1.1986 -
    Title: Discrete & computational geometry : an international journal of mathematics and computer science
    Publisher: New York, NY :Springer-Verl. New York,
    Year of publication: 1986
    Dates of Publication: 1.1986 -
    ISSN: 0179-5376
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 30
    Title: Informatik, Forschung und Entwicklung : Organ des Fachbereichs 2 Softwaretechnologie und Informationssysteme der Gesellschaft für Informatik e.V. (GI)
    Contributer: Gesellschaft für Informatik , Österreichische Gesellschaft für Informatik , Österreichische Computer-Gesellschaft
    Publisher: Berlin ; Heidelberg [u.a.] :Springer,
    Year of publication: 1986
    Dates of Publication: 1.1986 - 22. 2008
    ISSN: 0178-3564
    Type of Medium: Journal/Serial
    Language: Undetermined
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 31
    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 ...
  • 32
    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 ...
  • 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
    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 ...
  • 35
    Title: IEEE transactions on computers : a publication of the IEEE Computer Society
    Author: Institute of Electrical and Electronics Engineers / Computer Group
    Contributer: Computer Society
    Publisher: Los Alamitos, Calif. :IEEE Computer Soc.,
    Year of publication: 1968
    Dates of Publication: 17.1968 -
    ISSN: 0018-9340
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Institute of Electrical and Electronics Engineers: IEEE transactions on electronic computers
    Note: Abstracts of current computer literature , Einzelne Hefte auch als Special issue bez.; Zählung bis 36 z.B.: C36
    Additional Information: 19=1; 22=2 von:Symposium on Computer Arithmetic: Symposium on Computer Arithmetic
    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...