Ergebnisse filtern
-
- 134
-
- 133
- 1
-
- 6
- 93
- 35
-
- 134
-
- 134
-
- 134
- 4
Technische Wissenschaften
-
Grumbach / Sui / Vianu Advances in Computer Science - ASIAN 2005. Data Management on the Web
10th Asian Computing Science Conference, Kunming, China, December 7-9, 2005, Proceedings1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30767-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Duparc / Henzinger Computer Science Logic
21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74914-1Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gopalakrishnan / Qadeer Computer Aided Verification
23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-22109-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 1-3 Werktage
-
Parthasarathy / Seshia Computer Aided Verification
24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings1. Auflage 2012Verlag: SpringerISBN: 978-3-642-31423-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Falsafi / Vijaykumar Power-Aware Computer Systems
4th International Workshop, PACS 2004, Portland, OR, USA, December 5, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29790-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
van Hoeve / Hooker Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
6th International Conference, CPAIOR 2009 Pittsburgh, PA, USA, May 27-31, 2009 Proceedings1. Auflage 2009Verlag: SpringerISBN: 978-3-642-01928-9Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Beck / Smith Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Third International Conference, CPAIOR 2006, Cork, Ireland, May 31 - June 2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-34306-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2005
10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-29002-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2017
16th International Conference, Las Palmas de Gran Canaria, Spain, February 19-24, 2017, Revised Selected Papers, Part I1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74717-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory - EUROCAST 2009
12th International Conference, Las Palmas de Gran Canaria, Spain, February 15-20, 2009, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-642-04771-8Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kozubek / Blaheta / Šístek High Performance Computing in Science and Engineering
Second International Conference, HPCSE 2015, Solá¿, Czech Republic, May 25-28, 2015, Revised Selected Papers1. Auflage 2016Verlag: SpringerISBN: 978-3-319-40360-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Gervasi / Gavrilova / Kumar Computational Science and Its Applications - ICCSA 2005
International Conference, Singapore, May 9-12, 2005, Proceedings, Part IIErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-25861-2Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2015
15th International Conference, Las Palmas de Gran Canaria, Spain, February 8-13, 2015, Revised Selected Papers1. Auflage 2015Verlag: SpringerISBN: 978-3-319-27339-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Sunderam / van Albada / Sloot Computational Science -- ICCS 2005
5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part IErscheinungsjahr 2005Verlag: SpringerISBN: 978-3-540-26032-5Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
King / Wang / Chan Neural Information Processing 1
13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part IErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-46479-2Medium: Buch128,35 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Herik / Ciancarini / Donkers Computers and Games
5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006, Revised PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-75537-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ayala / Garcia-Camara / Prieto Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
21st International Workshop, PATMOS 2011, Madrid, Spain, September 26-29, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24153-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Azemard / Svensson Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
17th International Workshop, PATMOS 2007, Gothenburg, Sweden, September 3-5, 2007, ProceedingsErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-74441-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Murata / Kobayashi DNA Computing and Molecular Programming
20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. ProceedingsErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-319-11294-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Svensson / Monteiro Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
18th International Workshop, PATMOS 2008, Lisbon, Portugal, September 10-12, 2008, Revised Selected PapersErscheinungsjahr 2009Verlag: SpringerISBN: 978-3-540-95947-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Machado / McDermott / Carballal Evolutionary and Biologically Inspired Music, Sound, Art and Design
Second International Conference, EvoMUSART 2013, Vienna, Austria, April 3-5, 2013, Proceedings1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36954-4Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Biagioni / Zheng / Cheng Wireless Algorithms, Systems, and Applications
14th International Conference, WASA 2019, Honolulu, HI, USA, June 24-26, 2019, Proceedings1. Auflage 2019Verlag: SpringerISBN: 978-3-030-23596-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Filliatre / Paulin-Mohring / Werner Types for Proofs and Programs
International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-31428-8Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Romero / McDermott / Correia Evolutionary and Biologically Inspired Music, Sound, Art and Design
Third European Conference, EvoMUSART 2014, Granada, Spain, April 23-25, 2014, Revised Selected PapersErscheinungsjahr 2014Verlag: SpringerISBN: 978-3-662-44334-7Medium: Buch42,80 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Vojnar / Zhang Tools and Algorithms for the Construction and Analysis of Systems
25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I1. Auflage 2019Verlag: SpringerISBN: 978-3-030-17461-3Medium: 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
