- 5 resultaten
laagste prijs: € 15,36, hoogste prijs: € 135,29, gemiddelde prijs: € 68,67
1
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Hariharan, Ramesh (Herausgeber); Vinay, V. (Herausgeber); Mukund, Madhavan (Herausgeber)
bestellen
bij Achtung-Buecher.de
€ 55,60
verzending: € 0,001
bestellenGesponsorde link
Hariharan, Ramesh (Herausgeber); Vinay, V. (Herausgeber); Mukund, Madhavan (Herausgeber):

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - nieuw boek

2001, ISBN: 3540430024

2001 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Informatik, Software Engineering, Angewandte Informatik, Theoretische Informatik, algorithm; algorith… Meer...

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - Ramesh Hariharan
bestellen
bij ZVAB.com
€ 53,74
verzending: € 0,001
bestellenGesponsorde link

Ramesh Hariharan:

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings - pocketboek

2001, ISBN: 3540430024

[EAN: 9783540430025], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; INFORMATIK; ALGORITHM; ALGORITHMS; COMPLEXITY; COMPUTERSCIEN… Meer...

NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
3
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 1st Edition (eBook Rental)
bestellen
bij VitalSource.com
$ 16,50
(ongeveer € 15,36)
bestellenGesponsorde link
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 1st Edition (eBook Rental) - nieuw boek

2001

ISBN: 9783540430025

1st Edition, by Madhavan Mukund; V. Vinay; Ramesh Hariharan, PRINT ISBN: 9783540430025 E-TEXT ISBN: 9783540452942 Springer Nature eBook Other pricing structure might be available at vital… Meer...

new in stock United States. Verzendingskosten:plus shipping costs., exclusief verzendingskosten
4
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science)
bestellen
bij AbeBooks.de
€ 135,29
verzending: € 23,251
bestellenGesponsorde link
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings (Lecture Notes in Computer Science) - pocketboek

2008, ISBN: 3540430024

[EAN: 9783540430025], Gebraucht, wie neu, [PU: Springer], Like New, Books

NOT NEW BOOK. Verzendingskosten: EUR 23.25 Mispah books, Redhill, SURRE, United Kingdom [82663586] [Rating: 4 (von 5)]
5
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedin - Hariharan, Ramesh
bestellen
bij AbeBooks.de
€ 83,36
verzending: € 14,521
bestellenGesponsorde link
Hariharan, Ramesh:
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science : 21st Conference, Bangalore, India, December 13-15, 2001, Proceedin - pocketboek

2001, ISBN: 3540430024

[EAN: 9783540430025], Neubuch, [PU: Springer 2001-11], Books

NEW BOOK. Verzendingskosten: EUR 14.52 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 5 (von 5)]

1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, ... Notes in Computer Science, 2245, Band 2245)

This book constitutes the refereed proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science, FST TCS 2001, held in Bangalore, India in December 2001.The 23 revised full papers presented together with five invited papers were carefully reviewed and selected from 73 submissions. Among the issues addressed are randomization and derandomization, approximation, Kolmogorov complexity, pseudo-randomness, tree search, model checking, data structures, deterministic algorithms, formal verification, parallel algorithms, minimum-degree spanning trees, scheduling, Petri nets, equivalence logic, and rewriting.

Gedetalleerde informatie over het boek. - FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, ... Notes in Computer Science, 2245, Band 2245)


EAN (ISBN-13): 9783540430025
ISBN (ISBN-10): 3540430024
Gebonden uitgave
pocket book
Verschijningsjaar: 2001
Uitgever: Springer
364 Bladzijden
Gewicht: 0,550 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-11-11T22:53:46+01:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-02-08T15:16:36+01:00 (Amsterdam)
ISBN/EAN: 9783540430025

ISBN - alternatieve schrijfwijzen:
3-540-43002-4, 978-3-540-43002-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: hariharan, ramesh, vinay
Titel van het boek: bangalore, theoretical computer science, war 2001, the wonder that was india, software, foundations science, lecture notes computer science, science and technology, computer science 1st edition ebook


Gegevens van de uitgever

Auteur: Ramesh Hariharan; Madhavan Mukund; V. Vinay
Titel: Lecture Notes in Computer Science; FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings
Uitgeverij: Springer; Springer Berlin
352 Bladzijden
Verschijningsjaar: 2001-11-28
Berlin; Heidelberg; DE
Taal: Engels
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XII, 352 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; algorithm; algorithms; complexity; computer; computer science; data structure; data structures; formal verification; logic; model checking; petri net; verification; Theory of Computation; Software Engineering; Computer and Information Systems Applications; Computer Science Logic and Foundations of Programming; Compilers and Interpreters; Formal Languages and Automata Theory; Software Engineering; Angewandte Informatik; Compiler und Übersetzer; EA

Invited Papers.- When Worlds Collide: Derandomization, Lower Bounds, and Kolmogorov Complexity.- Approximation Schemes for Geometric NP-Hard Problems: A Survey.- On Clustering Using Random Walks.- An Introduction to Decidability of DPDA Equivalence.- Semidefinite Programming Based Approximation Algorithms.- Contributed Papers.- Hard Sets and Pseudo-random Generators for Constant Depth Circuits.- The First-Order Isomorphism Theorem.- Thresholds and Optimal Binary Comparison Search Trees.- Distributed LTL Model Checking Based on Negative Cycle Detection.- Computability and Complexity Results for a Spatial Assertion Language for Data Structures.- Using Nondeterminism to Design Efficient Deterministic Algorithms.- Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.- A Mechanically Verified Compiling Specification for a Lisp Compiler.- Beyond Regular Model Checking.- Relations Between Communication Complexity, Linear Arrangements, and Computational Complexity.- Optimal, Output-Sensitive Algorithms for Constructing Upper Envelope of Line Segments in Parallel.- List Decoding from Erasures: Bounds and Code Constructions.- Verification of a Leader Election Algorithm in Timed Asynchronous Systems.- Efficient Addition on Field Programmable Gate Arrays.- The Directed Minimum-Degree Spanning Tree Problem.- I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems.- Beyond Message Sequence Graphs.- Grouping Techniques for One Machine Scheduling Subject to Precedence Constraints.- Properties of Distributed Timed-Arc Petri Nets.- From Falsification to Verification.- On Polynomial Representations of Boolean Functions Related to Some Number Theoretic Problems.- Range Allocation for Equivalence Logic.- Rewrite Closure for Ground and Cancellative AC Theories.

Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:

Laatste soortgelijke boek:
9783540138839 Foundations of Software Technology and Theoretical Computer Science (Joseph, Mathai Shyamasundar, Rudrapatna)


< naar Archief...