Ergebnisse filtern
-
- Mathematik | Informatik
- EDV | Informatik
- 107 Angewandte Informatik
- 49 Betriebssysteme
- 12 Business Application
- 127 Computerkommunikation & -vernetzung
- 133 Daten / Datenbanken
- 3 Digital Lifestyle
- 28 EDV & Informatik Allgemein
- 907 Informatik
- 57 Professionelle Anwendung
- 556 Programmierung | Softwareentwicklung
- 254 Technische Informatik
-
- 1139
-
- 1127
- 2
- 10
-
- 47
- 897
- 195
-
- 1139
-
- 1139
-
- 1139
- 14
-
Dondi / Fertin / Mauri Algorithmic Aspects in Information and Management
11th International Conference, AAIM 2016, Bergamo, Italy, July 18-20, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-41167-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Tan / Shi / Buarque Advances in Swarm and Computational Intelligence
6th International Conference, ICSI 2015 held in conjunction with the Second BRICS Congress, CCI 2015, Beijing, June 25-28, 2015, Proceedings, Part II2015Verlag: SpringerISBN: 978-3-319-20471-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kawano / Mosca Theory of Quantum Computation, Communication, and Cryptography
Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008, Revised Selected Papers1. Auflage 2008Verlag: SpringerISBN: 978-3-540-89303-5Medium: Buch53,49 € (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
-
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
-
Fermüller / Voronkov Logic for Programming, Artificial Intelligence, and Reasoning
17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16241-1Medium: Buch106,99 € (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
-
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
-
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
-
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
-
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
-
Dolev / Cobb / Fischer Stabilization, Safety, and Security of Distributed Systems
12th International Symposium, SSS 2010, New York, NY, USA, September 20-22, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-16022-6Medium: Buch106,99 € (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
-
Legay / Bozga Formal Modeling and Analysis of Timed Systems
12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-10511-6Medium: Buch51,36 € (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
-
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
-
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
-
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
-
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
-
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
-
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
-
Avratchenkov / Donato / Litvak Algorithms and Models for the Web-Graph
6th International Workshop, WAW 2009 Barcelona, Spain, February 12-13, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-95994-6Medium: 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
-
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
-
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
-
Raskin / Thiagarajan Formal Modeling and Analysis of Timed Systems
5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75453-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
-
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
-
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
-
Voros / Huebner / Keramidas Applied Reconfigurable Computing. Architectures, Tools, and Applications
14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-78889-0Medium: Buch53,49 € (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
-
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
-
Wyrzykowski / Dongarra / Karczewski Parallel Processing and Applied Mathematics, Part II
9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31499-5Medium: 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
-
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 / 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
-
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
-
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
-
Higashino / Katayama / Masuzawa Stabilization, Safety, and Security of Distributed Systems
15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-319-03088-3Medium: 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
-
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
-
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
-
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
-
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
-
Datta / Gradinariu Stabilization, Safety, and Security of Distributed Systems
8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, ProceedingsErscheinungsjahr 2006Verlag: SpringerISBN: 978-3-540-49018-0Medium: Buch106,99 € (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
-
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
-
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
-
Duan / Liu / Tian Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers1. Auflage 2019Verlag: SpringerISBN: 978-3-030-13650-5Medium: Buch53,49 € (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
-
Masuzawa / Tixeuil Stabilization, Safety, and Security of Distributed Systems
9th International Symposium, SSS 2007 Paris, France, November 14-16, 2007 ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-76626-1Medium: 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
-
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
-
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
-
Avrachenkov / Pralat / Ye Algorithms and Models for the Web Graph
16th International Workshop, WAW 2019, Brisbane, QLD, Australia, July 6-7, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-25069-0Medium: Buch53,49 € (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
-
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
-
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
-
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
-
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
-
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 II1. Auflage 2017Verlag: SpringerISBN: 978-3-319-68611-0Medium: Buch106,99 € (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
-
Wermter / Weber / Duch Artificial Neural Networks and Machine Learning -- ICANN 2014
24th International Conference on Artificial Neural Networks, Hamburg, Germany, September 15-19, 2014, ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11178-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Fossorier / Imai / Lin Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
16th International Symposium, AAECC-16, Las Vegas, NV, USA, February 20-24, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31423-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sack / Blomqvist / d'Aquin The Semantic Web. Latest Advances and New Domains
13th International Conference, ESWC 2016, Heraklion, Crete, Greece, May 29 -- June 2, 2016, Proceedings1. Auflage 2016Verlag: SpringerISBN: 978-3-319-34128-6Medium: Buch106,99 € (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
-
Bras-Amorós / Høholdt Applied Algebra, Algebraic Algorithms and Error-Correcting Codes
18th International Symposium, AAECC-18, Tarragona, Sapin, June 8-12, 2009, ProceedingsErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-02180-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Cimatti / Sebastiani Theory and Applications of Satisfiability Testing -- SAT 2012
15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31611-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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Margaria / Steffen Leveraging Applications of Formal Methods, Verification and Validation
5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II1. Auflage 2012Verlag: SpringerISBN: 978-3-642-34031-4Medium: 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
-
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
-
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
-
Kleijn / Yakovlev Petri Nets and Other Models of Concurrency - ICATPN 2007
28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-73093-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Butler / Raschke / Hoang Abstract State Machines, Alloy, B, TLA, VDM, and Z
6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings1. Auflage 2018Verlag: SpringerISBN: 978-3-319-91270-7Medium: 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
-
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
-
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
-
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
-
Ferrández Vicente / Álvarez-Sánchez / de la Paz López From Bioinspired Systems and Biomedical Applications to Machine Learning
8th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, Almería, Spain, June 3-7, 2019, Proceedings, Part II1. Auflage 2019Verlag: SpringerISBN: 978-3-030-19650-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
-
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
-
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
-
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
-
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
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
