Computer science today : recent trends and developments
This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and sta...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
1000 |
| Sujets: | |
| Accès en ligne: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Note: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Computer science today, recent trends and developments, Jan van Leeuwen, (ed.), 1995, Berlin, Springer, 1 vol. (XIII-641 p.), Lecture notes in computer science, 3-540-60105-8 • Computer Science Today, Texte imprimé, 9783662190760 |
| LEADER | 04568nam a22003377a 4500 | ||
|---|---|---|---|
| 001 | 944808 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155202618 | ||
| 020 | |a 9783540494355 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 100 | 1 | |a Leeuwen, Jan van, |d 1946- | |
| 245 | 1 | 0 | |a Computer science today : |b recent trends and developments |c [edited by] Jan Leeuwen. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 1000 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a A quantum jump in computer science -- Artificial life and real world computing -- Recurrent neural networks -- Scalable computing -- Efficient use of parallel & distributed systems: From theory to practice -- Experimental validation of models of parallel computation -- Quo vadetis, parallel machine models? -- Templates for linear algebra problems -- The ART behind IDEAS -- Algorithmic number theory and its relationship to computational complexity -- Edge-coloring algorithms -- Towards a computational theory of genome rearrangements -- Algebraic topology and distributed computing a primer -- Differential BDDs -- Algorithmic techniques for geometric optimization -- All the needles in a haystack: Can exhaustive search overcome combinatorial chaos? -- Fundamental limitations on search algorithms: Evolutionary computing in perspective -- Mathematical system models as a basis of software engineering -- Formulations and formalisms in software architecture -- The Oz Programming Model -- Standard Generalized Markup Language: Mathematical and philosophical issues -- Avoiding the undefined by underspecification -- Towards a theory of recursive structures -- Chu spaces and their interpretation as concurrent objects -- Abstracting unification: A key step in the design of logic program analyses -- Programming Satan's computer -- Petri Net models of distributed algorithms -- Symmetry and induction in model checking -- Alternating automata and program verification -- Reasoning about actions and change with ramification -- Trends in active vision -- Computational machine learning in theory and praxis -- Fuzzy sets as a tool for modeling -- Information retrieval and informative reasoning -- Database transaction models -- Multimedia authoring tools: State of the art and research challenges -- Computational models for distributed multimedia applications -- Hypermedia systems as internet tools. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a This specially commissioned volume presents a unique collection of expository papers on major topics that are representative for computer science today. The 38 contributions, written by internationally leading experts in the computer science area on personal invitation, demonstrate the scope and stature of the field today and give an impression of the chief motivations and challenges for tomorrow's computer science and information technology. This anthology marks a truly extraordinary and festive moment: it is the 1000th volume published in the Lecture Notes in Computer Science series. It addresses all computer scientists and anybody interested in a representative overview of the field. | ||
| 650 | |a Informatique | ||
| 776 | 0 | |0 024473073 |t Computer science today |o recent trends and developments |f Jan van Leeuwen, (ed.) |d 1995 |c Berlin |n Springer |p 1 vol. (XIII-641 p.) |s Lecture notes in computer science |z 3-540-60105-8 | |
| 776 | 0 | |t Computer Science Today |b Texte imprimé |z 9783662190760 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/BFb0015232 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-2MRLVH4F-H |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747916330 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/BFb0015232 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75092893X |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/BFb0015232 |z Accès INSA CVL | |
| 997 | |0 944808 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||