Ergebnisse filtern
-
- 4447
- 26
- 9
-
- 14
- 207
- 2744
- 1517
-
- 4341
- 136
- 13
-
- 4461
- 21
-
- 1
-
- 4482
- 200
-
Schweikardt On the Expressive Power of First-Order Logic with Built-In Predicates
Erscheinungsjahr 2002Verlag: LogosISBN: 978-3-8325-0017-7Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Iswanto New Algorithms for Learning of Mixture Models and Their Application for Classification and Density Estimation
Erscheinungsjahr 2005Verlag: LogosISBN: 978-3-8325-0809-8Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Niwinski Understanding Computers' Intelligence
Celebrating the 100th Volume of Fundamenta Informaticae in Honour of Helena RasiowaErscheinungsjahr 2010Verlag: IOS PressISBN: 978-1-60750-622-5Medium: BuchLieferzeit ca. 10 Werktage -
Esparza / Spanfelner / Grumberg Logics and Languages for Reliability and Security
Erscheinungsjahr 2010Verlag: IOS PressISBN: 978-1-60750-099-5Medium: BuchLieferzeit ca. 10 Werktage -
Cortier / Kremer Formal Models and Techniques for Analyzing Security Protocols
Erscheinungsjahr 2011Verlag: IOS PressISBN: 978-1-60750-713-0Medium: BuchLieferzeit ca. 10 Werktage -
Schiller Granularity Analysis for Tutoring Mathematical Proofs
Erscheinungsjahr 2011Verlag: IOS PressISBN: 978-1-60750-719-2Medium: BuchLieferzeit ca. 10 Werktage -
Solutions Manual for Probablility and Statistics for Computer Scientists
Erscheinungsjahr 2007Verlag: Taylor & FrancisISBN: 978-1-58488-786-7Medium: BuchKurzfristig nicht lieferbar -
Mossakowski Representations, Hierarchies and Graphs of Institutions
Erscheinungsjahr 2002Verlag: LogosISBN: 978-3-89722-831-3Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Grans Das Duplexsystem mit Rückwärtsbehebung - ein kombiniert redundantes Fehlertoleranzverfahren für verteilte Systeme
Erscheinungsjahr 2001Verlag: LogosISBN: 978-3-89722-591-6Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lambert-Torres / Abe / Da Silva Filho Advances in Technological Applications of Logical and Intelligent Systems
Selected Papers from the Sixth Congress on Logic Applied to TechnologyErscheinungsjahr 2008Verlag: IOS PressISBN: 978-1-58603-936-3Medium: BuchLieferzeit ca. 10 Werktage -
Steinbach Recent Progress in the Boolean Domain
1. Auflage 2014Verlag: Cambridge Scholars PublishingISBN: 978-1-4438-5638-6Medium: BuchLieferzeit ca. 10 Werktage -
Ehrenfeucht / Marek / Srebrny Andrzej Mostowski and Foundational Studies
Erscheinungsjahr 2008Verlag: IOS PressISBN: 978-1-58603-782-6Medium: BuchLieferzeit ca. 10 Werktage -
Pozzato Conditional and Preferential Logics: Proof Methods and Theorem Proving
Erscheinungsjahr 2010Verlag: IOS PressISBN: 978-1-60750-094-0Medium: BuchLieferzeit ca. 10 Werktage -
Haug Emulation synthetisierter Verhaltensbeschreibungen mit VLIW-Prozessoren
Erscheinungsjahr 2001Verlag: LogosISBN: 978-3-89722-645-6Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seyfried Planungs- und Steuerungssystem für die Mikromontage mit Mikrorobotern
Erscheinungsjahr 2003Verlag: LogosISBN: 978-3-8325-0271-3Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wingender Biological Petri Nets
Erscheinungsjahr 2011Verlag: IOS PressISBN: 978-1-60750-703-1Medium: BuchLieferzeit ca. 10 Werktage -
Kummer Axiomatic Systems in Concurrency Theory
Erscheinungsjahr 2001Verlag: LogosISBN: 978-3-89722-597-8Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
edited by Tanya Sienko, Andrew Adamatzky, Michael Conrad, and Nicholas G. Rambidi Molecular Computing
Erscheinungsjahr 2005Verlag: MIT PressISBN: 978-0-262-69331-8Medium: BuchLieferzeit ca. 10 Werktage -
Slezak / Nguyen / Szczuka Logic, Data and Wisdom
To Andrzej Skowron on His 70th BirthdayErscheinungsjahr 2014Verlag: IOS PressISBN: 978-1-61499-355-1Medium: Buchvorbestellbar -
Gambin / Niwinski / Urzyczyn From Mathematical Beauty to the Truth of Nature
To Jerzy Tiuryn on his 60th BirthdayErscheinungsjahr 2011Verlag: IOS PressISBN: 978-1-60750-697-3Medium: BuchLieferzeit ca. 10 Werktage -
Hoffmann Fallstudien relationaler Programmentwicklung am Beispiel ausgewählter Graphdurchlaufstrategien
Erscheinungsjahr 2002Verlag: LogosISBN: 978-3-89722-967-9Medium: Buch40,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Hameurlain / Küng / Thoai Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII
Selected Papers from FDSE 20141. Auflage 2016Verlag: SpringerISBN: 978-3-662-49174-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rutkowski / Zadeh / Siekmann Artificial Intelligence and Soft Computing ¿ ICAISC 2004
7th International Conference Zakopane, Poland, June 7¿11, 2004 Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-22123-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Verjovski-Almeida / Setubal Advances in Bioinformatics and Computational Biology
Brazilian Symposium on Bioinformatics, BSB 2005, Sao Leopoldo, Brazil, July 27-29, 2005, Proceedings2005Verlag: Springer Berlin HeidelbergISBN: 978-3-540-28008-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Walter / Sagot Advances in Bioinformatics and Computational Biology
Second Brazilian Symposium on Bioinformatics, BSB 2007, Angra dos Reis, Brazil, August 29-31, 2007, Proceedings2007Verlag: Springer Berlin HeidelbergISBN: 978-3-540-73730-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ridha Taha Reversible Logic Synthesis Methodologies with Application to Quantum Computing
Softcover Nachdruck of the original 1. Auflage 2016Verlag: Springer International PublishingISBN: 978-3-319-37383-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Martino Intuitionistic Proof Versus Classical Truth
The Role of Brouwer¿s Creative Subject in Intuitionistic MathematicsSoftcover Nachdruck of the original 1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-08971-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Cellucci Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
2013Verlag: Springer NetherlandsISBN: 978-94-007-6090-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Draheim Semantics of the Probabilistic Typed Lambda Calculus
Markov Chain Semantics, Termination Behavior, and Denotational Semantics1. Auflage 2017Verlag: SpringerISBN: 978-3-642-55197-0Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Vesic / Bouraoui Symbolic and Quantitative Approaches to Reasoning with Uncertainty
17th European Conference, ECSQARU 2023, Arras, France, September 19¿22, 2023, Proceedings1. Auflage 2024Verlag: Springer Nature SwitzerlandISBN: 978-3-031-45607-7Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bandini / Sirakoulis Cellular Automata
10th International Conference on Cellular Automata for Research and Industry, ACRI 2012, Santorini Island, Greece, September 24-27, 2012. Proceedings2012Verlag: SpringerISBN: 978-3-642-33349-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Griffin / Kahl Relational and Algebraic Methods in Computer Science
13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, September 17-21, 2012, Proceedings2012Verlag: SpringerISBN: 978-3-642-33313-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sui / Li R-CALCULUS: A Logic of Belief Revision
1. Auflage 2021Verlag: Springer Nature SingaporeISBN: 978-981-16-2943-3Medium: Buch149,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Bose Numerical Methods of Mathematics Implemented in Fortran
1. Auflage 2019Verlag: Springer Nature SingaporeISBN: 978-981-13-7113-4Medium: Buch64,19 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pal Chaudhuri / Pal Choudhury / Ghosh A New Kind of Computational Biology
Cellular Automata Based Models for Genomics and ProteomicsSoftcover Nachdruck of the original 1. Auflage 2018Verlag: Springer Nature SingaporeISBN: 978-981-13-4658-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Swart Philosophical and Mathematical Logic
1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03253-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf Präzises Denken für Informatiker
1. Auflage 2017Verlag: SpringerISBN: 978-3-662-54972-8Medium: Buch32,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Szabó / Markót / Csendes New Approaches to Circle Packing in a Square
With Program Codes2007Verlag: Springer Nature SingaporeISBN: 978-0-387-45673-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Strahm / Sommaruga Turing¿s Revolution
The Impact of His Ideas about Computability1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-22155-7Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tarski Collected Papers
Volume 1 1921-1934. Volume 2 1935-1944. Volume 3 1945-1957. Volume 4 1958-19791. Auflage 2019Verlag: Springer-Verlag GmbHISBN: 978-3-030-05540-0Medium: Buch320,99 € (inkl. MwSt.)
Kurzfristig nicht lieferbar -
Druschel / Rowstron / Kaashoek Peer-to-Peer Systems
First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers2002Verlag: Springer Berlin HeidelbergISBN: 978-3-540-44179-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dimov / Zlatev / Lirkov Numerical Methods and Applications
5th International Conference, NMA 2002, Borovets, Bulgaria, August 20-24, 2002, Revised Papers2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00608-4Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Karl / Wolisz / Willig Wireless Sensor Networks
First European Workshop, EWSN 2004, Berlin, Germany, January 19-21, 2004, Proceedings2004Verlag: Springer Berlin HeidelbergISBN: 978-3-540-20825-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Rudolph / Feitelson Job Scheduling Strategies for Parallel Processing
IPPS '97 Workshop, Geneva, Switzerland, April 5, 1997, Proceedings1997Verlag: Springer Berlin HeidelbergISBN: 978-3-540-63574-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schwiegelshohn / Frachtenberg Job Scheduling Strategies for Parallel Processing
13th International Workshop, JSSPP 2007, Seattle, WA, USA, June 17, 2007, Revised Papers2008Verlag: Springer Berlin HeidelbergISBN: 978-3-540-78698-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Seligman / Schubert / Kumar Formal Verification
An Essential Toolkit for Modern VLSI Design2. Auflage 2023Verlag: Elsevier Science & TechnologyISBN: 978-0-323-95612-3Medium: Buch112,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Scerri / Vincent / Mailler Coordination of Large-Scale Multiagent Systems
2006. Auflage 2005Verlag: Springer Nature SingaporeISBN: 978-0-387-26193-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Nakahara / Ohmi Quantum Computing
From Linear Algebra to Physical Realizations1. Auflage 2008Verlag: Taylor & Francis Ltd (Sales)ISBN: 978-0-7503-0983-7Medium: Buch248,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kendall / Samways Learning to Live in the Knowledge Society
Ifip 20th World Computer Congress, Ifip Tc 3 Ed-L2l Conference, September 7-10, 2008, Milano, Italy2008. Auflage 2008Verlag: Springer Nature SingaporeISBN: 978-0-387-09728-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ghanea-Hercock Applied Evolutionary Algorithms in Java
2003. Auflage 2003Verlag: Springer Nature SingaporeISBN: 978-0-387-95568-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Carnielli / Coniglio / Gabbay Analysis and Synthesis of Logics
How to Cut and Paste Reasoning Systems2008. Auflage 2008Verlag: Springer Nature SingaporeISBN: 978-1-4020-6781-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schuster / Gerhardt Das digitale Universum
Zelluläre Automaten als Modelle der NaturSoftcover Nachdruck of the original 1. Auflage 1995Verlag: Vieweg+Teubner VerlagISBN: 978-3-322-85006-5Medium: Buch59,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gerdes / Kruse / Klawonn Evolutionäre Algorithmen
Genetische Algorithmen ¿ Strategien und Optimierungsverfahren ¿ Beispielanwendungen2004Verlag: Vieweg+Teubner VerlagISBN: 978-3-528-05570-7Medium: Buch32,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Becker / Drechsler Graphenbasierte Funktionsdarstellung
Boolesche und Pseudo-Boolesche Funktionen1998Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02149-0Medium: Buch49,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Analyse von Petri-Netz-Modellen
1990Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-02244-2Medium: Buch44,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schürr Operationales Spezifizieren mit programmierten Graphersetzungssystemen
Formale Definitionen, Anwendungsbeispiele und Werkzeugunterstützung Herausgegeben und eingeleitet von Manfred Nagl1991Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-2021-6Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Metaphern in der Informatik
Modellbildung ¿ Formalisierung ¿ Anwendung1998Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-2096-4Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Breughel Comparative Metric Semantics of Programming Languages
Nondeterminism and Recursion1998Verlag: Birkhäuser BostonISBN: 978-0-8176-3927-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stucky / Herschel Automaten Sprachen Berechenbarkeit
Grundkurs Angewandte Informatik IV2., durchgesehene Auflage 1995Verlag: Vieweg+Teubner VerlagISBN: 978-3-519-12937-0Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wagenknecht / Hielscher Formale Sprachen, abstrakte Automaten und Compiler
Lehr- und Arbeitsbuch für Grundstudium und Fortbildung1. Auflage 2009Verlag: SpringerISBN: 978-3-8348-0624-6Medium: Buch29,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Andersen / Nake Computers and Signs
Prolegomena to a Semiotic Foundation of Computing Science1. Auflage 2007Verlag: SYNCHRON - Wissenschaftsverlag der AutorenISBN: 978-3-935025-19-5Medium: Buch34,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Kastens / Kleine Büning Modellierung
Grundlagen und formale Methoden4. überarbeitete Auflage 2018Verlag: Carl HanserISBN: 978-3-446-45539-9Medium: Buch33,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desel Struktur und Analyse von Free-Choice-Petrinetzen
1992Verlag: Deutscher UniversitätsverlagISBN: 978-3-8244-2030-8Medium: Buch54,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Argüelles Méndez / Seising Accuracy and Fuzziness. A Life in Science and Politics
A Festschrift book to Enric Trillas RuizSoftcover Nachdruck of the original 1. Auflage 2015Verlag: Springer International PublishingISBN: 978-3-319-35871-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Editor-in-Chief: Daniel Kroening Formal Methods in System Design
An International JournalVerlag: SpringerISSN: 09259856Medium: Zeitschrift
1.330,01 € (inkl. MwSt.)
zzgl. 46,55 € Versandkosten des Verlages
-
Editor-in-Chief: Daniel Kroening Formal Methods in System Design
An International JournalVerlag: SpringerISSN: 15728102Medium: Zeitschrift
1.132,06 € (inkl. MwSt.)
-
Halbwachs Synchronous Programming of Reactive Systems
1993Verlag: Springer USISBN: 978-0-7923-9311-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koblitz Towards a Quarter-Century of Public Key Cryptography
A Special Issue of DESIGNS, CODES AND CRYPTOGRAPHY An International Journal. Volume 19, No. 2/3 (2000)<em>Nachdrucked from DESIGNS, CODES AND CRYPTOGRAPHY, 19:2/3 </em> 2000Verlag: Springer USISBN: 978-0-7923-7802-0Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
van Ditmarsch / Kooi / van der Hoek Dynamic Epistemic Logic
2008Verlag: Springer NetherlandsISBN: 978-1-4020-6908-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
de Klerk Aspects of Semidefinite Programming
Interior Point Algorithms and Selected Applications1. Auflage. Softcover version of original hardcover Auflage 2002Verlag: Springer USISBN: 978-1-4419-5216-5Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Shvartsman / Kanellakis Fault-Tolerant Parallel Computation
Softcover Nachdruck of hardcover 1. Auflage 1997Verlag: Springer USISBN: 978-1-4419-5177-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Ribeiro Belief Revision in Non-Classical Logics
2013Verlag: SpringerISBN: 978-1-4471-4185-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Koblitz Towards a Quarter-Century of Public Key Cryptography
A Special Issue of DESIGNS, CODES AND CRYPTOGRAPHY An International Journal. Volume 19, No. 2/3 (2000)Softcover Nachdruck of hardcover 1. Auflage 2000Verlag: Springer USISBN: 978-1-4419-4972-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Singh Using Event-B for Critical Device Software Systems
2013Verlag: SpringerISBN: 978-1-4471-5790-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Stirling Modal and Temporal Properties of Processes
Softcover Nachdruck of the original 1. Auflage 2001Verlag: SpringerISBN: 978-1-4419-3153-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sjöstedt / Olsson Systems Approaches and Their Application
Examples from Sweden2004Verlag: Springer NetherlandsISBN: 978-1-4020-2369-9Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pardalos Mathematical Theory of Optimization
1. Auflage. Softcover version of original hardcover Auflage 2001Verlag: Springer USISBN: 978-1-4419-5202-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Krogstie Model-Based Development and Evolution of Information Systems
A Quality Approach2012Verlag: SpringerISBN: 978-1-4471-2935-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Robbins The Cray X-MP/Model 24
A Case Study in Pipelined Architecture and Vector Processing1989Verlag: SpringerISBN: 978-0-387-97089-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Brown / Leeser Hardware Specification, Verification and Synthesis: Mathematical Aspects
Mathematical Sciences Institute Workshop. Cornell University Ithaca, New York, USA. July 5-7, 1989. Proceedings1990Verlag: SpringerISBN: 978-0-387-97226-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Capocelli / DeSantis / Vaccaro Sequences II
Methods in Communication, Security, and Computer Science1993. Auflage 1992Verlag: Palgrave MacMillan UKISBN: 978-0-387-97940-3Medium: Buch103,50 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Immerman Descriptive Complexity
1999. Auflage 1998Verlag: Springer Nature SingaporeISBN: 978-0-387-98600-5Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Astola / Stankovic Spectral Interpretation of Decision Diagrams
2003Verlag: SpringerISBN: 978-0-387-95545-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schott / Feinsilver Algebraic Structures and Operator Calculus
Volume II: Special Functions and Computer Science1994Verlag: Springer NetherlandsISBN: 978-0-7923-2921-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zufferey / Beyer Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16¿21, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-39321-2Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Keller / Beyer Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9¿11, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-31156-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Sampaio / Ribeiro Unifying Theories of Programming
7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-31037-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Lover Elementary Logic
For Software Development2008Verlag: SpringerISBN: 978-1-84800-081-0Medium: Buch42,79 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Gabbrielli Logic-Based Program Synthesis and Transformation
29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8¿10, 2019, Revised Selected Papers1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-45259-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Spivak / Schultz Temporal Type Theory
A Topos-Theoretic Approach to Systems and Behavior1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-00703-4Medium: Buch128,39 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Schaefer / Müller Principled Software Development
Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th BirthdaySoftcover Nachdruck of the original 1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-07442-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Tapia Tarifa / Ahrendt Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2¿6, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-34967-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Zufferey / Zamani Numerical Software Verification
12th International Workshop, NSV 2019, New York City, NY, USA, July 13¿14, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-28422-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Dongol / Smith / Petre Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-32440-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Wolf / Parker Quantitative Evaluation of Systems
16th International Conference, QEST 2019, Glasgow, UK, September 10¿12, 2019, Proceedings1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-30280-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Fahrenberg / Winter / Jipsen Relational and Algebraic Methods in Computer Science
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26¿29, 2020, Proceedings1. Auflage 2020Verlag: Springer International PublishingISBN: 978-3-030-43519-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Steffen / Margaria Leveraging Applications of Formal Methods, Verification and Validation. Modeling
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-03417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Crespi Reghizzi / Morzenti / Breveglieri Formal Languages and Compilation
3rd Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-04878-5Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Riis Nielson / Nielson Formal Methods
An Appetizer1. Auflage 2019Verlag: Springer International PublishingISBN: 978-3-030-05155-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Desharnais / Joosten / Guttmann Relational and Algebraic Methods in Computer Science
17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 ¿ November 1, 2018, Proceedings1. Auflage 2018Verlag: Springer International PublishingISBN: 978-3-030-02148-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort