KOBV Portal

Hits per page

hits 1 - 10 | 45 hits

Sorting

Online Resource

Tools and algorithms for the construction and analysis of systems : 25 years of TACAS: TOOLympics : held as part of ETAPS 2019 : Prague, Czech Republic, April 6–11, 2019 : proceedings, part III (2019)

TACAS 25. 2019 Prag ; Beyer, Dirk 1972- ; Huisman, Marieke 1973- ; [et al.]

Cham, Switzerland : Springer Open

add to watchlist on the watchlist

Details

UID:

b3kat_BV045860468

Format: 1 Online-Ressource (xxvii, 258 Seiten) , Illustrationen, Diagramme

ISBN: 9783030175023

Series Statement: Lecture notes in computer science 11429

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

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-17502-3

URL: Volltext (kostenfrei)

URL: kostenfrei

URL: Inhaltstext

Author information: Kordon, Fabrice

Author information: Beyer, Dirk 1972-

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

Transactions on Petri Nets and Other Models of Concurrency XVI / (2022)

Koutny, Maciej ; Kordon, Fabrice ; Moldt, Daniel

Berlin, Heidelberg :Springer Berlin Heidelberg, | Berlin, Heidelberg :Springer.

add to watchlist on the watchlist

Details

UID:

almafu_BV048214205

Format: 1 Online-Ressource (XVII, 141 p. 65 illus., 26 illus. in color).

Edition: 1st ed. 2022

ISBN: 978-3-662-65303-6

Series Statement: Transactions on Petri Nets and Other Models of Concurrency 13220

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-65302-9

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-65304-3

Language: English

DOI: 10.1007/978-3-662-65303-6

URL: Volltext (URL des Erstveröffentlichers)

URL: lizenzpflichtig

URL: https://doi.org/10.1007/978-3-662-65303-6

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HU Berlin

FU Berlin

UB Potsdam

Charité

Online Resource

Transactions on petri nets and other models of concurrency XV / (2021)

PETRI NETS 40. 2019 Aachen ; Koutny, Maciej ; Kordon, Fabrice ; [et al.]

Berlin, Germany :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV047175124

Format: 1 Online-Ressource : , Illustrationen, Diagramme.

ISBN: 978-3-662-63079-2

Series Statement: Lecture notes in computer science 12530

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-63078-5

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-662-63080-8

Language: English

Keywords: Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-662-63079-2

URL: Volltext (URL des Erstveröffentlichers)

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

HTW Berlin

Charité

BTU Cottbus

Book

Reliable software technologies : Ada Europe 2009, 14th Ada Europe International Conference on Reliable Software Technologies, Brest, France, June 8 - 12, 2009 ; proceedings (2009)

Kordon, Fabrice ; Ada Europe. ; International Conference on Reliable Software Technologies 14 2009 Brest, Finistère

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV035554046

Format: XIV, 281 S. : , graph. Darst. ; , 24 cm.

ISBN: 978-3-642-01923-4

Series Statement: Lecture notes in computer science 5570

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Softwareentwicklung ; Zuverlässigkeit ; Softwareentwicklung ; Zuverlässigkeit ; Ada ; Eingebettetes System ; Softwareentwicklung ; Zuverlässigkeit ; Ada ; Echtzeitsystem ; Softwareentwicklung ; Zuverlässigkeit ; Ada ; Konferenzschrift ; Kongress ; Konferenzschrift ; Konferenzschrift

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017609902&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: http://d-nb.info/994022158/04

URL: Inhaltsverzeichnis

Author information: Kordon, Fabrice

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Book

Reliable software technologies : 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008 ; proceedings (2008)

Kordon, Fabrice ; Ada Europe. ; International Conference on Reliable Software Technologies 13 2008 Venedig

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV023351624

Format: XIV, 281 S. : , graph. Darst. ; , 24 cm.

ISBN: 978-3-540-68621-7

Series Statement: Lecture notes in computer science 5026

Note: Literaturangaben

Language: English

Subjects: Computer Science

RVK:

SS 4800

URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016535235&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA

URL: http://d-nb.info/989061884/04

URL: Inhaltsverzeichnis

Author information: Kordon, Fabrice

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

Berlin VÖBB/ZLB

TU Berlin

Online Resource

