Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- 103 Angewandte Informatik
- 41 Betriebssysteme
- 11 Business Application
- 120 Computerkommunikation & -vernetzung
- 135 Daten / Datenbanken
- 3 Digital Lifestyle
- 25 EDV & Informatik Allgemein
- 906 Informatik
- 53 Professionelle Anwendung
- 552 Programmierung | Softwareentwicklung
- 245 Technische Informatik
-
- 1142
-
- 1129
- 1
- 12
-
- 49
- 901
- 192
-
- 1142
-
- 1142
-
- 1142
- 14
-
Ferrández Vicente / Álvarez-Sánchez / de la Paz López Biomedical Applications Based on Natural and Artificial Computing
International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2017, Corunna, Spain, June 19-23, 2017, Proceedings, Part II1. Auflage 2017Verlag: SpringerISBN: 978-3-319-59772-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rykov / Singpurwalla / Zubkov Analytical and Computational Methods in Probability Theory
First International Conference, ACMPT 2017, Moscow, Russia, October 23-27, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-71503-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Correia / Ciesielski / Liapis Computational Intelligence in Music, Sound, Art and Design
6th International Conference, EvoMUSART 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-55749-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guerraoui / Petit Stabilization, Safety, and Security of Distributed Systems
11th International Symposium, SSS 2009, Lyon, France, November 3-6, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-05117-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jain / Stephan Theory and Applications of Models of Computation
12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings2015Verlag: SpringerISBN: 978-3-319-17141-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Frangi / Radeva / Santos Functional Imaging and Modeling of the Heart
Third International Workshop, FIMH 2005, Barcelona, Spain, June 2-4, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-26161-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mira / Ferrández / Alvarez Sanchez Bioinspired Applications in Artificial and Natural Computation
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02266-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mira / Ferrández / Alvarez Sanchez Methods and Models in Artificial and Natural Computation. A Homage to Professor Mira's Scientific Legacy
Third International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2009, Santiago de Compostela, Spain, June 22-26, 2009, Proceedings, Part IErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02263-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part II1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86339-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bonato / Chung Graham / Pralat Algorithms and Models for the Web Graph
14th International Workshop, WAW 2017, Toronto, ON, Canada, June 15–16, 2017, Revised Selected Papers1. Auflage 2017Verlag: SpringerISBN: 978-3-319-67809-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bonato / Janssen Algorithms and Models for the Web Graph
9th International Workshop, WAW 2012, Halifax, NS, Canada, June 22-23, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-30540-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers2015Verlag: SpringerISBN: 978-3-319-17403-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Felber / Garg Stabilization, Safety, and Security of Distributed Systems
16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11763-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bonato / Mitzenmacher / Pralat Algorithms and Models for the Web Graph
10th International Workshop, WAW 2013, Cambridge, MA, USA, December 14-15, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03535-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fahrenberg / Tripakis Formal Modeling and Analysis of Timed Systems
9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24309-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bonato / Pralat / Raigorodskii Algorithms and Models for the Web Graph
15th International Workshop, WAW 2018, Moscow, Russia, May 17-18, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-92870-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Asarin / Bouyer Formal Modeling and Analysis of Timed Systems
4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-45026-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Dima / Shirmohammadi Formal Modeling and Analysis of Timed Systems
19th International Conference, FORMATS 2021, Paris, France, August 24-26, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-85036-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Abate / Geeraerts Formal Modeling and Analysis of Timed Systems
15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-65764-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cassez / Jard Formal Modeling and Analysis of Timed Systems
6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-85777-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ouaknine / Vaandrager Formal Modeling and Analysis of Timed Systems
7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04367-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jurdzinski / Nickovic Formal Modeling and Analysis of Timed Systems
10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33364-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brodnik / Lopez-Ortiz / Raman Space-Efficient Data Structures, Streams, and Algorithms
Papers in Honor of J. Ian Munro, on the Occasion of His 66th BirthdayErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40272-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lassiter / Slavkovik New Directions in Logic, Language, and Computation
ESSLLI 2010 and ESSLLI 2011 Student Sessions, Selected Papers1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31466-7Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Richa / Scheideler Stabilization, Safety, and Security of Distributed Systems
14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33535-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39276-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Brodnik / Vahrenhold Informatics in Schools. Curricula, Competences, and Competitions
8th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2015, Ljubljana, Slovenia, September 28 - October 1, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-25395-4Medium: Buch51,36 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14402-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Braberman / Fribourg Formal Modeling and Analysis of Timed Systems
11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40228-9Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Giacobini / Vanneschi / Bush Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
10th European Conference, EvoBIO 2012, Málaga, Spain, April 11-13, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-29065-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bonato / Graham / Pralat Algorithms and Models for the Web Graph
13th International Workshop, WAW 2016, Montreal, QC, Canada, December 14-15, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-49786-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Guerraoui / Romano Transactional Memory. Foundations, Algorithms, Tools, and Applications
COST Action Euro-TM IC10012015Verlag: SpringerISBN: 978-3-319-14719-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fränzle / Markey Formal Modeling and Analysis of Timed Systems
14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44877-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Devismes / Mittal Stabilization, Safety, and Security of Distributed Systems
22nd International Symposium, SSS 2020, Austin, TX, USA, November 18-21, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-64347-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Iwama / Kawano / Murao Theory of Quantum Computation, Communication, and Cryptography
7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-35655-1Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ghaffari / Nesterenko / Tixeuil Stabilization, Safety, and Security of Distributed Systems
21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-34991-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Miao / Tian / Liu Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers1. Auflage 2020Verlag: SpringerISBN: 978-3-030-41417-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kaminski / Pralat / Szufel Algorithms and Models for the Web Graph
17th International Workshop, WAW 2020, Warsaw, Poland, September 21-22, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-48477-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Liu / Duan Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-04914-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ekárt / Liapis / Castro Pena Computational Intelligence in Music, Sound, Art and Design
8th International Conference, EvoMUSART 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24-26, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-16666-3Medium: Buch62,05 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tian / Nagoya / Liu Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-90103-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Xue / Nagoya / Liu Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers1. Auflage 2021Verlag: SpringerISBN: 978-3-030-77473-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kumar / Sivakumar Algorithms and Models for the Web-Graph
7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010, Proceedings2010Verlag: SpringerISBN: 978-3-642-18008-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Izumi / Kuznetsov Stabilization, Safety, and Security of Distributed Systems
20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03231-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Bertrand / Jansen Formal Modeling and Analysis of Timed Systems
18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-57627-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ogihara / Tarui Theory and Applications of Models of Computation
8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20876-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Panigraphi / Suganthan / Das Swarm, Evolutionary, and Memetic Computing, Part II
Second International Conference, SEMCCO 2011, Visakhapatnam, India, December 19-21, 2011, Proceedings, Part II1. Auflage 2011Verlag: SpringerISBN: 978-3-642-27241-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gopal / Agrawal / Li Theory and Applications of Models of Computation
11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-06088-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
McMillan / Middeldorp / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-45220-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cooper / Löwe / Sorbi Computation and Logic in the Real World
Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73000-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
7th European Conference, EvoBIO 2009 Tübingen, Germany, April 15-17, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01183-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stützle / Birattari / Hoos Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
International Workshop, SLS 2007, Brussels, Belgium, September 6-8, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74445-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beyersdorff / Wintersteiger Theory and Applications of Satisfiability Testing - SAT 2018
21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-94143-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16557-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Boztas / Lu Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings1. Auflage 2007Verlag: SpringerISBN: 978-3-540-77223-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Mladenov / Koprinkova-Hristova / Palm Artificial Neural Networks and Machine Learning -- ICANN 2013
23rd International Conference on Artificial Neural Networks, Sofia, Bulgaria, September 10-13, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-40727-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sikos / Pacuit At the Intersection of Language, Logic, and Information
ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018, Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-662-59619-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sinz / Egly Theory and Applications of Satisfiability Testing - SAT 2014
17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-09283-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kurková / Manolopoulos / Hammer Artificial Neural Networks and Machine Learning - ICANN 2018
27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-030-01417-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Farkaš / Masulli / Wermter Artificial Neural Networks and Machine Learning - ICANN 2020
29th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 15-18, 2020, Proceedings, Part II1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61615-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Li / Manyà Theory and Applications of Satisfiability Testing - SAT 2021
24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-80222-6Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Villa / Masulli / Pons Rivero Artificial Neural Networks and Machine Learning - ICANN 2016
25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part I1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44777-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Villa / Duch / Erdi Artificial Neural Networks and Machine Learning -- ICANN 2012
22nd International Conference on Artificial Neural Networks, Lausanne, Switzerland, September 11-14, 2012, Proceedings, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-33268-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kullmann Theory and Applications of Satisfiability Testing - SAT 2009
12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02776-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biere / Gomes Theory and Applications of Satisfiability Testing - SAT 2006
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37206-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification, and Validation
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16560-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Villa / Masulli / Pons Rivero Artificial Neural Networks and Machine Learning - ICANN 2016
25th International Conference on Artificial Neural Networks, Barcelona, Spain, September 6-9, 2016, Proceedings, Part II1. Auflage 2016Verlag: SpringerISBN: 978-3-319-44780-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Romero / Martins / Rodríguez-Fernández Artificial Intelligence in Music, Sound, Art and Design
10th International Conference, EvoMUSART 2021, Held as Part of EvoStar 2021, Virtual Event, April 7-9, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-72913-4Medium: Buch96,29 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part III1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86364-7Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kleine Büning / Zhao Theory and Applications of Satisfiability Testing - SAT 2008
11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, ProceedingsErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-79718-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Lintas / Rovetta / Verschure Artificial Neural Networks and Machine Learning - ICANN 2017
26th International Conference on Artificial Neural Networks, Alghero, Italy, September 11-14, 2017, Proceedings, Part I1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68599-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Creignou / Le Berre Theory and Applications of Satisfiability Testing - SAT 2016
19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40969-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Heule / Weaver Theory and Applications of Satisfiability Testing -- SAT 2015
18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings1. Auflage 2015Verlag: SpringerISBN: 978-3-319-24317-7Medium: Buch68,48 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pop / Potop-Butucaru Adaptive Resource Management and Scheduling for Cloud Computing
First International Workshop, ARMS-CC 2014, held in Conjunction with ACM Symposium on Principles of Distributed Computing, PODC 2014, Paris, France, July 15, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-13463-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Farkaš / Masulli / Otte Artificial Neural Networks and Machine Learning - ICANN 2021
30th International Conference on Artificial Neural Networks, Bratislava, Slovakia, September 14-17, 2021, Proceedings, Part V1. Auflage 2021Verlag: SpringerISBN: 978-3-030-86382-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Romero / Ekárt / Martins Artificial Intelligence in Music, Sound, Art and Design
9th International Conference, EvoMUSART 2020, Held as Part of EvoStar 2020, Seville, Spain, April 15-17, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-43858-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Xiang / Cuzzocrea / Hobbs Algorithms and Architectures for Parallel Processing, Part I
11th International Conference, ICA3PP 2011, Melbourne, Australia,October 24-26, 2011, Proceedings, Part I1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24649-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jarvisalo / Van Gelder Theory and Applications of Satisfiability Testing - SAT 2013
16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-39070-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stützle / Birattari / Hoos Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics
International Workshop, SLS 2009, Brussels, Belgium, September 3-5, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-03750-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Salvagnin / Lombardi Integration of AI and OR Techniques in Constraint Programming
14th International Conference, CPAIOR 2017, Padua, Italy, June 5-8, 2017, Proceedings1. Auflage 2017Verlag: SpringerISBN: 978-3-319-59775-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Rousseau / Stergiou Integration of Constraint Programming, Artificial Intelligence, and Operations Research
16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19211-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Jarvis / Wright / Hammond High Performance Computing Systems. Performance Modeling, Benchmarking, and Simulation
8th International Workshop, PMBS 2017, Denver, CO, USA, November 13, 2017, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-72970-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Butler / Schewe / Mashkoor Abstract State Machines, Alloy, B, TLA, VDM, and Z
5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-33599-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Stuckey Integration of Constraint Programming, Artificial Intelligence, and Operations Research
18th International Conference, CPAIOR 2021, Vienna, Austria, July 5-8, 2021, Proceedings1. Auflage 2021Verlag: SpringerISBN: 978-3-030-78229-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Simonis Integration of AI and OR Techniques in Constraint Programming
11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-07045-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-12210-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Applications
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61466-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pizzuti / Ritchie / Giacobini Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
9th European Conference, EvoBIO 2011, Torino, Italy, April 27-29, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-20388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Hebrard / Musliu Integration of Constraint Programming, Artificial Intelligence, and Operations Research
17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings1. Auflage 2020Verlag: SpringerISBN: 978-3-030-58941-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Verification
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03420-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Middeldorp / van Oostrom / van Raamsdonk Processes, Terms and Cycles: Steps on the Road to Infinity
Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30911-6Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-61361-7Medium: Buch90,94 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tetko / Karpov / Theis Artificial Neural Networks and Machine Learning - ICANN 2019: Deep Learning
28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30483-6Medium: Buch104,85 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tetko / Karpov / Theis Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing
28th International Conference on Artificial Neural Networks, Munich, Germany, September 17-19, 2019, Proceedings, Part III1. Auflage 2019Verlag: SpringerISBN: 978-3-030-30507-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Graf / Larsen Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday1. Auflage 2019Verlag: SpringerISBN: 978-3-030-22347-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03423-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice
8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV1. Auflage 2018Verlag: SpringerISBN: 978-3-030-03426-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tannen / Wong / Libkin In Search of Elegance in the Theory and Practice of Computation
Essays dedicated to Peter BunemanErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41659-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Omatu / Rocha / Bravo Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living
10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part IIErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02480-1Medium: Buch160,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
