martin wirsing (86 Ergebnisse)

Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present.

Broschiert. Zustand: Gut. X, 228 Seiten; Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.). Schnitt und Einband sind etwas staubschmutzig; Einbandkanten sind leicht bestossen; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Sprache: Deutsch Gewicht in Gramm: 380.

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations.

gebundene Ausgabe. Zustand: Gut. 466 Seiten Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Das Buch ist originaleingeschweißt. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 785.

Postkarte. Zustand: Gut. Postkarte von Martin Wirsing bildseitig mit schwarzem Stift signiert mit eigenhändigem Zusatz "Viele Grüße". /// Autogramm Autograph signiert signed signee /// Martin Wirsing (* 25. Dezember 1964 in Frankfurt am Main) ist ein deutscher Reporter, Moderator und Senderedakteur. Nach Abitur und Wehrdienst bei der Bundeswehr besuchte Wirsing eine private Schauspielschule. Später folgte eine Banklehre und das Diplom im Fach Volkswirtschaftslehre. Im Jahr 1992 gewann er bei RTL Plus die Castingshow Showmaster. Seit 1998 arbeitet Wirsing beim hr. Seit 2003 ist er für die Hessenschau tätig, als deren Nachrichtensprecher er bekannt wurde und für die er außerdem als Moderator, Reporter und Senderedakteur fungiert /// Standort Wimregal GAD-20.028 Sprache: Deutsch Gewicht in Gramm: 10.

Postkarte. Zustand: Gut. Postkarte von Martin Wirsing bildseitig mit weißem Stift signiert. /// Autogramm Autograph signiert signed signee /// Martin Wirsing (* 25. Dezember 1964 in Frankfurt am Main) ist ein deutscher Reporter, Moderator und Senderedakteur. Nach Abitur und Wehrdienst bei der Bundeswehr besuchte Wirsing eine private Schauspielschule. Später folgte eine Banklehre und das Diplom im Fach Volkswirtschaftslehre. Im Jahr 1992 gewann er bei RTL Plus die Castingshow Showmaster. Seit 1998 arbeitet Wirsing beim hr. Seit 2003 ist er für die Hessenschau tätig, als deren Nachrichtensprecher er bekannt wurde und für die er außerdem als Moderator, Reporter und Senderedakteur fungiert /// Standort Wimregal PKis-Box92-U017 Sprache: Deutsch Gewicht in Gramm: 10.

Broschiert. Zustand: Gut. 268 S. Das Buch ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 430.

Zustand: Gut. Zustand: Gut | Seiten: 504 | Sprache: Englisch | Produktart: Bücher.

gebundene Ausgabe. Zustand: Gut. 420 Seiten Das Buch befindet sich in einem ordentlich erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 735.

paperback. Zustand: Gut. 472 Seiten; 9783540205371.3 Gewicht in Gramm: 1.

Broschiert. Zustand: Gut. 533 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 890.

Broschiert. Zustand: Gut. XII, 640 S. : graph. Darst. Der Buchzustand ist ordentlich erhalten und kann altersbedingte Gebrauchsspuren aufweisen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 870.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 378 | Sprache: Englisch | Produktart: Bücher.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Towards a theory of relativizations: Positive relativizations.- Natural semantics.- On local routing of two-terminal nets.- Geometric relations among Voronoi diagrams.- Finding the largest empty rectangle on a grated surface.- Efficient graph algorithms using limited communication on a fixed-size array of processors.- On selecting the largest element in spite of erroneous information.- The correlation between the complexities of the non-hierarchical and hierarchical versions of graph problems.- Graph isomorphism is in the low hierarchy.- A hierarchy theorem for almost everywhere complex sets with application to polynomial complexity degrees.- Self-reducibility.- Probability one separation of the Boolean hierarchy.- Reversal complexity of multicounter and multihead machines.- Computing the counting function of context-free languages.- On the k-freeness of morphisms on free monoids.- Avoidable patterns on 2 letters.- Polynomial operations on rational languages.- Some structural aspects of hypergraph languages generated by hyperedge replacement.- Specification and implementation of concurrently accessed data structures: An abstract data type approach.- On implementations of loose abstract data type specifications and their vertical composition.- Are homomorphisms sufficient for behavioural implementations of deterministic and nondeterministic data types .- Some remarks on presentations by finite Church-Rosser Thue systems.- Ground term confluence in parametric conditional equational specifications.- Describing semantic domains with sprouts.- Comparing direct and continuation semantics styles for concurrent languages.- Expressibility of first order logic with a nondeterministic inductive operator.- Bounded nondeterminism and the approximation induction principle in process algebra.- The step failure semantics.- On the complexity of containment, equivalence, and reachability for finite and 2-dimensional vector addition systems with states.- Closure properties of deterministic Petri nets.- Some results on fairness: The regular case.- Decidability questions for fairness in Petri nets.- Optimal sorting on multi-dimensionally mesh-connected computers.- On the contact-minimization-problem.- Making distributed spanning tree algorithms fault-resilient.- The derivation of on-the-fly garbage collection algorithms from distributed termination detection protocols.- On the expected complexity of distributed selection.- LPG: A generic, logic and functional programming language.- CEC.- ASSPEGIQUE.- REVEUR4 : A laboratory for conditional rewriting.- An interactive, incremental and portable computer algebra system for -calculus and combinatory logic based on video edition and rewriting techniques.- The Passau RAP System: Rapid prototyping for algebraic specifications.- SPRAC: A software engineering environment.- SLOG: A logic interpreter for equational clauses.- An algebraic transformation system for occam programs.- REVE a rewrite rule laboratory.