Challenges and opportunity with big data : 19th Monterey Workshop 2016, Beijing, China, October 8 – 11, 2016 : revised selected papers (2017)

Monterey Workshop 19. 2016 Peking ; Zhang, Lin ; Ren, Lei ; [et al.]

[Cham] :Springer,

add to watchlist on the watchlist

Details

UID:

almafu_BV044474189

Format: 1 Online-Ressource (VIII, 209 Seiten) : , Illustrationen.

ISBN: 978-3-319-61994-1

Series Statement: Lecture Notes in Computer Science 10228

Additional Edition: Erscheint auch als Druck-Ausgabe ISBN 978-3-319-61993-4

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Konferenzschrift ; Konferenzschrift

DOI: 10.1007/978-3-319-61994-1

URL: Volltext (URL des Erstveröffentlichers)

Author information: Kordon, Fabrice

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

FU Berlin

HTW Berlin

BTU Cottbus

Online Resource

Application and Theory of Petri Nets and Concurrency : 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016: proceedings (2016)

PETRI NETS 37. 2016 Toruń ; Kordon, Fabrice

[Cha]m : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV043650251

Format: 1 Online-Ressource XVI, 345 Seiten , Illustrationen, Diagramme

ISBN: 9783319390864 , 9783319390857

Series Statement: Lecture Notes in Computer Science Volume 9698

Language: English

Keywords: Petri-Netz ; Informatik ; Konferenzschrift

DOI: 10.1007/978-3-319-39086-4

URL: Volltext (URL des Erstveröffentlichers)

Author information: Kordon, Fabrice

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Online Access

Open Access Request

HTW Berlin

BTU Cottbus

Online Resource

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III (2019)

Beyer, Dirk [HerausgeberIn] ; Huisman, Marieke [HerausgeberIn] ; Kordon, Fabrice [HerausgeberIn] ; [et al.]

[Erscheinungsort nicht ermittelbar] : Springer Nature

add to watchlist on the watchlist

Details

UID:

gbv_1778506976

Format: 1 Online-Ressource (258 p.)

ISBN: 9783030175023

Series Statement: Lecture Notes in Computer Science

Content: This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS

Note: English

Language: English

URL: kostenfrei

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Online Resource

Stabi Berlin

UB Potsdam

Book

Composition of embedded systems : scientific and industrial issues ; 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006 ; revised selected papers (2007)

Kordon, Fabrice ; Monterey Workshop on Composition of Embedded Systems: Scientific and Industrial Issues 〈2006, Paris〉

Berlin [u.a.] :Springer,

add to watchlist on the watchlist

Details

UID:

almahu_BV023126626

Format: XII, 219 S. : , Ill., graph. Darst. ; , 235 mm x 155 mm.

ISBN: 978-3-540-77418-1 , 3-540-77418-1

Series Statement: Lecture Notes in Computer Science 4888

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Eingebettetes System ; Fehlertoleranz ; Zuverlässigkeit ; Eingebettetes System ; Softwareentwicklung ; Zuverlässigkeit ; Eingebettetes System ; Echtzeitsystem ; Verteiltes System ; Zuverlässigkeit ; Konferenzschrift ; Konferenzschrift

Author information: Kordon, Fabrice

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

HU Berlin

TU Berlin

Book

Reliable systems on unreliable networked platforms : 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005 ; revised selected papers (2007)

Kordon, Fabrice ; Monterey Workshop 12 2005 Laguna Beach, Calif.

Berlin [u.a.] : Springer

add to watchlist on the watchlist

Details

UID:

b3kat_BV022392382

Format: XIV, 316 S. , graph. Darst.

ISBN: 9783540711551 , 3540711554

Series Statement: Lecture Notes in Computer Science 4322

Language: English

Subjects: Computer Science

RVK:

SS 4800

Keywords: Verteiltes System ; Risiko ; Softwareentwicklung ; Fehlertoleranz ; Zuverlässigkeit ; Verfügbarkeit ; Funknetz ; Eingebettetes System ; Softwareentwicklung ; Fehlertoleranz ; Zuverlässigkeit ; Verfügbarkeit ; Konferenzschrift ; Konferenzschrift

Author information: Kordon, Fabrice

Bookmarklink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

Book

Inter-library loan

Berlin VÖBB/ZLB

TU Berlin

hits 1 - 10 | 45 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