Foundations of software technology and theoretical computer science: 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1995
|
| Schriftenreihe: | Lecture notes in computer science
1026 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XII, 513 S. graph. Darst. |
| ISBN: | 3540606920 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010483949 | ||
| 003 | DE-604 | ||
| 005 | 19960212 | ||
| 007 | t| | ||
| 008 | 951113s1995 gw d||| |||| 10||| eng d | ||
| 016 | 7 | |a 946048754 |2 DE-101 | |
| 020 | |a 3540606920 |9 3-540-60692-0 | ||
| 035 | |a (OCoLC)33946149 | ||
| 035 | |a (DE-599)BVBBV010483949 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-384 |a DE-91G |a DE-29T |a DE-739 |a DE-20 |a DE-19 |a DE-634 |a DE-83 |a DE-11 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.751 | |
| 082 | 0 | |a 004/.01/51 |2 20 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a DAT 310f |2 stub | ||
| 084 | |a DAT 500f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Foundations of software technology and theoretical computer science |b 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings |c P. S. Thiagarajan (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1995 | |
| 300 | |a XII, 513 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1026 | |
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 4 | |a Informatique - Congrès | |
| 650 | 4 | |a Logiciels - Congrès | |
| 650 | 7 | |a Logiciels - Congrès |2 ram | |
| 650 | 7 | |a Programmatuurtechniek |2 gtt | |
| 650 | 7 | |a algorithme réparti |2 inriac | |
| 650 | 7 | |a complexité |2 inriac | |
| 650 | 7 | |a déduction |2 inriac | |
| 650 | 7 | |a géométrie algorithmique |2 inriac | |
| 650 | 7 | |a informatique théorique |2 inriac | |
| 650 | 7 | |a logique temporelle |2 inriac | |
| 650 | 7 | |a programmation fonctionnelle |2 inriac | |
| 650 | 7 | |a réécriture |2 inriac | |
| 650 | 7 | |a technologie logiciel |2 inriac | |
| 650 | 7 | |a théorie graphe |2 inriac | |
| 650 | 7 | |a théorie preuve |2 inriac | |
| 650 | 7 | |a vérification |2 inriac | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Computer science |v Congresses | |
| 650 | 4 | |a Computer software |v Congresses | |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Software Engineering |0 (DE-588)4116521-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1995 |z Bangalore |2 gnd-content | |
| 689 | 0 | 0 | |a Software Engineering |0 (DE-588)4116521-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Thiagarajan, Pazhamaneri S. |e Sonstige |4 oth | |
| 711 | 2 | |a FST and TCS |n 15 |d 1995 |c Bangalore |j Sonstige |0 (DE-588)5165610-3 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1026 |w (DE-604)BV000000607 |9 1026 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006986756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-006986756 | |
Datensatz im Suchindex
| _version_ | 1820874849105477632 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
INVITED
TALK
LOOKING
FOR
MUM
AND
DAD:
TEXT-TEXT
COMPARISONS
DO
HELP
.
1
M.
PATERSON
(UNIVERSITY
OF
WARWICK),
S.
TASSA
AND
U.
ZWICK
(TEL
AVIV
UNIVERSITY)
ALGORITHMS
BRANCH
AND
BOUND
ON
THE
NETWORK
MODEL
.
11
S.
JAIN
(NATIONAL
UNIVERSITY
OF
SINGAPORE)
A
NEAR
OPTIMAL
ALGORITHM
FOR
THE
EXTENDED
COW-PATH
PROBLEM
IN
THE
PRESENCE
OF
RELATIVE
ERRORS
.
22
P.
DASGUPTA,
P.P.
CHAKRABARTI
AND
S.C.
DESARKAR
(INDIAN
INSTITUTE
OF
TECHNOLOGY,
KHARAGPUR)
EFFICIENT
ALGORITHMS
FOR
VERTEX
ARBORICITY
OF
PLANAR
GRAPHS
.
37
A.
ROYCHOUDHURY
AND
S.
SUR-KOLAY
(JADAVPUR
UNIVERSITY)
A
CONDITION
FOR
THE
THREE
COLOURABILITY
OF
PLANAR
LOCALLY
PATH
GRAPHS
.
52
A.A.
DIWAN
AND
N.
USHARANI
(INDIAN
INSTITUTE
OF
TECHNOLOGY,
BOMBAY)
SOFTWARE
TECHNOLOGY
A
FRAMEWORK
FOR
THE
SPECIFICATION
OF
REACTIVE
AND
CONCURRENT
SYSTEMS
IN
Z
.
62
P.
BAUMANN
AND
K.
LERMER
(UNIVERSITAET
ZUERICH)
SYNTHESIZING
DIFFERENT
DEVELOPMENT
PARADIGMS:
COMBINING
TOP-DOWN
WITH
BOTTOM-UP
REASONING
ABOUT
DISTRIBUTED
SYSTEMS
.
80
J.
ZWIERS
(TWENTE
UNIVERSITY),
U.
HANNEMANN,
Y.
LAKHNECHE
AND
1V.-P.
DE
ROEVER
(CHRISTIAN-ALBRECHTS-UMVERSITAET
ZU
KIEL)
VERIFYING
PART
OF
THE
ACCESS.BUS
PROTOCOL
USING
PVS
.
96
J.
HOOMAN
(EINDHOVEN
UNIVERSITY
OF
TECHNOLOGY)
REUSING
BATCH
PARSERS
AS
INCREMENTAL
PARSERS
.
111
L.
PETRONE
(UNIVERSITAE
DI
TORINO)
INVITED
TALK
THE
EXPRESSIVE
POWER
OF
INDETERMINATE
PRIMITIVES
IN
ASYNCHRONOUS
COMPUTATION
.
124
P.
PANANGADEN
(MCGILL
UNIVERSITY)
X
FUNCTIONAL
PROGRAMMING
THEORY
THE
TRANSFORMATION
CALCULUS
.
151
J.
GARRIGUE
(KYOTO
UNIVERSITY)
EQUATIONAL
AXIOMATIZATION
OF
BICOERCIBILITY
FOR
POLYMORPHIE
TYPES
.
166
J.
TIURYN
(WARSAW
UNIVERSITY)
DISTRIBUTED
ALGORITHMS
FROM
CAUSAL
CONSISTENCY
TO
SEQUENTIAL
CONSISTENCY
IN
SHARED
MEMORY
SYSTEMS
.
180
M.
RAYNAL
(IRISA,
RENNES)
AND
A.
SEKIPER
(EPFL,
LAUSANNE)
OBSERVATION
OF
SOFTWARE
FOR
DISTRIBUTED
SYSTEMS
WITH
RCL
.
195
A.I.
TOMLINSON
AND
V.K.
GARG
(UNIVERSITY
OF
TEXAS
AT
AUSTIN)
TERM
REWRITING
&
CLP
PARTIALITY
AND
APPROXIMATION
SCHEMES
FOR
LOCAL
CONSISTENCY
IN
NETWORKS
OF
CONSTRAINTS
.
210
N.D.
DENDRIS,
L.M.
KIROUSIS,
Y.C.
STAMATIOU
AND
D.M.
THILIKOS
(PATRAS
UNIVERSITY)
MAXIMAL
EXTENSIONS
OF
SIMPLIFICATION
ORDERINGS
.
225
D.
KAPUR
(STATE
UNIVERSITY
OF
NEW
YORK,
ALBANY)
AND
G.
SIVAKUMAR
(INDIAN
INSTITUTE
OF
TECHNOLOGY,
BOMBAY)
COMPLEXITY
THEORY
AVERAGE
POLYNOMIAL
TIME
IS
HARD
FOR
EXPONENTIAL
TIME
UNDER
SN-REDUCTIONS
.
240
R.
SCHULER
(UNIVERSITAET
ULM)
ON
SELF-TESTING
WITHOUT
THE
GENERATOR
BOTTLENECK
.
248
S.
RAVIKUMAR
(CORNELL
UNIVERSITY)
AND
D.
SIVAKUMAR
(STATE
UNIVERSITY
OF
NEW
YORK
AT
BUFFALO)
INVITED
TALK
OBSERVING
BEHAVIOUR
CATEGORICALLY
.
263
M.
NIELSEN,
A.
CHENG
(AARHUS
UNIVERSITY)
PROCESS
ALGEBRAS
AN
ALGORITHM
FOR
REDUCING
BINARY
BRANCHINGS
.
279
P.
CASPI,
J.-C.
FERNANDEZ
(VERIMAG,
MONTBONNOT)
AND
A.
GIRAULT
(INRIA,
SOPHIA
ANTIPOLIS)
ON
THE
COMPLEXITY
OF BISIMILARITY
FOR
VALUE-PASSING
PROCESSES
.
294
M.
BOREALE
(CNR,
PISA)
AND
L.
TREVISAN
(UNIVERSITAE
DI
ROMA
"
LA
SAPIENZA
"
)
XI
ON
THE
EXPRESSIVE
POWER
OF
CCS
.
309
A.
DSOUZA
AND
B.
BLOOM
(CORNELL
UNIVERSITY)
POLARIZED
NAME
PASSING
.
324
M.
ODERSKY
(UNIVERSITY
OF
KARLSRUHE)
ALGORITHMS
PATH
BALANCE
HEURISTIC
FOR
SELF-ADJUSTING
BINARY
SEARCH
TREES
.
338
R.
BALASUBRAMANIAN
AND
V.
RAMAN
(INSTITUTE
OF
MATHEMATICAL
SCIENCES,
MADRAS)
PATTERN
MATCHING
IN
COMPRESSED
TEXTS
.
349
S.
RAO
KOSARAJU
(JOHNS
HOPKINS
UNIVERSITY)
ALL-PAIRS
MIN-CUT
IN
SPARSE
NETWORKS
.
363
S.R.
ARIKATI,
S.
CHAUDHURI
AND
C.D.
ZAROLIAGIS
(MAX-PLANCK-INSTITUT
FUER
INFORMATIK,
SAARBRUECKEN)
MINIMIZING
SPACE
USAGE
IN
EVALUATION
OF
EXPRESSION
TREES
.
377
S.K.
BISWAS
AND
S.
KANNAN
(UNIVERSITY
OF
PENNSYLVANIA)
INVITED
TALK
SMOOTH
SURFACES
FOR
MULTI-SCALE
SHAPE
REPRESENTATION
.
391
H.
EDELSBRUNNER
(UNIVERSITY
OF
ILLINOIS
AT
URBANA-CHAMPAIGN)
COMPUTATIONAL
GEOMETRY
ON
PARALLEL
COMPLEXITY
OF
PLANAR
TRIANGULATIONS
.
413
C.
LEVCOPOULOS,
A.
LINGAS
(LUND
UNIVERSITY)
AND
C.
WANG
(MEMORIAL
UNIVERSITY
OF
NEWFOUNDLAND)
COMPUTING
A
LARGEST
EMPTY
ANCHORED
CYLINDER,
AND
RELATED
PROBLEMS
.
428
F.
FOLLERT,
E.
SCHOEMER,
J.
SELLEN
(UNIVERSITAET
DES
SAARLANDES),
M.
SMID
AND
C.
THIEL
(MAX-PLANCK-INSTITUT
FUER
INFORMATIK,
SAARBRUECKEN)
COMPUTING
HIERARCHIES
OF
CLUSTERS
FROM
THE
EUCLIDEAN
MINIMUM
SPANNING
TREE
IN
LINEAR
TIME
.
443
D.
KRZNARIC
AND
C.
LEVCOPOULOS
(LUND
UNIVERSITY)
TEMPORAL
LOGICS
AND
VERIFICATION
THEORY
DETERMINIZING
BIICHI
ASYNCHRONOUS
AUTOMATA
.
456
N.
KLARLUND
(AARHUS
UNIVERSITY),
M.
MUKUND
(SPIC
SCIENCE
FOUNDATION,
MADRAS)
AND
M.
SOHONI
(INDIAN
INSTITUTE
OF
TECHNOLOGY,
BOMBAY)
ACHILLES
AND
THE
TORTOISE
CLIMBING
UP
THE
ARITHMETICAL
HIERARCHY
.
471
E.
ASARIN
(INSTITUTE
FOR
INFORMATION
TRANSMISSION
PROBLEMS,
MOSCOW)
AND
0.
MALER
(SPECTRE-VERIMAG,
MONTBONNOT)
XII
GENERALIZED
TEMPORAL
VERIFICATION
DIAGRAMS
.
484
LA.
BROWNE,
Z.
MANNA
AND
H.B.
SIPMA
(STANFORD
UNIVERSITY)
MODEL
CHECKING
OF
PROBABILISTIC
AND
NONDETERMINISTIC
SYSTEMS
.
499
A.
BIANCO
(POLITECNICO
DI
TORINO)
AND
L.
DE
ALFARO
(STANFORD
UNIVERSITY)
AUTHORS
INDEX
.
515 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV010483949 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.751 |
| callnumber-search | QA76.751 |
| callnumber-sort | QA 276.751 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| classification_tum | DAT 310f DAT 500f |
| ctrlnum | (OCoLC)33946149 (DE-599)BVBBV010483949 |
| dewey-full | 004/.01/51 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.01/51 |
| dewey-search | 004/.01/51 |
| dewey-sort | 14 11 251 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV010483949</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19960212</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">951113s1995 gw d||| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">946048754</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540606920</subfield><subfield code="9">3-540-60692-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33946149</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010483949</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.751</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.01/51</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 500f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software technology and theoretical computer science</subfield><subfield code="b">15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings</subfield><subfield code="c">P. S. Thiagarajan (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 513 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1026</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatique - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logiciels - Congrès</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logiciels - Congrès</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programmatuurtechniek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">algorithme réparti</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">complexité</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">déduction</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">géométrie algorithmique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">informatique théorique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">logique temporelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation fonctionnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">réécriture</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">technologie logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie graphe</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">théorie preuve</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">vérification</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1995</subfield><subfield code="z">Bangalore</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Thiagarajan, Pazhamaneri S.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FST and TCS</subfield><subfield code="n">15</subfield><subfield code="d">1995</subfield><subfield code="c">Bangalore</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5165610-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1026</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1026</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006986756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006986756</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1995 Bangalore gnd-content |
| genre_facet | Konferenzschrift 1995 Bangalore |
| id | DE-604.BV010483949 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:16Z |
| institution | BVB |
| institution_GND | (DE-588)5165610-3 |
| isbn | 3540606920 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006986756 |
| oclc_num | 33946149 |
| open_access_boolean | |
| owner | DE-384 DE-91G DE-BY-TUM DE-29T DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| owner_facet | DE-384 DE-91G DE-BY-TUM DE-29T DE-739 DE-20 DE-19 DE-BY-UBM DE-634 DE-83 DE-11 DE-188 DE-706 |
| physical | XII, 513 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings P. S. Thiagarajan (ed.) Berlin u.a. Springer 1995 XII, 513 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1026 Informatica gtt Informatique - Congrès Logiciels - Congrès Logiciels - Congrès ram Programmatuurtechniek gtt algorithme réparti inriac complexité inriac déduction inriac géométrie algorithmique inriac informatique théorique inriac logique temporelle inriac programmation fonctionnelle inriac réécriture inriac technologie logiciel inriac théorie graphe inriac théorie preuve inriac vérification inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1995 Bangalore gnd-content Software Engineering (DE-588)4116521-4 s DE-604 Informatik (DE-588)4026894-9 s Thiagarajan, Pazhamaneri S. Sonstige oth FST and TCS 15 1995 Bangalore Sonstige (DE-588)5165610-3 oth Lecture notes in computer science 1026 (DE-604)BV000000607 1026 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006986756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings Lecture notes in computer science Informatica gtt Informatique - Congrès Logiciels - Congrès Logiciels - Congrès ram Programmatuurtechniek gtt algorithme réparti inriac complexité inriac déduction inriac géométrie algorithmique inriac informatique théorique inriac logique temporelle inriac programmation fonctionnelle inriac réécriture inriac technologie logiciel inriac théorie graphe inriac théorie preuve inriac vérification inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd Software Engineering (DE-588)4116521-4 gnd |
| subject_GND | (DE-588)4026894-9 (DE-588)4116521-4 (DE-588)1071861417 |
| title | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings |
| title_auth | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings |
| title_exact_search | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings |
| title_full | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings P. S. Thiagarajan (ed.) |
| title_fullStr | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings P. S. Thiagarajan (ed.) |
| title_full_unstemmed | Foundations of software technology and theoretical computer science 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings P. S. Thiagarajan (ed.) |
| title_short | Foundations of software technology and theoretical computer science |
| title_sort | foundations of software technology and theoretical computer science 15th conference bangalore india december 18 20 1995 proceedings |
| title_sub | 15th conference, Bangalore, India, December 18 - 20, 1995 ; proceedings |
| topic | Informatica gtt Informatique - Congrès Logiciels - Congrès Logiciels - Congrès ram Programmatuurtechniek gtt algorithme réparti inriac complexité inriac déduction inriac géométrie algorithmique inriac informatique théorique inriac logique temporelle inriac programmation fonctionnelle inriac réécriture inriac technologie logiciel inriac théorie graphe inriac théorie preuve inriac vérification inriac Informatik Computer science Congresses Computer software Congresses Informatik (DE-588)4026894-9 gnd Software Engineering (DE-588)4116521-4 gnd |
| topic_facet | Informatica Informatique - Congrès Logiciels - Congrès Programmatuurtechniek algorithme réparti complexité déduction géométrie algorithmique informatique théorique logique temporelle programmation fonctionnelle réécriture technologie logiciel théorie graphe théorie preuve vérification Informatik Computer science Congresses Computer software Congresses Software Engineering Konferenzschrift 1995 Bangalore |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006986756&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT thiagarajanpazhamaneris foundationsofsoftwaretechnologyandtheoreticalcomputerscience15thconferencebangaloreindiadecember18201995proceedings AT fstandtcsbangalore foundationsofsoftwaretechnologyandtheoreticalcomputerscience15thconferencebangaloreindiadecember18201995proceedings |