Library

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
    facet.materialart.
    Unknown
    制約整数計画ソルバ SCIP の並列化 (2013)
    Details
    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 である． もう一つは，複数コアと共有メモリを持つ１台の計算機上で(スレッド)並列で動作する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 ...
    OPUS
  • 2
    facet.materialart.
    Unknown
    制約整数計画ソルバ SCIP の並列化 (2013)
    Details
    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 ...
    OPUS
  • 3
    Journal/Serial
    Journal/Serial
    SIGBIO newsletter / (from 1969-2001)
    New York, NY :ACM, ; 1.1969 - 7.1975/76; N.S. 1.1976 - 21.2001,1; damit Ersch. eingest.
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 4
    Journal/Serial
    Journal/Serial
    ¬The¬ journal of logic programming (from 1984-2000)
    New York, NY :North-Holland, ; 1.1984 - 46.2000
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 5
    Journal/Serial
    Journal/Serial
    CWI quarterly (from 1988-1999)
    Amsterdam :CWI, ; 1.1988 - 12.1999; damit Ersch. eingest.
    Details
    Title: CWI quarterly
    Author: Centrum voor Wiskunde en Informatica 〈Amsterdam〉
    Publisher: Amsterdam :CWI,
    Year of publication: 1988-1999
    Dates of Publication: 1.1988 - 12.1999; damit Ersch. eingest.
    ISSN: 0168-826X , 0922-5366
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Centrum voor Wiskunde en Informatica 〈Amsterdam〉: CWI newsletter
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 6
    Journal/Serial
    Journal/Serial
    Computer networks and ISDN systems : the international journal of computer and telecommunications networking (from 1985-1998)
    Amsterdam [u.a.] :Elsevier [u.a.], ; 9.1985 - 30.1998
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 7
    Journal/Serial
    Journal/Serial
    Computers in physics / (from 1987-1998)
    Woodbury, NY :AIP, ; 1.1987,1(Nov./Dez.); 2.1988 - 12.1998
    Details
    Title: Computers in physics /
    Contributer: American Institute of Physics
    Publisher: Woodbury, NY :AIP,
    Year of publication: 1987-1998
    Dates of Publication: 1.1987,1(Nov./Dez.); 2.1988 - 12.1998
    ISSN: 0894-1866
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Computing in science & engineering
    URL: http://www.aip.org/cip/
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 8
    Journal/Serial
    Journal/Serial
    Unix review : the publication for the Unix community (from 1983-1998)
    San Francisco, Calif. :Miller Freeman, ; 1.1983 - 16.1998,3
    Details
    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
    URL: Zugriff lizenzfrei
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 9
    Journal/Serial
    Journal/Serial
    LISP and symbolic computation : an internat. journal ; a forum for current and envolving symbolic computing, focusing on LISP and object-oriented programming (from 1988-1997)
    Dordrecht [u.a.] :Kluwer Acad. Publ., ; 1.1988 - 10.1997
    Details
    Title: LISP and symbolic computation : an internat. journal ; a forum for current and envolving symbolic computing, focusing on LISP and object-oriented programming
    Publisher: Dordrecht [u.a.] :Kluwer Acad. Publ.,
    Year of publication: 1988-1997
    Dates of Publication: 1.1988 - 10.1997
    ISSN: 0892-4635
    Type of Medium: Journal/Serial
    Language: Undetermined
    Subsequent Title: Forts. ---〉:Higher order and symbolic computation
    Parallel Title: Internetausg. ---〉:Higher-order and symbolic computation
    URL: Zugriff nur bis zu den Abstracts möglich.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 10
    Book
    Book
    Online : erfolgreiches Informationsmanagement, ADI-Nachrichten, ÖVD ; Organ d. ADI - Anwenderverband Deutscher Informationsverarbeiter e.V (1973-1997)
    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
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 11
    Journal/Serial
    Journal/Serial
    Supercomputer : bimonthly magazine on supercomputing in the Netherlands (from 1984-1997)
    Amsterdam :Amsterdam Universities Computing Centre, ; Nr. 1.1984 - 69.1997; damit Ersch. eingest.
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 12
    Journal/Serial
    Journal/Serial
    Cray channels : a Cray Research, Inc. publication (from 1984-1996)
    Minneapolis, Minn. :Cray Research, Inc., ; Nachgewiesen 6.1984 - 18.1996,2; damit Ersch. eingest.
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 13
    Journal/Serial
    Journal/Serial
    Unix mail : Europas erster Informationsdienst für Unix-Hersteller und -Anwender (from 1983-1996)
    München :Hanser, ; 1.1983 - 14.1996,6
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 14
    Journal/Serial
    Journal/Serial
    Annual review in automatic programming (from 1960-1995)
    Oxford [u.a.] :Pergamon Press, ; 1.1960 - 19.1995
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 15
    Journal/Serial
    Journal/Serial
    IBM-Nachrichten / (from 1972-1995)
    Stuttgart :IBM, ; 22.1972,Apr. - 45.1995 = Nr. 210-323; damit Ersch. eingest.
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 16
    Journal/Serial
    Journal/Serial
    Nachrichtentechnische Zeitschrift : NTZ ; Zeitschrift für Informationstechnik u. Telekommunikation ; Organ der Nachrichtentechnischen Gesellschaft im VDE (from 1955-1995)
    Berlin :VDE-Verl., ; 8.1955,10 - 40.1987,2; 40.1987,6 - 48.1995,2
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 17
    Journal/Serial
    Journal/Serial
    SIGMICRO newsletter : a quarterly publ. of the Special Interest Group on Microprogramming (from 1971-1995)
    New York, NY :ACM, ; 2.1971/72 - 16.1985; 19.1988 - 26.1995; damit Ersch. eingest.
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 18
    Journal/Serial
    Journal/Serial
    Zeitschrift für Operations-Research : ZOR ; mathematical methods of operations research (from 1972-1995)
    Heidelberg :Physica-Verl., ; 16.1972 - 42.1995
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 19
    Journal/Serial
    Journal/Serial
    MC 〈München〉 : Computerpraxis für technische Anwender (from 1981-1994)
    München :Franzis-Verl., ; 1981 - 1994,6
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 20
    Journal/Serial
    Journal/Serial
    SIGSMALL - PC notes : a publication of the Special Interest Group on Small and Personal Computing Systems and Applications, Association for Computing Machinery (from 1984-1993)
    New York, NY :ACM, ; 10.1984,4 - 19.1993/94,2(1993)
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 21
    Journal/Serial
    Journal/Serial
    International journal of man machine studies (from 1969-1993)
    London [u.a.], ; 1.1969 - 39.1993
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 22
    Journal/Serial
    Journal/Serial
    Informationstechnik : it ; Computer, Systeme, Anwendungen (from 1986-1992)
    München :Oldenbourg, ; 28.1986 - 34.1992
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 23
    Journal/Serial
    Journal/Serial
    Soviet journal of numerical analysis and mathematical modelling (from 1986-1991)
    Utrecht :VNU Science Press, ; 1.1986 - 6.1991
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 24
    Journal/Serial
    Journal/Serial
    SIGPLAN notices : a monthly publication of the Special Interest Group on Programming Languages of the Association for Computing Machinery (from 1966-1991)
    New York, NY :ACM, ; 1.1966 - 26.1991,9u.11
    Details
    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
    URL: 5.1970 - 34.1999: Contents; 35.2000 -: Volltexte
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 25
    Journal/Serial
    Journal/Serial
    Angewandte Informatik : Applied informatics (from 1971-1989)
    Braunschweig ; Wiesbaden :Vieweg, ; 13.1971 - 31.1989
    Details
    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 ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 26
    Journal/Serial
    Journal/Serial
    IX : Magazin für professionelle Informationstechnik (from 1988)
    Hannover :Heise, ; 1988,11; 1989,2 -
    Details
    Title: IX : Magazin für professionelle Informationstechnik
    Publisher: Hannover :Heise,
    Year of publication: 1988
    Dates of Publication: 1988,11; 1989,2 -
    ISSN: 0935-9680
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Darin aufgeg. ---〉:UNIX-Magazin
    Note: Index 1988/90 in: 1990,7
    Parallel Title: CD-ROM-Ausg. ---〉:IX abo+
    URL: aktuelle Papierausgabe in der Bibliothek vorhanden.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 27
    Journal/Serial
    Journal/Serial
    Mathematical programming /; Series A (from 1988)
    Berlin ; Heidelberg :Springer, ; 40.1988 -
    Details
    Title: Mathematical programming /; Series A
    Publisher: Berlin ; Heidelberg :Springer,
    Year of publication: 1988
    Dates of Publication: 40.1988 -
    ISSN: 0025-5610
    Type of Medium: Journal/Serial
    Language: Undetermined
    Note: Einzelh. ersch. in unregelmäßigem Wechsel mit Series B
    URL: Zugriff auf diese Zeitschrift innerhalb der ZIB Domain (IP Adressen: 130.73.*.*) möglich auf alle Jahrgänge.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 28
    Journal/Serial
    Journal/Serial
    Mathematical programming /; Series B (from 1988)
    Berlin ; Heidelberg :Springer, ; 42.1988 -
    Details
    Title: Mathematical programming /; Series B
    Publisher: Berlin ; Heidelberg :Springer,
    Year of publication: 1988
    Dates of Publication: 42.1988 -
    ISSN: 0025-5610
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Vorg. ---〉:Mathematical programming / Study
    Note: Jg. 32-41 in d. Zählung übergangen; Einzelh. ersch. in unregelmäßigem Wechsel mit Series A
    URL: Zugriff auf diese Zeitschrift innerhalb der ZIB Domain (IP Adressen: 130.73.*.*) auf alle Jahrgänge möglich.
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
  • 29
    Journal/Serial
    Journal/Serial
    SIAM journal on discrete mathematics : a publ. of the Society for Industrial and Applied Mathematics (from 1988)
    Philadelphia, Pa. :Soc., ; 1.1988 -
    Details
    Title: SIAM journal on discrete mathematics : a publ. of the Society for Industrial and Applied Mathematics
    Author: Society for Industrial and Applied Mathematics
    Publisher: Philadelphia, Pa. :Soc.,
    Year of publication: 1988
    Dates of Publication: 1.1988 -
    ISSN: 0895-4801
    Type of Medium: Journal/Serial
    Language: Undetermined
    Former Title: Hervorgeg. aus ---〉:Society for Industrial and Applied Mathematics: SIAM journal on matrix analysis and applications
    URL: Online 10. 1997 -
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    ZIB Catalog
    Zuse Institute Berlin get availability status
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...