SBB StaBiKat - results/titledata

Results

sort by

approximate search

title data

______________

______________

Additional
catalogues

Subject search
as of 1946

Subject search
1501 - 1955

______________

Just ask us

Library Account

Interlibrary
loan

Order digital copy

Book suggestion

______________

Privacy Policy

Barrierefreiheit

Impressum
(Imprint)


			1 of 1
	results	search (Subject headings (XSP)) algorithm analysis and problem complexity restrict (Basic classification (XBKL)) 54.29

Title:	Hybrid systems III : verification and control / Rajeev Alur ... (eds.)
Other persons:	Alur, Rajeev
Conference:	DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems ; (New Brunswick, NJ) : 1995.10.22-25
Language/s:	English
Publication statement:	Berlin [u.a.] : Springer, 1996
Extent:	Online-Ressource (IX, 618 S.)
Type of content:	Konferenzschrift
Series:	Lecture notes in computer science. - Berlin : Springer, 1973- ; ZDB-ID: 2018930-8 ; 1066
Note:	Literaturangaben
ISBN:	Weitere Ausgaben: 3-540-61155-X, 978-3-540-61155-4 (Printausgabe)
Identifier:	DOI: 10.1007/BFb0020931
Subject heading:	Hybridrechner Computer science ; Software engineering ; Computer software ; Logic design Computation by Abstract Devices ; Computer Science ; Logics and* Meanings of Programs ; Processor Architectures ; Algorithm Analysis and Problem Complexity ; Software Engineering ; Special Purpose and Application-Based Systems
Subject:	54.29 Datenverarbeitungsanlagen: Sonstiges
Reproduction:	[Online-Ausg.]
Publication statement:	Berlin [u.a.] : Springer, 2006
Collective title:	Springer Lecture Notes Archive
Further information:	Table of contents


Location:	Electronic Resource - Requires library card, can only be accessed in the reading rooms of the Staatsbibliothek zu Berlin - No REMOTE ACCESS possible
Link to digital copy:	http://erf.sbb.spk-berlin.de/han/512881081/dx.doi.org/10.1007/BFb0020931

related publications

1 of 1

1 of 1