skip to content
Foundations of Software Technology and Theoretical Computer Science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings Preview this item
ClosePreview this item
Checking...

Foundations of Software Technology and Theoretical Computer Science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings

Author: C E Veni Madhavan
Publisher: Berlin : Springer, 1989.
Series: Lecture notes in computer science, 405.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Kongress
Named Person: Johann Scheuber
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: C E Veni Madhavan
ISBN: 0387520481 9780387520483 3540520481 9783540520481
OCLC Number: 611603251
Notes: Anlassname auch: FST and TCS 9.
Description: VIII, 339 p : fig ; 25 cm.
Contents: A linear-time recognition algorithm for P 4-reducible graphs.- Fast parallel approximations of the maximum weighted cut problem through derandomization.- A new class of separators and planarity of chordal graphs.- Optimal parallel algorithms on circular-arc graphs.- Algebraic properties of the space of multivalued and paraconsistent logic programs.- An autoepistemic logical view of knowledge base.- A natural semantics for logic programs with negation.- A transformation system for deductive database modules with perfect model semantics.- An efficient distributed algorithm for finding articulation points, Bridges, and biconnected components in asynchronous networks.- Impossibility results in the presence of multiple faulty processes.- An adaptive regulator approach for the design of load sharing algorithms.- An algebraic compositional semantics of an object oriented notation with concurrency.- An axiomatization of event structures.- Deducing causal relationships in CCS.- Annotated program transformations.- Algebraic software development concepts for module and configuration families.- On the limitations of locally robust positive reductions.- Query evaluation with null values: How complex is completeness?.- Average case complexity analysis of RETE pattern-match algorithm and average size of join in Databases.- The frobenius problem.- An efficient implicit data structure for path testing and searching in rooted trees and forests.- Robust decompositions of polyhedra.- Gate matrix layout revisited: Algorithmic performance and probabilistic analysis.- Parallel parsing on a one-way linear array of finite-state machines.- Energy-time trade-offs in VLSI computations.- Time and real-time in programs.- A proof system for communicating processes with value-passing (extended abstract).
Series Title: Lecture notes in computer science, 405.
Responsibility: C.E. Veni Madhavan (ed.).

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/611603251> # Foundations of Software Technology and Theoretical Computer Science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "611603251" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/866634561#Place/berlin> ; # Berlin
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/traitement_parallele_+_simultaneite_systemes_d_exploitation> ; # TRAITEMENT PARALLELE + SIMULTANÉITÉ (SYSTÈMES D'EXPLOITATION)
    schema:about <http://viaf.org/viaf/2824165> ; # Johann Scheuber
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/genie_logiciel> ; # génie logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/parallelverarbeitung_+_nebenlaufigkeit_betriebssysteme> ; # PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/concurrence> ; # concurrence
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/programme_und_algorithmen_zur_losung_spezieller_probleme> ; # PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/complexite_algorithme> ; # complexité algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/programmation_en_logique> ; # programmation en logique
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/programmatuurtechniek> ; # Programmatuurtechniek
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/theorie_des_graphes_mathematiques> ; # THÉORIE DES GRAPHES (MATHÉMATIQUES)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/programs_and_algorithms_for_the_solution_of_special_problems> ; # PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/parallel_processing_+_concurrency_operating_systems> ; # PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/software> ; # Software
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/analyse_algorithme> ; # analyse algorithme
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/graphentheorie_mathematik> ; # GRAPHENTHEORIE (MATHEMATIK)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/distributed_systems_computer_systems> ; # DISTRIBUTED SYSTEMS (COMPUTER SYSTEMS)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/informatique_repartie> ; # informatique répartie
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/technologie_logiciel> ; # technologie logiciel
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/algorithme> ; # algorithme
    schema:about <http://dewey.info/class/005/e20/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/vlsi> ; # VLSI
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/logiciels_congres> ; # Logiciels--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/verteilte_systeme_computersysteme> ; # VERTEILTE SYSTEME (COMPUTERSYSTEME)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/geometrie_algorithmique> ; # géométrie algorithmique
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/informatik> ; # Informatik
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/graph_theory_mathematics> ; # GRAPH THEORY (MATHEMATICS)
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/programmes_et_algorithmes_pour_la_resolution_de_problemes_specifiques> ; # PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/algorithme_graphe> ; # algorithme graphe
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/kartographie_wurttemberg_geschichte_16_jh> ; # Kartographie--Württemberg--Geschichte 16. Jh
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/theoretische_grundlagen> ; # Theoretische Grundlagen
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/informatica> ; # Informatica
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Topic/informatique_congres> ; # Informatique--Congrès
    schema:about <http://experiment.worldcat.org/entity/work/data/866634561#Thing/systemes_distribues_systemes_informatiques> ; # SYSTÈMES DISTRIBUÉS (SYSTÈMES INFORMATIQUES)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866634561#Meeting/conference_on_foundations_of_software_technology_and_theoretical_computer_science_1989_12_bangalore> ; # Conference on Foundations of Software Technology and Theoretical Computer Science (1989/12 : Bangalore)
    schema:contributor <http://experiment.worldcat.org/entity/work/data/866634561#Person/veni_madhavan_c_e> ; # C. E. Veni Madhavan
    schema:datePublished "1989" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/866634561> ;
    schema:genre "Kongress" ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/866634561#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:name "Foundations of Software Technology and Theoretical Computer Science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings" ;
    schema:productID "611603251" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/611603251#PublicationEvent/berlin_springer_1989> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/866634561#Agent/springer> ; # Springer
    schema:url <http://opac.nebis.ch/cgi-bin/showAbstract.pl?u20=3540520481> ;
    schema:url <http://sfx.ethz.ch:9003/sfx_locater?sid=ALEPH:EBI01&issn=0302-9743&volume=405> ;
    schema:url <http://dx.doi.org/10.1007/3-540-52048-1> ;
    schema:workExample <http://worldcat.org/isbn/9780387520483> ;
    schema:workExample <http://worldcat.org/isbn/9783540520481> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/611603251> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/866634561#Meeting/conference_on_foundations_of_software_technology_and_theoretical_computer_science_1989_12_bangalore> # Conference on Foundations of Software Technology and Theoretical Computer Science (1989/12 : Bangalore)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/866634561#Place/bangalore> ; # Bangalore)
    schema:name "Conference on Foundations of Software Technology and Theoretical Computer Science (1989/12 : Bangalore)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Person/veni_madhavan_c_e> # C. E. Veni Madhavan
    a schema:Person ;
    schema:familyName "Veni Madhavan" ;
    schema:givenName "C. E." ;
    schema:name "C. E. Veni Madhavan" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/611603251> ; # Foundations of Software Technology and Theoretical Computer Science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/distributed_systems_computer_systems> # DISTRIBUTED SYSTEMS (COMPUTER SYSTEMS)
    a schema:Thing ;
    schema:name "DISTRIBUTED SYSTEMS (COMPUTER SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/graph_theory_mathematics> # GRAPH THEORY (MATHEMATICS)
    a schema:Thing ;
    schema:name "GRAPH THEORY (MATHEMATICS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/graphentheorie_mathematik> # GRAPHENTHEORIE (MATHEMATIK)
    a schema:Thing ;
    schema:name "GRAPHENTHEORIE (MATHEMATIK)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/parallel_processing_+_concurrency_operating_systems> # PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)
    a schema:Thing ;
    schema:name "PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/parallelverarbeitung_+_nebenlaufigkeit_betriebssysteme> # PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)
    a schema:Thing ;
    schema:name "PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/programme_und_algorithmen_zur_losung_spezieller_probleme> # PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
    a schema:Thing ;
    schema:name "PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/programmes_et_algorithmes_pour_la_resolution_de_problemes_specifiques> # PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES
    a schema:Thing ;
    schema:name "PROGRAMMES ET ALGORITHMES POUR LA RÉSOLUTION DE PROBLÈMES SPÉCIFIQUES" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/programs_and_algorithms_for_the_solution_of_special_problems> # PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
    a schema:Thing ;
    schema:name "PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/systemes_distribues_systemes_informatiques> # SYSTÈMES DISTRIBUÉS (SYSTÈMES INFORMATIQUES)
    a schema:Thing ;
    schema:name "SYSTÈMES DISTRIBUÉS (SYSTÈMES INFORMATIQUES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/theoretische_grundlagen> # Theoretische Grundlagen
    a schema:Thing ;
    schema:name "Theoretische Grundlagen" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/theorie_des_graphes_mathematiques> # THÉORIE DES GRAPHES (MATHÉMATIQUES)
    a schema:Thing ;
    schema:name "THÉORIE DES GRAPHES (MATHÉMATIQUES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/traitement_parallele_+_simultaneite_systemes_d_exploitation> # TRAITEMENT PARALLELE + SIMULTANÉITÉ (SYSTÈMES D'EXPLOITATION)
    a schema:Thing ;
    schema:name "TRAITEMENT PARALLELE + SIMULTANÉITÉ (SYSTÈMES D'EXPLOITATION)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Thing/verteilte_systeme_computersysteme> # VERTEILTE SYSTEME (COMPUTERSYSTEME)
    a schema:Thing ;
    schema:name "VERTEILTE SYSTEME (COMPUTERSYSTEME)" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/algorithme_graphe> # algorithme graphe
    a schema:Intangible ;
    schema:name "algorithme graphe" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/analyse_algorithme> # analyse algorithme
    a schema:Intangible ;
    schema:name "analyse algorithme" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/complexite_algorithme> # complexité algorithme
    a schema:Intangible ;
    schema:name "complexité algorithme" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/geometrie_algorithmique> # géométrie algorithmique
    a schema:Intangible ;
    schema:name "géométrie algorithmique" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/informatique_congres> # Informatique--Congrès
    a schema:Intangible ;
    schema:name "Informatique--Congrès" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/informatique_repartie> # informatique répartie
    a schema:Intangible ;
    schema:name "informatique répartie" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/kartographie_wurttemberg_geschichte_16_jh> # Kartographie--Württemberg--Geschichte 16. Jh
    a schema:Intangible ;
    schema:name "Kartographie--Württemberg--Geschichte 16. Jh" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/logiciels_congres> # Logiciels--Congrès
    a schema:Intangible ;
    schema:name "Logiciels--Congrès" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/programmation_en_logique> # programmation en logique
    a schema:Intangible ;
    schema:name "programmation en logique" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/programmatuurtechniek> # Programmatuurtechniek
    a schema:Intangible ;
    schema:name "Programmatuurtechniek" ;
    .

<http://experiment.worldcat.org/entity/work/data/866634561#Topic/technologie_logiciel> # technologie logiciel
    a schema:Intangible ;
    schema:name "technologie logiciel" ;
    .

<http://viaf.org/viaf/2824165> # Johann Scheuber
    a schema:Person ;
    schema:familyName "Scheuber" ;
    schema:givenName "Johann" ;
    schema:name "Johann Scheuber" ;
    .

<http://worldcat.org/isbn/9780387520483>
    a schema:ProductModel ;
    schema:isbn "0387520481" ;
    schema:isbn "9780387520483" ;
    .

<http://worldcat.org/isbn/9783540520481>
    a schema:ProductModel ;
    schema:isbn "3540520481" ;
    schema:isbn "9783540520481" ;
    .

<http://www.worldcat.org/title/-/oclc/611603251>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/611603251> ; # Foundations of Software Technology and Theoretical Computer Science : ninth conference, Bangalore, India, December 19-21, 1989 : proceedings
    schema:dateModified "2016-09-06" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.