Zustand: Gut. 1. Aufl.;. Gr.8° 228 Seiten, 87 Abbildungen, 6 Tabellen; Orig.-Broschur; 420g; [Deutsch]; leichte Lager-/ Gebrauchsspuren 1. Auflage; _ xXx_. BUCH.

Zustand: New. In German.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the presentations of the Fifth Symposium on Theoretical Aspects of Computer Science (STACS 88) held at the University of Bordeaux, February 11-13, 1988. In addition to papers presented in the regular program the volume contains abstracts of software systems demonstrations which were included in this conference series in order to show applications of research results in theoretical computer science. The papers are grouped into the following thematic sections: algorithms, complexity, formal languages, rewriting systems and abstract data types, graph grammars, distributed algorithms, geometrical algorithms, trace languages, semantics of parallelism.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers accepted for presentation atthe Fourth International Symposium on Programming LanguageImplementation and Logic Programming (PLILP '92) held inLeuven, Belgium, August 26-28, 1992.Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for implementationof all kinds of programming languages, whether algorithmicor declarative. The symposium gathered researchers fromthe fields of algorithmic programming languages as well aslogic, functional, and object-oriented programming.The topics discussed in the volume include:- Declarative implementation techniques;- Implementation of declarative concepts and modules;- Compiler specification and construction;- Program transformation;- Programming environments for declarative languages;- Amalgamation of logic programming with algorithmic,functional, or object-oriented techniques;- Executable specification.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - To identify the emergent trends in software-intensive and distributed and decentralized computer systems and their impact on the Information Society in the next 10--15 years, the European Commission has established two Coordinated Actions: Initially the project `Beyond the Horizon' and then, starting in 2006, the project `InterLink'.This state-of-the-art survey presents the results of three workshops of the InterLink working group on software-intensive systems and novel computing paradigms. The objective was to imagine the landscape in which next generations of software-intensive systems will operate and the challenges they present to computing, software engineering, cognition and intelligence.The volume starts with an overview of the current state of the art and the research missions in engineering software-intensive systems. The remainder of the book consists of 15 invited papers of the working group participants and is structured in three major parts: ensemble engineering, theory and formal methods, and novel computing paradigms. These papers cover a broad spectrum of relevant topics ranging from methods, languages and tools for ensemble engineering, socio-technical and cyber-physical systems, ensembles in urban environments, formal methods and mathematical foundations for ensembles, orchestration languages to disruptive paradigms such as molecular and chemical computing.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the papers which have been accepted forpresentation atthe Third International Symposium onProgramming Language Implementation andLogic Programming(PLILP '91) held in Passau, Germany, August 26-28, 1991. Theaim of the symposium was to explore new declarativeconcepts, methods and techniques relevant for theimplementation of all kinds of programming languages,whether algorithmic or declarative ones. The intention wasto gather researchers from the fields of algorithmicprogramming languages as well as logic, functional andobject-oriented programming. This volume contains the twoinvited talks given at the symposium by H. Ait-Kaci andD.B. MacQueen, 32 selected papers, and abstracts of severalsystem demonstrations. The proceedings of PLILP '88 andPLILP '90 are available as Lecture Notes in Computer ScienceVolumes 348 and 456.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Conference on Knowledge Science, Engineering and Management, KSEM 2015, held in Chongqing, China, in October 2015. The 57 revised full papers presented together with 22 short papers and 5 keynotes were carefully selected and reviewed from 247 submissions. The papers are organized in topical sections on formal reasoning and ontologies; knowledge management and concept analysis; knowledge discovery and recognition methods; text mining and analysis; recommendation algorithms and systems; machine learning algorithms; detection methods and analysis; classification and clustering; mobile data analytics and knowledge management; bioinformatics and computational biology; and evidence theory and its application.

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 748 | Sprache: Englisch | Produktart: Bücher.

Broschiert. Zustand: Gut. 616 Seiten Das Buch befindet sich in einem gut erhaltenen Zustand. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 915.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains the proceedings of ICTAC 2005, the second ICTAC, International Colloquium on Theoretical Aspects of Computing. ICTAC 2005 took place in Hanoi, Vietnam, October 17-21, 2005. ICTAC was founded by the International Institute for Software Technology of the United Nations University (UNU-IIST) to serve as a forum for practiti- ers, lecturers and researchers from academia, industry and government who are interested in theoretical aspects of computing and rigorous approaches to so- ware engineering. The colloquium is aimed particularly, but not exclusively, at participants from developing countries. We believe that this will help developing countries to strengthen their research, teaching and development in computer science and engineering, improve the links between developing countries and developed countries, and establish collaboration in research and education. By providingavenueforthediscussionofcommonproblemsandtheirsolutions,and for the exchangeof experiencesand ideas,this colloquiumsupportsresearchand development in computer science and software technology. ICTAC is attracting more and more attention from more and more countries.

Zustand: New. In.