Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile
1984, ISBN: 3540138838
[EAN: 9783540138839], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK ALGORITHM ALGORITHMS COMPUTERSCIENCE DATABASE DESIG… Altro …
| AbeBooks.de moluna, Greven, Germany [73551232] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - nuovo libro
1984, ISBN: 3540138838
1984 Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Software Engineering, algorithm; algorithms; computerscience; Database; Desi… Altro …
| Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1984, ISBN: 9783540138839
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic for knowledge repre… Altro …
| booklooker.de |
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - edizione con copertina flessibile
1984, ISBN: 9783540138839
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984. Paperback. Good. Former library book. Slight signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this it… Altro …
| Biblio.co.uk |
Foundations of Software Technology and Theoretical Computer Science : Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - edizione con copertina flessibile
ISBN: 9783540138839
paperback, [PU: Springer, Berlin/Heidelberg]
| Blackwells.co.uk |
Foundations of Software Technology and Theoretical Computer Science - edizione con copertina flessibile
1984, ISBN: 3540138838
[EAN: 9783540138839], Neubuch, [PU: Springer Berlin Heidelberg], ALGORITHMUS EDV THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING MATHEMATIK ALGORITHM ALGORITHMS COMPUTERSCIENCE DATABASE DESIG… Altro …
Shyamasundar, R. (Herausgeber); Joseph, M. (Herausgeber):
Foundations of Software Technology and Theoretical Computer Science Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - nuovo libro1984, ISBN: 3540138838
1984 Kartoniert / Broschiert Algorithmus, EDV / Theorie / Software-Entw. / Software Engineering, Mathematik, Software Engineering, algorithm; algorithms; computerscience; Database; Desi… Altro …
1984
ISBN: 9783540138839
edizione con copertina flessibile
[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Logic for knowledge repre… Altro …
Foundations of Software Technology and Theoretical Computer Science: Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings - edizione con copertina flessibile
1984, ISBN: 9783540138839
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984. Paperback. Good. Former library book. Slight signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this it… Altro …
Dati bibliografici del miglior libro corrispondente
Informazioni dettagliate del libro - Foundations of Software Technology and Theoretical Computer Science
EAN (ISBN-13): 9783540138839
ISBN (ISBN-10): 3540138838
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1984
Editore: Springer Berlin Heidelberg
480 Pagine
Peso: 0,719 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2007-04-26T13:23:45+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-02-13T20:36:02+01:00 (Zurich)
ISBN/EAN: 9783540138839
ISBN - Stili di scrittura alternativi:
3-540-13883-8, 978-3-540-13883-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : joseph, shyam, mathai
Titolo del libro: 181, bangalore, theoretical computer science, 1984, proceedings the fourth conference, software, proceedings all india, foundations science, science and technology, foundation
Dati dell'editore
Autore: M. Joseph; R. Shyamasundar
Titolo: Lecture Notes in Computer Science; Foundations of Software Technology and Theoretical Computer Science - Fourth Conference, Bangalore, India December 13-15, 1984. Proceedings
Editore: Springer; Springer Berlin
470 Pagine
Anno di pubblicazione: 1984-11-01
Berlin; Heidelberg; DE
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 470 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Computer; Software; algorithm; algorithms; computer science; database; design; functional programming; knowledge representation; logic; modeling; petri net; programming; theoretical computer science; algorithm analysis and problem complexity; Software Engineering; Algorithms; Algorithmen und Datenstrukturen; EA
Logic for knowledge representation.- Logical specification and implementation.- Process specification of logic programs.- Functional programming systems revisited.- Models and transformations for nondeterministic extensions of functional programming.- Degrees of non-determinism and concurrency: A Petri net view.- Proof rules for communication abstractions.- A distributed algorithm for detecting communication deadlocks.- On the existence and construction of robust communication protocols for unreliable channels.- Heuristic search approach to optimal routing in a distributed architecture.- Replacement in monotone Boolean networks: An algebraic perspective.- A new characterization of BPP.- Treating terminals as function values of time.- Logics of knowledge, games and dynamic logic.- Persistent first class procedures are enough.- Abstraction concepts for modeling screen oriented dialogue interfaces.- VLSI systems for design rule checks.- Bounds on the length of convex partitions of polygons.- On mapping cube graphs onto VLSI arrays.- A linear-time algorithm for determining the intersection type of two star polygons.- Eliminating cascading rollback in structured databases.- Recognition and top-down generation of ?-acyclic database schemes.- Universal and representative instances using unmarked nulls.- On some computational problems related to data base coding.- Generic oracles.- Approximation algorithm for maximum independent set in planar traingle-free graphs.- Grid file algorithms: An analysis in the biased case.- On the mean weight balance factor of binary trees.- An efficient algorithm for random sampling without replacement.- Proof rules for communication abstractions.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387587158 Foundations of Software Technology and Theoretical Computer Science: 14th Conference, Madras, India, December 15-17, 1994 : Proceedings (P. S. Thiagarajan)
- 9780387138831 Foundations of Software Technology and Theoretical Computer Science (Lecture Notes in Computer Science) (Editor-Mathai Joseph)
- 9780387534879 Foundations of Software Technology and Theoretical Computer Science 10th Conference, Bangalore, India, Dec. 17-19, 1990 Proceedings (Lecture Notes in Computer Science) (Kesav V. Nori)
- 9780387549675 Foundations of Software Technology and Theoretical Computer Science 11th Conference, New Delhi, India December 17-19, 1991 Proceedings (S. Biswas; Editor-Kesav V. Nori)
- 9780387171791 Foundations of Software Technology and Theoretical Computer Science: Sixth Conference, New Delhi, India December 18-20, 1986 Proceedings (Editor-Kesav V. Nori)
- 9780387575292 Foundations of Software Technology and Theoretical Computer Science: 13th Conference Bombay, India, December 15-17, 1993 : Proceedings (R. K. Shyamasundar)
- FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science. 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings. (Hariharan, Ramesh et al. (Eds.))
< Per archiviare...