KOBV Portal

Hits per page

hits 1 - 10 | 10 hits

Sorting

Online Resource

Cyber security : 17th China Annual Conference, CNCERT 2020, Beijing, China, August 12, 2020 : revised selected papers (2020)

Lu, Wei ; Wen, Qiaoyan ; Zhang, Yuqing ; [et al.]

Singapore, Singapore : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV047135316

Format: 1 Online-Ressource

ISBN: 9789813349223

Series Statement: Communications in computer and information science 1299

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-981-33-4921-6

Language: English

Keywords: Datensicherung ; Mensch-Maschine-Kommunikation ; Kryptologie ; Konferenzschrift ; Electronic books. ; Electronic books. ; Conference papers and proceedings. ; Conference papers and proceedings. ; Electronic books

DOI: 10.1007/978-981-33-4922-3

URL: Volltext (kostenfrei)

URL: SpringerLink

URL: https://doi.org/10.1007/978-981-33-4922-3

URL: http://imp-primo.hosted.exlibrisgroup.com/openurl/44IMP/44IMP_services_page?u.ignore_date_coverage=true&rft.mms_id=991000411907501591

URL: https://link.springer.com/10.1007/978-981-33-4922-3

URL: Click here to view book

URL: Full-text ((OIS Credentials Required))

URL: lizenzpflichtig

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Fulltext

FU Berlin

Berlin International

UB Potsdam

EUV Frankfurt

HTW Berlin

FH Potsdam

HPol Brandenburg

BTU Cottbus

Online Resource

Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part I (2019)

TACAS 25. 2019 Prag ; Vojnar, Tomáš ; Zhang, Lijun ; [et al.]

Cham, Switzerland : Springer Open

add to watchlist on the watchlist

Details

UID:

b3kat_BV045860466

Format: 1 Online-Ressource (xxiii, 433 Seiten) , Illustrationen, Diagramme

ISBN: 9783030174620

Series Statement: Lecture notes in computer science 11427

Note: Literaturangaben

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-17461-3

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Softwareentwicklung ; Systementwicklung ; Systemanalyse ; Programmverifikation ; Hardwareverifikation ; Model Checking ; Entscheidungsverfahren ; Programmiersprache ; Programmierung ; Theoretische Informatik ; Konferenzschrift ; Aufsatzsammlung ; Konferenzschrift

DOI: 10.1007/978-3-030-17462-0

URL: Volltext (kostenfrei)

URL: Buchcover

URL: kostenfrei

URL: Cover

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Fulltext

UB Potsdam

EUV Frankfurt

HTW Berlin

FH Potsdam

BTU Cottbus

Online Resource

Tools and algorithms for the construction and analysis of systems : 25th international conference, TACAS 2019 : held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019 : proceedings, part II (2019)

TACAS 25. 2019 Prag ; Vojnar, Tomáš ; Zhang, Lijun ; [et al.]

Cham, Switzerland : Springer Open

add to watchlist on the watchlist

Details

UID:

b3kat_BV045860467

Format: 1 Online-Ressource (xxiii, 413 Seiten) , Illustrationen, Diagramme

ISBN: 9783030174651

Series Statement: Lecture notes in computer science 11428

Note: Literaturangaben

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-030-17464-4

Language: English

Subjects: Computer Science

RVK:

SS 4800

DOI: 10.1007/978-3-030-17465-1

URL: Volltext (kostenfrei)

URL: kostenfrei

URL: Inhaltstext

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Fulltext

UB Potsdam

EUV Frankfurt

HTW Berlin

FH Potsdam

BTU Cottbus

Online Resource

Cyber security : 19th China Annual Conference, CNCERT 2022, Beijing, China, August 16–17, 2022, revised selected papers (2022)

Lu, Wei ; Zhang, Yuqing ; Wen, Weiping ; [et al.]

Singapore, Singapore : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV048637855

Format: 1 Online-Ressource

ISBN: 9789811982859

Series Statement: Communications in computer and information science 1699

Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-981-19-8284-2

Language: English

Keywords: Konferenzschrift

DOI: 10.1007/978-981-19-8285-9

URL: Volltext (kostenfrei)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Fulltext

FU Berlin

EUV Frankfurt

HTW Berlin

FH Potsdam

BTU Cottbus

Online Resource

Cyber security : 18th China Annual Conference, CNCERT 2021, Beijing, China, July 20–21, 2021, revised selected papers (2022)

Lu, Wei ; Zhang, Yuqing ; Wen, Weiping ; [et al.]

Singapore, Singapore : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV047831355

Format: 1 Online-Ressource

ISBN: 9789811692291

Series Statement: Communications in computer and information science 1506

Additional Edition: Erscheint auch als Druck-Ausgabe, Paperback ISBN 978-981-16-9228-4

Language: English

Keywords: Konferenzschrift

DOI: 10.1007/978-981-16-9229-1

URL: Volltext (kostenfrei)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Fulltext

FU Berlin

EUV Frankfurt

HTW Berlin

FH Potsdam

BTU Cottbus

Book

Genetic programming of minimal neural nets using Occam's razor (1993)

Zhang, Byoung-Tak [Verfasser] ; Mühlenbein, Heinz [Verfasser]

Sankt Augustin : Gesellschaft für Mathematik und Datenverarbeitung

add to watchlist on the watchlist

Details

UID:

b3kat_BV025995147

Format: 15 S. , graph. Darst.

Series Statement: Arbeitspapiere der GMD 734

Language: Undetermined

Keywords: Forschungsbericht

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FH Potsdam

Book

Self-development learning : constructing optimal size neural networks via incremental data selection (1993)

Zhang, Byoung-Tak [Verfasser]

Sankt Augustin : Ges. für Mathematik und Datenverarbeitung

add to watchlist on the watchlist

Details

UID:

b3kat_BV025996438

Format: 16 S. , graph. Darst.

Series Statement: Arbeitspapiere der GMD 768

Language: Undetermined

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FH Potsdam

Book

Learning by incremental selection of critical examples (1993)

Zhang, Byoung-Tak [Verfasser]

Sankt Augustin : Gesellschaft für Mathematik und Datenverarbeitung

add to watchlist on the watchlist

Details

UID:

b3kat_BV025995148

Format: 13 S. , Ill.

Series Statement: Arbeitspapiere der GMD 735

Language: Undetermined

Keywords: Forschungsbericht

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Stabi Berlin

FH Potsdam

Book

Blancing accuracy and parsimony in genetic programming (1994)

Zhang, Byoung-Tak [Verfasser] ; Mühlenbein, Heinz [Verfasser]

Sankt Augustin : Ges. für Mathematik und Datenverabeitung

add to watchlist on the watchlist

Details

UID:

b3kat_BV025995512

Format: 23 S. , graph. Darst.

Series Statement: Arbeitspapiere der GMD 873

Language: Undetermined

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FH Potsdam

Book

Teaching neural networks by genetic exploration (1993)

Zhang, Byoung-Tak [Verfasser]

Sankt Augustin : GMD

add to watchlist on the watchlist

Details

UID:

b3kat_BV025987022

Format: 19 S.

Language: Undetermined

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

FH Potsdam

hits 1 - 10 | 10 hits

Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.

Kooperativer Bibliotheksverbund

Berlin Brandenburg