Ergebnisse filtern
-
- 122
-
- 121
- 1
-
- 8
- 86
- 28
-
- 122
-
- 122
-
- 122
- 8
Technische Wissenschaften
-
Schmidt Relations and Kleene Algebra in Computer Science
9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37873-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
MacCaull / Winter / Düntsch Relational Methods in Computer Science
8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-33339-5Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Burke / Trick Practice and Theory of Automated Timetabling V
5th International Conference, PATAT 2004, Pittsburgh, PA, USA, August 18-20, 2004, Revised Selected Papers1. Auflage 2005Verlag: SpringerISBN: 978-3-540-30705-1Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Burke / Rudová Practice and Theory of Automated Timetabling VI
6th International Conference, PATAT 2006 Brno, Czech Republic, August 30-September 1, 2006 Revised Selected PapersErscheinungsjahr 2007Verlag: SpringerISBN: 978-3-540-77344-3Medium: 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
-
Perron / Trick Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
5th International Conference, CPAIOR 2008 Paris, France, May 20-23, 2008 Proceedings1. Auflage 2008Verlag: SpringerISBN: 978-3-540-68154-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Ball / Jones Computer Aided Verification
18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings1. Auflage 2006Verlag: SpringerISBN: 978-3-540-37406-0Medium: 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
-
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
-
Herik / Hsu / Donkers Advances in Computer Games
11th International Conference, ACG 2005, Taipei, Taiwan, September 6-8, 2005. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-48887-3Medium: Buch80,24 € (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
-
Kozubek / Cermák / Cermák High Performance Computing in Science and Engineering
Third International Conference, HPCSE 2017, Karolinka, Czech Republic, May 22-25, 2017, Revised Selected Papers1. Auflage 2018Verlag: SpringerISBN: 978-3-319-97135-3Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno-Díaz / Pichler / Quesada-Arencibia Computer Aided Systems Theory - EUROCAST 2019
17th International Conference, Las Palmas de Gran Canaria, Spain, February 17-22, 2019, Revised Selected Papers, Part I1. Auflage 2020Verlag: SpringerISBN: 978-3-030-45092-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Moreno Díaz / Pichler / Quesada Arencibia Computer Aided Systems Theory -- EUROCAST 2011
13th International Conference, Las Palmas de Gran Canaria, Spain, February 6-11, 2011, Revised Selected Papers, Part I1. Auflage 2012Verlag: SpringerISBN: 978-3-642-27548-7Medium: Buch53,49 € (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 II1. Auflage 2018Verlag: SpringerISBN: 978-3-319-74726-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Pacino / Voß / Jensen Computational Logistics
4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, ProceedingsErscheinungsjahr 2013Verlag: SpringerISBN: 978-3-642-41018-5Medium: Buch49,22 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Geraets / Kroon / Schoebel Algorithmic Methods for Railway Optimization
International Dagstuhl Workshop, Railway Optimization 2004, Dagstuhl Castle, Germany, June 20-25, 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers1. Auflage 2007Verlag: SpringerISBN: 978-3-540-74245-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
King / Wang / Chan Neural Information Processing 3
13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part IIIErscheinungsjahr 2006Verlag: Springer-Verlag GmbHISBN: 978-3-540-46484-6Medium: Buch135,84 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Böse / Hu / Jahn Computational Logistics
Second International Conference, ICCL 2011, Hamburg, Germany, September 19-22, 2011, Proceedings1. Auflage 2011Verlag: SpringerISBN: 978-3-642-24263-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Herik / Björnsson / Netanyahu Computers and Games
4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers1. Auflage 2006Verlag: SpringerISBN: 978-3-540-32488-1Medium: Buch53,49 € (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
-
Ayala / Shang / Yakovlev Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation
22nd International Workshop, PATMOS 2012, Newcastle upon Tyne, UK, September 4-6, 2012, Revised Selected Papers1. Auflage 2013Verlag: SpringerISBN: 978-3-642-36156-2Medium: Buch49,22 € (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
-
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
-
Ferrandez Vicente / Alvarez Sanchez / de la Paz Lopez Natural and Artificial Models in Computation and Biology
5th International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2013, Mallorca, Spain, June 10-14, 2013. Proceedings, Part I1. Auflage 2013Verlag: SpringerISBN: 978-3-642-38636-7Medium: 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
